为何constexpr上下文使用保留标识符未被编译器诊断？

为什么示例代码不会触发编译器报错 #

首先需要明确C++命名保留规则的适用边界：

• 下划线加大写字母开头、包含双下划线的标识符，是标准明确保留给C++实现方（编译器、标准库、平台SDK）使用的命名空间，标准仅禁止普通应用开发者自定义这类标识符，而非禁止所有主体使用。
• 你提到的规则中“使用这类标识符属于未定义行为”，特指普通应用开发者自行定义/重定义这类保留标识符的场景。
• 标准将“用户自定义保留标识符”归类为「格式错误但无需强制诊断」的问题，不要求编译器必须给出报错或警告，编译器出于编译性能考虑通常不会默认开启这类命名检查。

另外你提到的constexpr规则约束的是constexpr表达式求值过程中的运行时未定义行为（比如整数溢出、空指针解引用、数组越界等），命名规则违反属于编译期的语法规则类问题，不属于constexpr求值过程的运行时UB，自然不会触发constexpr相关的编译拒绝逻辑。

STM32头文件的命名是否触发未定义行为 #

不会，原因如下：

• STM32的官方头文件属于硬件平台SDK的实现部分，属于C++标准中允许使用保留命名的「实现方」范畴，使用双下划线开头的头文件保护宏本来就是这类底层实现的常规操作，目的就是为了和普通应用层代码的命名做隔离，避免宏定义冲突。
• MISRA规范的命名约束针对的是应用层业务代码，不会限制底层平台实现的命名规则，你看到的符合MISRA规范的代码，指的是应用层代码满足MISRA要求，底层SDK的实现不受该限制。

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