c++ - 类成员重载方法的 SFINAE

Question

考虑这个片段:

#include <type_traits>

struct UseMap;
struct NoMap;

template<typename MapType = NoMap>
class MyClass
{
public:

  typename std::enable_if<std::is_same<MapType, NoMap>::value, bool>::type
  handleEvent(int someVal)
  {
    return doSomething();
  }

  typename std::enable_if<std::is_same<MapType, UseMap>::value, bool>::type
  handleEvent(int someVal)
  {
    return doSomethingDifferent();
  }

  bool doSomething() {};
  bool doSomethingDifferent() {};
};

int main() {
  MyClass obj1();
  MyClass<UseMap> obj2();
  return 0;
}

是否可以根据提供的模板类类型只编译一个handleEvent 方法？对于上面的例子，编译器给出:

prog.cpp:18:3: error: 'typename std::enable_if<std::is_same<MapType, UseMap>::value, bool>::type MyClass<MapType>::handleEvent(int)' cannot be overloaded

Answer 1

我认为你必须制作重载函数模板。

template<typename T = MapType,
  typename std::enable_if<
    std::is_same<T, NoMap>::value>::type *& = nullptr>
bool
handleEvent(int someVal)
{
  return doSomething();
}

template<typename T = MapType,
  typename std::enable_if<
    std::is_same<T, UseMap>::value>::type *& = nullptr>
bool
handleEvent(int someVal)
{
  return doSomethingDifferent();
}

这通过了编译。 (带有 -std=c++11 的 clang-600.0.54)