根据类模板参数值禁用成员函数

Question

我想要一个基于类的模板参数值禁用/启用成员函数的类。我有以下内容：

enum MyType{ type1, type2 };
template <MyType type>
class Test{
    public:
        enum TestTraits{ testType = type };
        template <typename T>
        constexpr bool func(SomethingElse<T> else)
        {
           if(testType == type1) return false;
           // some logic that would return true or false
        }
};

我基本上想让它成为编译时检查而不是运行时检查，如果可能的话，它甚至不是客户端调用它的选项。我确定解决方案是 enable_if，但是当我看到它时，似乎需要 enable_if 来决定返回类型或函数参数之一

Answer 1

如果我对您的理解正确，您将需要以下之一：

enable_if 在您不想启用/禁用的函数的返回类型中 （你仍然可以让函数返回bool）：

    template <typename T>
    constexpr typename std::enable_if<type != type1, bool>::type 
    func(SomethingElse<T>)
    {
          return true;
    }

或静态断言声明：

    template <typename T>
    constexpr bool func(SomethingElse<T>)
    {
         static_assert(type != type1, "can't call this with type1...");
         return true;
    }

第三个选项是移动要在基类中禁用的功能。然后为type1 专门化该基础并将其留空：

template<MyType mytype>
struct SpecialStuff {
    bool func();
};

template<>
struct SpecialStuff<type1> {
};

template<MyType mytype>
struct CommonStuff : private SpecialStuff<mytype> {
};