Enable_if 作为模板参数

Question

请告诉我为什么this answer 有效。

1. enable_if 发生了什么我们可以在此之后省略它？ （Foo struct 的进一步使用不需要模板参数中的 enable_if）
2. 代码不应该是这样的吗：

原始版本：

template <typename Policy,
          typename = typename std::enable_if<std::is_base_of<BasePolicy, Policy>::value>::type >
struct Foo;

template <typename Policy>
struct Foo {
    Foo();
};

template <typename Policy>
Foo<Policy>::Foo() {
}

编辑版本：

template <typename Policy,
          typename = typename std::enable_if<std::is_base_of<BasePolicy, Policy>::value>::type >
struct Foo;

template <typename Policy>
struct Foo<Policy> {  // <Policy> added!
    Foo();
};

template <typename Policy>
Foo<Policy>::Foo() {
}

Answer 1

发生了这样的事情：

1. 作者发布了工作代码（<Policy> 存在）；

2. cmet中有一些讨论导致作者编辑代码，搞错了（<Policy>被删除）；

3. 我纠正了放回丢失的<Policy>的错误。

---

谁能解释一下为什么即使是编辑过的版本也有效？

当您尝试实例化 Foo<T> 时，编译器会考虑使用默认模板参数的声明。评估默认参数，如果std::is_base_of<BasePolicy, Policy>::value 是false，那么enable_if 会产生一个SFINAE 友好的错误。

如果std::is_base_of<BasePolicy, Policy>::value 是true，则选择部分特化。

template <typename Policy>
struct Foo<Policy> {
    Foo() { } 
};

// is equivalent to

template <typename Policy>
struct Foo<Policy, void> {
    Foo() { } 
};

上述特化是等价的，因为typename std::enable_if<true>::type 默认为void。