如何为具有特定类型特征的所有类型编写函数模板？

Question

考虑下面的例子：

struct Scanner 
{ 
    template <typename T> 
    T get(); 
}; 

template <> 
string Scanner::get() 
{ 
    return string("string"); 
} 

template <> 
int Scanner::get() 
{ 
    return 10; 
} 

int main() 
{ 
    Scanner scanner; 
    string s = scanner.get<string>(); 
    int i = scanner.get<int>(); 
} 

的Scanner类用于提取一些源令牌。上面的代码工作正常，但当我尝试get其他整数类型时，如char或unsigned int失败。读取这些类型的代码与读取int的代码完全相同。我可以复制所有其他我想阅读的整型类型的代码，但我宁愿为所有整型类型定义一个函数模板。

我已经试过如下：

struct Scanner 
{ 
    template <typename T> 
    typename enable_if<boost::is_integral<T>, T>::type get(); 
}; 

这就像一个魅力，但我不确定如何让Scanner::get<string>()再次发挥作用。那么，我如何编写代码，以便我可以执行scanner.get<string>()和scanner.get<any integral type>()并且具有单个定义来读取所有整型？

更新：奖金问题：如果我想根据某些特征接受一个以上的班级范围，该怎么办？例如：如果我想要有三个get函数分别接受（i）整数类型（ii）浮点类型（iii）字符串，我该如何处理这个问题。

Answer 1

struct Scanner 
{ 
    template <typename T> 
    typename boost::enable_if<boost::is_integral<T>, T>::type get() 
    { 
     return 10; 
    } 
    template <typename T> 
    typename boost::disable_if<boost::is_integral<T>, std::string>::type get() 
    { 
     return "string"; 
    } 
}; 

更新

struct Scanner 
{ 
    template <typename T> 
    typename boost::enable_if<boost::is_integral<T>, T>::type get() 
    { 
     return 10; 
    } 

    template <typename T> 
    typename boost::enable_if<boost::is_floating_point<T>, T>::type get() 
    { 
     return 11.5; 
    } 

    template <typename T> 
    std::string get(
      typename boost::disable_if<boost::is_floating_point<T>, T>::type* = 0, 
      typename boost::disable_if<boost::is_integral<T>, T>::type* = 0) 

    { 
     return std::string("string"); 
    } 
}; 

Answer 2

推迟到另一个模板。这里有你想要的东西的一般模式：“如果我想接受基于一些traits类以上的范围是什么”

template <typename T, bool HasTrait = false> 
struct scanner_impl; 

template <typename T> 
struct scanner_impl 
{ 
    // Implement as though the trait is false 
}; 

template <typename T> 
struct scanner_impl<true> 
{ 
    // Implement as though the trait is true 
}; 

// This is the one the user uses 
template <typename T> 
struct scanner : scanner_impl<T, typename has_my_trait<T>::value> 
{ 
};