选择具有不同enable_if条件的成员函数

在C语言中，enable_if是一个工具，用于根据是否有条件启用或禁用某些代码模板参数满足特定条件。当您想要根据模板参数自定义类或函数的行为时，这可能很有用。

在给定的示例中，目标是创建一个成员函数 MyFunction，该函数根据模板是否参数T是否为整数。预期的实现是使用 MyFunction 的两个重载，一个用于 T = int，一个用于 T != int。

实现此目的的一种方法是通过 enable_if，如下面的代码所示：

template
struct Point {
  void MyFunction(
    typename std::enable_if<:is_same int>::value, T >::type* = 0) {
    std::cout ::value, float >::type* = 0) {
    std::cout 
但是，这段代码会因为enable_if的错误使用而导致编译错误。在 C 中，模板参数的替换发生在重载决策期间。在这种情况下，不会发生替换，因为 T 的类型在成员函数实例化时已知。
为了解决此问题，可以引入一个虚拟模板参数并将其默认为 T，从而允许 SFINAE （替换失败不是错误）正常工作：
template
struct Point {
  template
  typename std::enable_if<:is_same int>::value>::type MyFunction() {
    std::cout 
  typename std::enable_if<:is_same float>::value>::type MyFunction() {
    std::cout 
此方法可确保根据 T 的值选择正确的 MyFunction 版本。