为什么在库函数之前有一个序列点？答案

【问题标题】：Why is there a sequence point immediately before library functions?为什么在库函数之前有一个序列点？
【发布时间】：2020-06-02 18:33:45
【问题描述】：

标准是这样说的：

在库函数返回之前有一个序列点。 C17dr § 7.1.4 3.

我知道在实际调用之前和返回语句之后有一个序列点（由于分号，如果有其他原因请告诉我）但我无法理解上面的句子。谁能解释一下？

【问题讨论】：

这能回答你的问题吗？ What's the consequence of a sequence-point "immediately before a library function returns"?
是的，但我不明白这个“库函数没有标准涵盖的实现它们的代码（它们甚至可能没有在 C 中实现）”部分答案。
@UlaşSezgin 你不明白那句话的哪一部分？它回答了你的问题
我认为关键是我们知道在return 语句之后有一个序列点，但我们不能保证库函数实际上包含return 语句或任何声明，因为它可能不是用 C 编写的。

【解决方案1】：

这意味着你可以编写像t = sqrt(t) 这样的代码。如果你不能这样做，那将是真的烦人。

如果 C 标准不保证函数在返回之前具有排序点，则上述行为将是未定义的。

请注意，C 标准库函数可能由编译器硬编码 - 所以这是一个重要的考虑因素。它还为标准库实现的用户增加了额外的保护，标准库实现可能将某些功能实现为宏（这是允许的，但需要遵守过多的规则）。

（请注意，该规则已沿用到 C++）。

【讨论】：