C++中的求值|副作用|序列点所导致的模糊语义

最新推荐文章于 2022-06-28 23:16:09 发布

pongba

最新推荐文章于 2022-06-28 23:16:09 发布

阅读量1.9w

点赞数

分类专栏： C++ 并发编程文章标签： c++ behavior 文档编译器 blog

本文链接：https://blog.youkuaiyun.com/pongba/article/details/541440

版权

本文探讨了C++中关于表达式求值顺序的不确定性，特别是副作用和序列点如何导致模糊的语义。作者通过一个例子展示了即使简单如`i = (i++)`的表达式也可能产生未定义行为，揭示了编译器对well-formed程序的处理方式。此外，当涉及用户自定义迭代器时，此类表达式的行为可能变为未指定或甚至是确定的。文章鼓励读者深入理解这些概念，并提供了在comp.std.c++新闻组上的相关讨论链接以供进一步研究。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

C++中的求值|副作用|序列点所导致的模糊语义

前一阵子一个偶然的机会，在soloist的blog上（http://blog.youkuaiyun.com/soloist）看到一篇关于C/C++中的一个十分历史悠久的问题的讨论，即表达式求值的问题。说实话这个问题着实不新鲜了，被所有论坛提出过无数次，无非就是表达式求值顺序不确定的问题嘛。所以我也就没太在意，soloist那里吵翻了天，说什么的都有，热闹非凡。

当时我就当复习一下，想看看标准对这一块到底有什么明确的说法，就随手翻开了[C++03]，结果发现原来情况并非像很多人，乃至我所长期以来认为的那样，简而言之，有下面几个令人意外的结果，不但令我意外，当我把问题发到comp.std.c++新闻组上之后居然引起了一场不大不小的争吵，Andrew Koenig、Herb Sutter、David Abrahams、P.J Plauger...，于是我就看了几天的连台好戏，同时也把这个问题的答案在脑子里刷新了一次。

下面就是两个令人感到意外的现象：

1. 表达式求值并不一定意味着求值过程中的副作用会同步发生！这是一个违反直觉的地方，带来了非常晦涩的语义。