将enableif与模板专业化结合使用

using enable_if with template specialization

本文关键字:结合 专业化 enableif      更新时间:2023-10-16

我想使函数get_type_name。对于属于特定集合的类型,例如数字、几何体等,我想制作一个get_type_name函数,该函数使用类型trait的enable_if。对于不属于特定集合的每个类型,我想专门化它自己的get_type_name函数。这是我的代码,我得到了以下编译器错误,无法找出原因:

错误C2668:"get_type_name":对重载函数的调用不明确可能是"std::string get_type_name(myenable_if::type*)'或'std::string get_type_name(void*)'

template<bool B, typename T = void>
struct myenable_if {};
template<typename T>
struct myenable_if<true, T> { typedef void type; };

template<class T>
struct is_number
{
  static const bool value = false;
};
template<>
struct is_number<int>
{
  static const bool value = true;
};
template<class T>
std::string get_type_name(void* v=0);
//get_type_name for specific type
template<>
std::string get_type_name<std::string>(void*)
{
   return std::string("string");
}
//get_type_name for set of types
template<class T>
std::string get_type_name(typename myenable_if<is_number<T>::value>::type*  t=0)
{
   return std::string("number");
}
int main()
{
   std::string n = get_type_name<int>();
}

这是一个工作版本。

#include <iostream>
#include <string>
#include <vector>
#include <iostream>
template<bool B, typename T = void>
struct myenable_if {};
template<typename T>
struct myenable_if<true, T> { typedef T type; };
template<class T>
struct is_number
{
  static const bool value = false;
};
template<>
struct is_number<int>
{
  static const bool value = true;
};
template<class T>
std::string get_type_name_helper(void* t, char)
{
    return "normal";
}
template<class T>
typename myenable_if<is_number<T>::value, std::string>::type get_type_name_helper(void* t, int)
{
    return "number";
}
//get_type_name for specific type
template<>
std::string get_type_name_helper<std::string>(void* t, char)
{
   return std::string("string");
}
template <class T>
std::string get_type_name(void* t = 0)
{
    return get_type_name_helper<T>(t, 0);
}
int main() {
    std::string n = get_type_name<int>();
    std::cout <<  n << 'n';
    n = get_type_name<std::string>();
    std::cout <<  n << 'n';
    n = get_type_name<float>();
    std::cout <<  n << 'n';
    return 0;
}

请参阅实时演示