C++14中constexpr函数能否修改非局部作用域对象？

结论很明确：依据C++14标准，constexpr函数绝对不允许修改非局部作用域的对象——不管是直接访问全局/静态变量，还是通过引用修改外部作用域的变量。

为什么会有看似矛盾的可编译例子？ #

• 编译器非标准扩展：部分编译器（如GCC、Clang）可能在某些场景下放宽了标准限制，允许constexpr函数修改外部变量，但这属于厂商扩展，并不符合C++14标准的要求。这类代码在严格遵循标准的编译器下（或开启严格标准检查时）会直接报错。
• 混淆了C++版本：如果看到的可编译代码是在C17及以后版本下编译的，那是因为C17大幅放宽了constexpr的规则，允许constexpr函数在非编译期求值的上下文里产生副作用（比如修改全局变量）。但这是C17的特性，和C14无关。

关于“局部副作用”的澄清 #

你提到的“C14中常量表达式可存在局部副作用”是指：constexpr函数可以修改自身的局部变量（比如在编译期计算时调整局部状态），这是标准允许的——因为这些局部变量的生命周期完全局限于常量表达式求值过程中，不会影响外部的非局部状态。但修改非局部对象（比如全局变量、外部函数的变量）完全是另一种情况，属于C14标准明确禁止的行为。

标准依据 #

C++14标准中[dcl.constexpr]章节明确规定：constexpr函数的函数体中，不能包含会修改非局部对象的操作，也不能包含引用非局部对象并修改它的操作。常量表达式求值过程中，任何对非局部对象的修改都会导致表达式不再是合法的常量表达式。

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