可以在C语言的模板参数列表中定义类型吗？

Question

在以下模板struct B的定义中，lambda用作非类型模板参数的默认值，并且在lambda的主体中定义了一些类型a：

template <auto = []{ struct A{}; }>
struct B {};

Clang和MSVC对此定义没有异议，但GCC抱怨：

错误：“struct”的定义

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

哪个编译器在这里？




Answer 1

[temp.param]/2说：

模板参数声明中不应定义类型。

这样看来，GCC拒绝这段代码是正确的：这一禁止并不局限于类型参数的类型id，而是适用于模板参数声明中的任何地方。包括嵌套在lambda中。

另一方面，也可以将其理解为在模板参数中禁止lambda本身。毕竟，lambda表达式隐式定义了类类型（[expr.prim.lambda.closure]/1）。

第三方面，我们还有[expr.prim.lambda.closure]/2，其中说明：

闭包类型在包含相应lambda表达式的最小块作用域、类作用域或命名空间作用域中声明。

这里的相关作用域似乎是命名空间作用域。这意味着lambda应该被视为它的类型被声明在模板参数列表之外。但是，lambda体内的声明也应该如此，问题中的定义应该被允许。

就我个人而言，我认为这一标准的缺陷在于这一禁令的范围似乎不明确。