模板代码在GCC编译成功但Clang编译失败：谁的行为符合C++标准？

这是个非常精准的问题，直接戳中了C常量表达式和非类型模板参数（NTTP）规则的细节盲区。先给你明确结论：**Clang的行为完全符合C标准，GCC在这里实现了一个非标准扩展，属于不符合规范的一方**。

下面拆解细节帮你理解：

核心规则：非类型模板参数的实参必须是模板实参常量表达式 #

你的代码里，test2<&dummy_object>()试图把&dummy_object传给模板参数E。根据C++标准，非类型模板参数的实参必须是模板实参常量表达式（TACE）——简单说就是这个值必须能在编译期完全确定，而且表达式本身要符合常量表达式的所有规则。

&dummy_object为什么不满足常量表达式要求？ #

dummy_object是static T&，所以&dummy_object本质上等价于&(*reinterpret_cast<T*>(memory))，也就是reinterpret_cast<T*>(memory)。问题就出在这个reinterpret_cast上：

• C标准（从C11到最新的C++23）对reinterpret_cast在常量表达式里的使用有严格限制：只允许几种特殊转换（比如指针转整数类型、整数转指针、静态对象指针转std::byte*/char*等），不同对象类型指针之间的强制转换（比如std::byte*转int*）是明确禁止出现在常量表达式中的。
• 哪怕memory是静态存储期数组，它的地址在编译期是已知的，但reinterpret_cast<T*>(memory)这个表达式本身不符合常量表达式的规则，因此&dummy_object也不是合法的常量表达式。

为什么GCC能编译通过？ #

GCC在这里实现了一个非标准扩展：它对静态存储期对象的地址做了特殊处理，哪怕是通过reinterpret_cast得到的地址，也允许把它当作编译期常量来用。这个扩展确实能解决一些实际场景的问题，但它不符合C++标准的严格要求。

标准依据 #

查C++标准的[expr.const]（常量表达式）和[temp.arg.nontype]（非类型模板参数）章节：

1. 常量表达式中禁止绝大多数reinterpret_cast操作；
2. 非类型模板参数的实参必须是模板实参常量表达式，而&dummy_object显然不满足这一点。

Clang严格遵守了这些规则，所以报错拒绝编译；GCC则放宽了限制，接受了不符合标准的代码。

代码修复思路 #

如果想让代码符合标准，需要避免在常量表达式路径里用reinterpret_cast。比如，可以调整设计，不把这个地址作为模板实参；或者使用C++20的constinit结合合法的常量表达式初始化（不过对于这种内存模拟对象的场景，后者可能不太好实现）。

内容来源于stack exchange