用clang编译SFINAE表达式失败

Question

#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)>*的模板参数（又名'typename enable_ifm)，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的专门化，我希望这两个示例的结果（成功或失败）相同。
我的期望错了吗？

Answer 1

我认为这实际上是一个gcc bug，因为[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

-结束示例]