GCC中声明为pure/const的函数返回static变量是否合规？代码是否为UB？

咱们拆解你的两个问题，结合GCC扩展属性的核心规则逐一分析：

问题1：声明为pure/const的函数返回static修饰的变量时，是否具备良好定义？ #

首先得明确GCC对这两个属性的核心约束：

• __attribute__((const))：要求函数完全不依赖任何参数以外的状态——既不能读取全局变量、静态变量，也不能有任何副作用（比如修改内存、IO操作）。它的核心语义是：只要输入参数相同，函数的返回值就必须完全相同，无论何时调用。
• __attribute__((pure))：约束比const宽松，允许函数读取全局/静态变量，但绝对不能修改任何状态，也不能有副作用。它的语义是：如果所有被读取的外部状态都没变化，相同参数的调用返回值就相同。

基于这个规则看返回static变量的情况：

• 对于const属性的函数：哪怕返回的是static const变量（初始化后永远不变），这也违反了const属性的核心要求——函数的返回值依赖了参数以外的静态状态。这种情况属于GCC属性的误用，编译器不会直接报错，但可能做出不符合预期的优化（比如把多次调用直接替换成第一次的结果，虽然这里结果确实不变，但属性使用依然不规范）。不过从C标准层面，代码本身不是未定义行为。
• 对于pure属性的函数：如果返回的是只读的static变量（且函数内部不会修改这个变量），那完全符合pure的语义——函数只是读取静态状态，没有任何修改或副作用，这种情况是具备良好定义的，编译器的优化也会符合预期。

问题2：给出的代码是否属于未定义行为（UB）？ #

先看你提供的代码片段：

__attribute__((const)) const char* foo() { static const char* str = "yo bro"; return str; }
__attribute__((pure)) const char* bar() { static const char* str = "ey mate"; return str; }

• 对于foo()：它使用了const属性，但返回了static变量。如前所述，这属于GCC属性的误用，但代码本身在C标准中不属于未定义行为。程序运行时不会出现崩溃或不可预测的行为，但编译器的优化逻辑可能不符合你的预期（不过这里static变量是const的，实际结果不会变）。
• 对于bar()：它使用了pure属性，返回的是只读的static变量，函数内部没有任何修改操作或副作用，完全符合pure属性的约束，没有未定义行为，是合法且安全的代码。

核心协同机制总结 #

• 和const属性搭配：static变量（哪怕是const的）也属于参数以外的状态，const函数绝对不能依赖这种状态，否则属性语义失效，优化可能出错。
• 和pure属性搭配：只要static变量是只读的（或函数内部不修改它），函数只是读取该变量返回，就完全符合pure的要求，编译器可以安全地进行优化（比如缓存返回值，在外部状态不变时跳过重复调用）。

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