我无法理解
here提出的第二个场景.它说：
•Scenario 2: Adding a function parameter that has a default argument:
template <your_stuff> your_return_type_if_present
yourfunction(args,enable_if_t<your condition,FOO> = BAR) {
// ...
}
Scenario 2 leaves the parameter unnamed. You could say
::type Dummy = BAR,but the name Dummy is irrelevant,and giving it a name is likely to trigger an unreferenced parameter warning. You have to choose aFOOfunction parameter type andBARdefault argument. You could sayintand0,but then users of your code could accidentally pass to the function an extra integer that would be ignored. Instead,we recommend that you usevoid **and either0ornullptrbecause almost nothing is convertible tovoid **:
template <your_stuff> your_return_type_if_present
yourfunction(args,typename enable_if<your_condition,void **>::type=nullptr) {
// ...
}
如果方案2使参数未命名,那么它可以使用什么？
有没有办法让这样的代码与enable_if一起工作？
enum otype {oadd,omull};
template<otype o>
int add(int num1,std::enable_if<o == oadd,int>::type int= num2)
{
if (o == omull) return num1 * num1;
if (o == oadd ) return num1 + num2;
}
解决方法
enable_if示例(如果有帮助)：
对于具有非void返回类型的函数：
对于单一条件：
template <template T,typename std::enable_if<!std::is_same<T,std::string>::value>::type* = nullptr >
T func(T x){}
对于多种情况：
template <template T,std::string>::value &&!std::is_same<T,int>::value>::type* = nullptr >
T func(T x){}
对于具有void返回类型的函数：
对于单一条件：
template <template T>
typename std::enable_if<!std::is_same<T,std::string>::value>::type
func(T x){}
对于多种情况：
template <template T>
typename std::enable_if<!std::is_same<T,int>::value>::type
func(T x){}
不要忘记包含#include< type_traits>
