C语言中的递归类模板和隐式实例化错误

Question

下面的最小可复制示例包含一个模板struct B，其默认参数类型包含lambdaa

template<auto>
struct A{};

template<class = A<[]{ return 1; }>>
struct B : B<> {};

template<auto z>
struct B<A<z>> {};

B<int> x;

GCC同意该示例，但Clang抱怨：

error: implicit instantiation of template 'B<A<{}>>' within its own definition

演示：https://gcc.godbolt.org/z/xzjzo7dE9

哪个编译器在这里？

P. S.如果这样修改B的定义：

template<class>
struct B : B<A<[]{ return 1; }>> {};

然后所有的编译器都会非常高兴，演示：https://gcc.godbolt.org/z/roqnc39eq




Answer 1

是的，由于以下原因，原始程序格式不正确：https://timsong-cpp.github.io/cppwp/n4868/temp.res#general-8.4.

可以通过向前移动模板专门化来解决此问题：

template<auto>
struct A{};

template<class = A<[]{ return 1; }>>
struct B;

template<auto z>
struct B<A<z>> {};

template<class>
struct B : B<> {};

B<int> x;

现在克朗和海湾合作委员会都接受了：https://gcc.godbolt.org/z/6TYdvTnMa

Answer 2

哪个编译器在这里？

两者都是，因为B格式不正确；国家发改委。一如既往，[temp.res]/8适用于：

可以在任何实例化之前检查模板的有效性。如果出现以下情况，程序格式不正确，无需诊断：

（8.4）-由于不依赖于模板参数的构造，紧跟其定义的模板的假设实例化将是格式错误的，或

模板是B，此处的“其”定义说明了主模板。如果我们要实例化B

顺便说一句，这整个lambda作为模板参数的业务是一条红鲱鱼。我们可以用普通的、旧的int作为参数，也可以得到类似的散度。

template<int>
struct A{};

template<class = A<0>>
struct B : B<> {};

template<int z>
struct B<A<z>> {};

B<int> x;

int main() {}

Clang仍然抱怨，但现在GCC也抱怨。