如何自定义模板不包括某些类型[重复]

Question

以下是特定于模板类类型的函数，如何自定义模板代码，使其不针对某些类型进行编译？如果问题不清楚，请看这个例子。

///** template class ***/
template<typename T>
class testClass{
testClass();
T parameter;
}
template<typename T>
void testClass<T>::print(){cout<<parameter.value<<endl;}

上述类应适用于以下类型：

 //** types file **/
    class paramtype1{
    int value;
    }
    class paramtype2{
    int value;
    }
    class paramtype3{
    }

如您所见，paramtype3没有值，因此我得到一个编译错误，表示未定义值。我知道，如果我想专门化某个类型的模板类函数，我需要执行以下操作：

template<>
void testClass<paramtype1>::print(){cout<<parameter.value<<endl;}

但是，有没有办法反过来做，只排除某些类型？




Answer 1

我个人会排除使用某些类型的权限：

template <class T, class... Ts>
struct is_any : std::disjunction<std::is_same<T, Ts>...> {};

// https://stackoverflow.com/questions/17032310/how-to-make-a-variadic-is-same

template <typename T>
void do_something() {
    static_assert(!is_any<T, int, bool>::value, "do_something<T> cannot be used with T as int or bool");
    // code here
}

允许您添加自定义断言消息aswel，从而很容易意识到哪里出了问题。

Answer 2

如果要启用/禁用完整类/结构，可以使用SFINAE和部分专门化。

下面是一个C17示例

template <typename T, typename = void>
struct testClass;

template <typename T>
struct testClass<T, std::void_t<decltype(T::value)>>
 {
   testClass()
    { };

   T parameter;

   void print()
    { std::cout << parameter.value << std::endl; }
 };

如果您只想启用/禁用print（）函数，您必须将其模板化；通过示例

template <typename U = T>
std::void_t<decltype(U::value)> print()
 { std::cout << parameter.value << std::endl; }

或者也

template <typename U = T>
std::void_t<decltype(U::value), std::enable_if_t<std::is_same_v<U, T>>> 
    print()
 { std::cout << parameter.value << std::endl; }

如果你想确保没有人能“劫持”解释模板类型调用的方法

testClass<paramtype3>{}.print<paramtype1>():