[英]Template specialization with enable_if
我正在尝试使用typename创建模板函数。 我想将这些模板专门用于一些基本类型,如int
, long
, string
和double
。 对于所有其他类型,我需要一个专门的类/结构代码,以及其他类型的默认代码。
我目前的代码是这样的:
// Declaration
template <typename T, typename enable_if<is_class<T>::value>::type = 0>
void test(T& value);
template <typename T, typename enable_if<!is_class<T>::value>::type = 0>
void test(T& value);
template <> // What am i supposed to write here ?
void test<int>(int& value);
// Definition
template <typename T, typename enable_if<is_class<T>::value>::type = 0>
void test(T& value) {
cout << "Class/struct test" << endl;
}
template <typename T, typename enable_if<!is_class<T>::value>::type = 0>
void test(T& value) {
cout << "Other types test" << endl;
}
template <>
void test<int>(int& value) {
cout << "int test" << endl;
}
此代码将无法编译。 我无法想象我在int
专用模板中写的内容。
我正在尝试使用本文档中的示例 ,但我无法使其工作。
typename enable_if<is_class<T>::value>::type = 0
没有意义,因为typename enable_if<is_class<T>::value>::type
将引用void
; 您可以将其更改为typename enable_if<is_class<T>::value>::type* = nullptr
。 然后对于int
的完全特化,请注意test
有两个模板参数,然后
// Declaration
template <typename T, typename enable_if<is_class<T>::value>::type* = nullptr>
void test(T& value);
template <typename T, typename enable_if<!is_class<T>::value>::type* = nullptr>
void test(T& value);
template <>
void test<int, nullptr>(int& value);
// Definition
template <typename T, typename enable_if<is_class<T>::value>::type*>
void test(T& value) {
cout << "Class/struct test" << endl;
}
template <typename T, typename enable_if<!is_class<T>::value>::type*>
void test(T& value) {
cout << "Other types test" << endl;
}
template <>
void test<int, nullptr>(int& value) {
cout << "int test" << endl;
}
或者简单地将typename enable_if<is_class<T>::value>::type
作为返回类型。 例如
// Declaration
template <typename T>
typename enable_if<is_class<T>::value>::type test(T& value);
template <typename T>
typename enable_if<!is_class<T>::value>::type test(T& value);
template <>
void test<int>(int& value);
// Definition
template <typename T>
typename enable_if<is_class<T>::value>::type test(T& value) {
cout << "Class/struct test" << endl;
}
template <typename T>
typename enable_if<!is_class<T>::value>::type test(T& value) {
cout << "Other types test" << endl;
}
template <>
void test<int>(int& value) {
cout << "int test" << endl;
}
您需要在函数参数中使用std :: enable_if而不是模板参数:
// Declaration
template <typename T>
void test(T& value, enable_if_t<is_class<T>::value>* = nullptr);
template <typename T>
void test(T& value, enable_if_t<!is_class<T>::value>* = nullptr);
template <>
void test<int>(int& value, enable_if_t<!is_class<int>::value>*);
// Definition
template <typename T>
void test(T& value, enable_if_t<is_class<T>::value>*){
cout << "Class/struct test" << endl;
}
template <typename T>
void test(T& value, enable_if_t<!is_class<T>::value>*) {
cout << "Other types test" << endl;
}
template <>
void test<int>(int& value, enable_if_t<!is_class<int>::value>*) {
cout << "int test" << endl;
}
声明:本站的技术帖子网页,遵循CC BY-SA 4.0协议,如果您需要转载,请注明本站网址或者原文地址。任何问题请咨询:yoyou2525@163.com.