c++ - 使用 SFINAE 结构定义的正确方法

Question

出于教育原因，我正在研究 C++ 的 SFINAE 行为，并以相当简化的形式构建我自己的 std::enable_if 版本。不过，当使用略有不同的实现细节时，我注意到了不同的行为:

作为不完整类型的实现:

template <bool C, typename> struct enable_if; // incomplete type
template <typename T> struct enable_if<true, T> { typedef T type; };

作为空类型的实现:

template <bool C, typename> struct enable_if {}; // empty type
template <typename T> struct enable_if<true, T> { typedef T type; };

在 g++(4.8.1 和 4.3.2)上，两个版本的编译和行为方式相同。 MSVC 2008 似乎只接受定义为空类型。

这两个定义都是有效的 C++ 吗？它们在行为上应该是等价的吗？

Answer 1

来自标准，§ 14.8.2:

Type deduction may fail for the following reasons: [...] Attempting to use a type in a nested-name-specifier of a qualified-id when that type does not contain the specified member, or the specified member is not a type where a type is required [...]

这两种情况都在同一个句子中处理，所以根据我的理解，它真的不应该有什么不同——两种实现应该是等价的。