C++：函数参数或模板参数

在C++中，函数参数和模板参数之间的重载解析有时可能会导致编译器的二义性。例如，考虑以下函数和模板：

void foo(int x) {}
template <typename T>
void bar(T x) {}

现在，如果调用foo并传入一个类型为int的实参，则这种调用很清晰：

foo(42);  // Clear what's going on

但是，如果我们调用bar并传入一个类型为int的实参，则由于bar也可以接受int类型的模板参数，因此就会出现二义性问题：

bar(42);  // Ambiguous call

为了解决这个问题，我们可以对模板参数进行限定，以指示这个模板仅在参数不是整数时才适用。例如，我们可以将上面的模板函数bar改为：

template <typename T,
          typename std::enable_if<!std::is_same<T, int>::value>::type* = nullptr>
void bar(T x) {}

这里，我们使用了std::enable_if类型和std::is_same模板来指示模板参数T必须与int不同，否则该模板对解析不可见。这个技巧称为"Substitution Failure Is Not An Error"（SFINAE）方法。

现在，如果我们再次调用bar并传入一个整数，编译器将自动排除bar(int)，而只调用foo：

bar(42);  // Calls foo() and avoids ambiguity