Question

我想要一个模板来选择数字类型，但我也希望也有一个全局类型模板。我尝试为this问题应用解决方案，但它没有成功：

template<typename T, typename ... Types>
void myFct(T arg1, Types ... rest) { /*do stuff*/ }

template<typename T, typename = typename std::enable_if<std::is_arithmetic<T>::value, T>::type, 
                     typename ... Types>
void myFct(T arg1, Types ... rest) { /* do stuff */ }

因为现在我有两个具有相同标题的函数。做出类似事情的正确方法是什么：

template<typename T, typename ... Types>
void myFct(T arg1, Types ... rest) 
{ 
    if (isNumeric(T))
        doNumericStuff();
    else
        doStuff();
}

Answer 1

这可能是更好的方法，但对我来说最简单的方法就是将enable_if打到返回类型上：

template<typename T, typename ... Types>
typename std::enable_if<
    std::is_arithmetic<T>::value
>::type
myFct(T arg1, Types ... rest) { /*do numeric stuff*/ }

template<typename T, typename ... Types>
typename std::enable_if<
    !std::is_arithmetic<T>::value
>::type
myFct(T arg1, Types ... rest) { /*do non-numeric stuff*/ }

一旦你拥有两个以上互斥的选项，这就变得非常笨拙，但这肯定会奏效。

Answer 2

你可以在这里使用tag-dispatching，并重载实现函数，因为你的“do stuff”似乎一次只关注一个对象。

template <typename T>
void do_stuff(T arg, std::true_type) {
  std::cout << "number\n";
}

template <typename T>
void do_stuff(T arg, std::false_type) {
  std::cout << "not-number\n";
}

void myFct() { }

template<typename T, typename... Ts>
void myFct(T arg1, Ts... rest) {
    // is_arithmetic will derive either true_type or false_type
    do_stuff(arg1, std::is_arithmetic<T>{});
    myFct(rest...); // recurse
}

这是一种典型的模式，可以获得类似“静态if”的内容

如果我用myFct(1, std::string{}, 2.0);调用它，我会得到输出

number
not-number
number

数字类型的C ++模板

2 个答案: