c – 混合decltype和enable_if

似乎使用带有SFINAE enable_if的decltype并不简单.我尝试用三种不同的方式使用enable_if编写go.所有这些都因编译器错误而失败(使用GCC字面意思：“错误：’事物’不是’foo’的成员”和实例化上下文).

#include <type_traits>

struct foo {
  enum { has_thing = false };
};

struct bar {
  enum { has_thing = true };
  static int thing() { return 0; }
};

template <typename T>
struct Test {
  /*auto go(typename std::enable_if<T::has_thing,int>::type=0) 
  -> decltype(T::thing()) {
    return T::thing();
  }*/

  /*typename std::enable_if<T::has_thing,decltype(T::thing())>::type go() {
    return T::thing();
  }*/

  template <bool B=T::has_thing,typename std::enable_if<B,int>::type = 0>
  auto go() -> decltype(T::thing()) {
     return T::thing();
  }
};

int main() {
  Test<bar> b;
  Test<foo> f;
}

我可以看到问题是什么 – 在enable_if甚至有机会排除该函数之前需要发生decltype.剩下的问题是如何解决并获得类似的行为？是否有一种简单,通用的方法来执行此操作而无需在enable_if中编写has_thing trait？

使用G 4.7和clang 3.0进行测试.

解决方法

如果go方法是模板方法,则SFINAE将起作用：

template <typename T>
struct Test {
  template <class U = T>
  auto go() -> decltype(U::thing()) {
     return T::thing();
  }
};

你也可以使用has_thing值,但是没有必要这样做,因为SFINAE将在上面的例子中处理它：

template <class U = T,typename std::enable_if<U::has_thing,int>::type = 0>
auto go() -> decltype(U::thing()) {
   return T::thing();
}

然后：

int main() {
  Test<bar> b;
  Test<foo> f;

  b.go(); // Works!
  f.go(); // Fails!
}