在模板实参中声明类型是否符合C++标准？

结论先行：这段代码完全符合C++标准，和你提到的「不得在模板形参声明中定义类型」的规则不冲突。

关键区别 #

你说的标准禁令针对的是模板形参的声明环节——比如写template <typename struct S> struct Foo;这种在模板形参里直接定义类型的写法，这才是非法的。而你的代码是在模板实例化时传递实参，这里的struct s是另一回事。

为什么合法 #

test<struct s>里的struct s是C++里的「详细类型说明符（elaborated type specifier）」，它的作用是在当前作用域里前置声明一个名为s的结构体类型，同时把这个刚声明的类型作为模板实参传给test。

C++标准明确允许在任何需要类型的上下文（包括模板实参的位置）用这种方式声明新类型。本质上，这和你在代码里先写struct s;再写test<s> t;是等价的，只是把前置声明和实参传递合并成了一行。

额外验证 #

你提到GCC和MSVC能正常运行，其实Clang也支持这种写法。而且你还可以在main里补全s的定义，完全没问题：

int main()
{
    [[maybe_unused]] test<struct s> t;
    // 补全s的结构体定义
    struct s { int value; };
    return 0;
}

内容的提问来源于stack exchange，提问作者fsmoke