使用 enable_if 模板专业化

Question

我想制作函数get_type_name。对于属于某些集合示例的类型是数字、几何等，我想制作一个 get_type_name 函数，它使用 enable_if 和类型特征。对于不属于特定集合的每种类型，我想专门化其自己的 get_type_name 函数。这是我的代码，我收到以下编译器错误并且无法弄清楚原因：

error C2668: 'get_type_name': ambiguous call to overloaded function could be 'std::string get_type_name(myenable_if::type *)' or '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>();

}

Answer 1

这是一个工作版本。

#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;
}

见Live Demo

使用 enable_if 模板专业化

using enable_if with template specialization

c++

templates

template-meta-programming