C11标准中“库函数返回前存在序列点”的恰当示例及疑问

C11标准7.1.4 p3规定：“There is a sequence point immediately before a library function returns.”

首先，你对示例t = sqrt(t);的质疑完全正确——这个例子根本不需要依赖上述条款来避免未定义行为。原因很明确：

• 调用sqrt时，实参t会先经过左值转换（lvalue conversion），生成t当前值的副本，sqrt仅操作这个副本，和后续赋值操作对t的修改完全独立。
• 对照C11 6.5p2的未定义行为判定规则：“如果对标量对象的两次访问中至少一次是修改，且两次访问之间没有序列点，则行为未定义”，这里sqrt并没有直接访问t本身，只是用了它的副本，所以即使没有7.1.4 p3的条款，这段代码也不会触发未定义行为。

那什么样的例子才真正贴合7.1.4 p3的设计意图？需要构造库函数调用会直接访问被赋值的对象，且访问与修改操作之间原本无序列点的场景，以下是两个典型示例：

示例1：使用printf的返回值赋值给实参对象 #

#include <stdio.h>

int main() {
    int x = 10;
    x = printf("%d", x);
    return 0;
}

关键逻辑：

• printf的实参是x（读取操作），而赋值操作是把printf的返回值赋给x（修改操作）。
• 如果没有7.1.4 p3的序列点规定，这两个操作（读取x、修改x）之间没有明确的执行顺序，完全符合C11 6.5p2的未定义行为判定条件。
• 正是因为条款规定的序列点存在于printf返回前，保证了printf对x的读取操作（处理实参）全部完成后，才会执行赋值操作对x的修改，彻底避免了未定义行为。

示例2：使用带指针输出参数的库函数strtol #

#include <stdlib.h>

int main() {
    char *p = "123abc";
    p = strtol(p, &p, 10);
    return 0;
}

关键逻辑：

• strtol的第一个实参是p（读取操作），同时它会通过&p修改p本身（内部修改操作），最后我们又把strtol的返回值赋给p（外部修改操作）。
• 若无7.1.4 p3的序列点，这三类操作的执行顺序完全不确定，会触发未定义行为。
• 条款的序列点保证了：strtol所有的内部操作（读取实参p、修改p的值）都在返回前完成，之后才会执行外部的赋值操作，所有操作的顺序被明确约束，消除了未定义行为的风险。

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