使用不同的启用条件选择成员函数

Question

我试图根据类模板参数确定调用成员函数的哪个版本。我试过：

#include <iostream>
#include <type_traits>

template<typename T>
struct Point
{
  void MyFunction(typename std::enable_if<std::is_same<T, int>::value, T >::type* = 0)
  {
    std::cout << "T is int." << std::endl;
  }

  void MyFunction(typename std::enable_if<!std::is_same<T, int>::value, float >::type* = 0)
  {
    std::cout << "T is not int." << std::endl;
  }
};

int main()
{
  Point<int> intPoint;
  intPoint.MyFunction();

  Point<float> floatPoint;
  floatPoint.MyFunction();
}

我认为这是说“如果T是int，则使用第一个MyFunction，如果T不是int，则使用第二个MyFunction，但我收到编译器错误说“错误：在'结构std::enable_if'中没有名为'type'的类型”。有人能指出我在这里做错了什么吗？

Answer 1

我认为这遵循@Praetorian的解决方案，但我发现它更容易：

template<typename T>
struct Point
{
    template<typename U = T>
    std::enable_if_t<std::is_same<U, T>::value && std::is_same<T, int>::value>
    MyFunction()
    {
        std::cout << "T is int." << std::endl;
    }

    template<typename U = T>
    std::enable_if_t<std::is_same<U, T>::value && std::is_same<T, float>::value>
    MyFunction()
    {
        std::cout << "T is not int." << std::endl;
    }
};

Answer 2

一个简单的解决方案是使用工作人员私有函数的委托：

template<typename T>
struct Point
{

  void MyFunction()
  {
     worker(static_cast<T*>(nullptr)); //pass null argument of type T*
  }

private:

  void worker(int*)
  {
    std::cout << "T is int." << std::endl;
  }

  template<typename U>
  void worker(U*)
  {
    std::cout << "T is not int." << std::endl;
  }
};

当T为int时，将调用第一个工作者函数，因为static_cast

Answer 3

enable_if之所以有效，是因为模板参数的替换导致了错误，因此替换从重载解析集中删除，编译器只考虑其他可行的重载。

在您的示例中，在实例化成员函数时不会发生替换，因为此时模板参数T已经已知。最简单的方法是创建一个默认为T的伪模板参数，并使用它来执行SFINAE。

template<typename T>
struct Point
{
  template<typename U = T>
  typename std::enable_if<std::is_same<U, int>::value>::type
    MyFunction()
  {
    std::cout << "T is int." << std::endl;
  }

  template<typename U = T>
  typename std::enable_if<std::is_same<U, float>::value>::type
    MyFunction()
  {
    std::cout << "T is not int." << std::endl;
  }
};

编辑：

正如HostileFork在评论中提到的，最初的示例允许用户显式指定成员函数的模板参数，并得到错误的结果。以下内容应防止编译成员函数的显式专门化。

template<typename T>
struct Point
{
  template<typename... Dummy, typename U = T>
  typename std::enable_if<std::is_same<U, int>::value>::type
    MyFunction()
  {
    static_assert(sizeof...(Dummy)==0, "Do not specify template arguments!");
    std::cout << "T is int." << std::endl;
  }

  template<typename... Dummy, typename U = T>
  typename std::enable_if<std::is_same<U, float>::value>::type
    MyFunction()
  {
    static_assert(sizeof...(Dummy)==0, "Do not specify template arguments!");
    std::cout << "T is not int." << std::endl;
  }
};