SFINAE 表达式无法使用 clang 编译

Question

这看起来像是 clang 中的一个问题（我已经打开了一个错误 here），但我想确定我没有做错。

考虑以下代码：

#include <type_traits>
#include <cstddef>

template<std::size_t N, std::size_t M, std::enable_if_t<not (N>M)>* = nullptr> // (1)
struct S: public S<N+1, M> { };

template<std::size_t N>
struct S<N, N> { };

int main() {
    S<0, 1> c{};
}

编译失败，报如下错误：

8 : 错误：非类型模板参数专门化了具有依赖类型'std::enable_if_t M)> *' (aka 'typename enable_if M), void>::type *')的模板参数
结构 S { };

使用以下行而不是 (1)，相同的代码按预期工作：

template<std::size_t N, std::size_t M, typename = std::enable_if_t<not (N>M)>>

SFINAE 表达式几乎相同。它基于 std::enable_if_t 的专业化，我希望这两个示例的结果相同（成功或失败）。
我的期望错了吗？

请注意，GCC 在任何一种情况下都可以正常工作。

Answer 1

我认为这实际上是一个 gcc 错误，是 [temp.class.spec] 的结果：

模板参数的类型对应于一个专门的 非类型参数不应依赖于 专业化。 [ 例子：

template <class T, T t> struct C {};
template <class T> struct C<T, 1>;       // error

template< int X, int (*array_ptr)[X] > class A {};
int array[5];
template< int X > class A<X,&array> { }; // error

——结束示例 ]

在您的示例中，第三个模板参数的类型取决于参数。当你把它换成typename = std::enable_if_t<...> 时，这条规则就不再适用了。

---

注意：与static_assert-ing 相比，这里有任何理由使用 SFINAE 吗？