带断言的链表首元素函数使用__attribute__((pure))是否合法？

问题1：该函数是否适合标注__attribute__((pure))？ #

绝大多数场景下是适合的，核心依据如下：

• 先明确GCC对pure属性的核心要求：函数返回值仅依赖输入参数与全局状态（若有使用），且正常执行路径中不会修改任何可观察的程序状态（包括全局变量、IO、内存状态等）。
• 你的函数在断言不触发的正常路径下，仅读取传入list的成员并返回node->data指针，完全符合纯函数的行为逻辑。
• 结合断言的编译特性：默认情况下，ASSERT_*这类断言宏在发布编译（比如带-DNDEBUG参数）时会被完全移除，此时函数就是标准的纯函数。即便在调试模式下，断言触发属于程序错误场景，编译器会默认假设这种情况不会发生，不会影响对正常路径的优化逻辑。

唯一需要注意的前提：如果是多线程环境，要确保list指针指向的内存不会在函数执行期间被其他线程修改——这是所有纯函数都需要遵守的基础约束，和断言本身无关。

问题2：本不应发生的断言失败是否会违反纯函数的要求？ #

不会违反编译器对pure属性的实际约束，原因如下：

• 编译器处理pure属性时，是基于「程序处于正确状态、无错误发生」的假设来做优化的。断言失败属于程序逻辑错误，本质和未定义行为（UB）类似——编译器会默认这种情况永远不会出现，因此不会因为异常路径的副作用否定整个函数的纯属性。
• 从纯函数的通用定义来看，纯函数的要求是「正确输入下无副作用、返回值仅依赖输入」，而断言失败是输入错误导致的异常情况，不属于「正确输入」的范畴，这类异常路径的副作用不影响函数作为纯函数的标注。

当然要注意：如果你的断言触发时会执行自定义的全局状态修改（比如自定义断言处理函数修改全局变量），调试模式下运行时确实会产生可观察的副作用，但这属于程序错误场景下的行为，和纯函数针对正常路径的定义不冲突。

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