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

Question

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

实现为不完整类型：

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：

类型推导可能由于以下原因而失败：[...] 尝试在限定 ID 的嵌套名称说明符中使用该类型时，该类型不包含指定成员，或者指定成员不是其中的类型需要一个类型 [...]

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