STL 方法链接是否保留 C 中的求值顺序?
C 中的链接 STL 方法是否保留求值顺序?
在 Bjarne Stroustrup 的《C 编程语言》第 4 版中,以下代码片段举例说明了方法链接:
<code class="cpp">void f2() { std::string s = "but I have heard it works even if you don't believe in it"; s.replace(0, 4, "").replace(s.find("even"), 4, "only").replace(s.find(" don't"), 6, ""); assert(s == "I have heard it works only if you believe in it"); }</code>
此代码从左到右评估语句,增量更改字符串 s。但是,根据所使用的编译器,此表达式的行为是不明确的:
- Clang: 计算遵循预期顺序,导致 s 为“我听说它仅在以下情况下才有效”你相信它”。
- GCC:求值顺序不可预测,导致 s 取不正确的值。
- Visual Studio:与 GCC 类似,评估是不明确的,经常产生相同的错误结果。
揭示未指定的行为
由于不确定性,代码表现出未指定的行为子表达式的求值顺序,尽管不调用未定义的行为。问题的关键在于链式函数调用中函数参数的求值顺序。
具体而言,对于以下子表达式:
- s.find("even")
- s.find(" don't")
它们的求值顺序对于以下内容是不确定的:
- s.replace(0, 4 , "")
这意味着可以在替换调用之前或之后评估 find 调用,从而影响 s 的长度,从而改变 find 调用的结果。
使用自定义查找函数的插图
为了演示这种歧义,代码的修改版本使用自定义 my_find 函数,该函数报告每个子表达式求值中搜索字符串的位置:
<code class="cpp">std::string::size_type my_find(std::string s, const char *cs) { std::string::size_type pos = s.find(cs); std::cout << "position " << cs << " found: " << pos << std::endl; return pos; }</code>
使用不同的编译器运行此代码会根据计算顺序产生不同的结果:
- Clang: my_find 在计算之前先计算为“even”
- GCC: my_find 在评估“even”之前先评估“don’t”,从而导致错误的结果.
C 17 更改
C 17 标准 (p0145r3) 对表达式求值顺序规则进行了改进,以解决这种歧义。它加强了后缀表达式及其表达式列表的求值顺序,如下所示:
- 后缀表达式在表达式列表中的每个表达式和任何默认参数之前排序。
这可确保链式方法调用按预期顺序进行计算,从而解决了 C 17 中的未定义行为。
以上是STL 方法链接是否保留 C 中的求值顺序?的详细内容。更多信息请关注PHP中文网其他相关文章!

热AI工具

Undresser.AI Undress
人工智能驱动的应用程序,用于创建逼真的裸体照片

AI Clothes Remover
用于从照片中去除衣服的在线人工智能工具。

Undress AI Tool
免费脱衣服图片

Clothoff.io
AI脱衣机

Video Face Swap
使用我们完全免费的人工智能换脸工具轻松在任何视频中换脸!

热门文章

热工具

记事本++7.3.1
好用且免费的代码编辑器

SublimeText3汉化版
中文版,非常好用

禅工作室 13.0.1
功能强大的PHP集成开发环境

Dreamweaver CS6
视觉化网页开发工具

SublimeText3 Mac版
神级代码编辑软件(SublimeText3)

C#和C 的历史与演变各有特色,未来前景也不同。1.C 由BjarneStroustrup在1983年发明,旨在将面向对象编程引入C语言,其演变历程包括多次标准化,如C 11引入auto关键字和lambda表达式,C 20引入概念和协程,未来将专注于性能和系统级编程。2.C#由微软在2000年发布,结合C 和Java的优点,其演变注重简洁性和生产力,如C#2.0引入泛型,C#5.0引入异步编程,未来将专注于开发者的生产力和云计算。

C 学习者和开发者可以从StackOverflow、Reddit的r/cpp社区、Coursera和edX的课程、GitHub上的开源项目、专业咨询服务以及CppCon等会议中获得资源和支持。1.StackOverflow提供技术问题的解答;2.Reddit的r/cpp社区分享最新资讯;3.Coursera和edX提供正式的C 课程;4.GitHub上的开源项目如LLVM和Boost提升技能;5.专业咨询服务如JetBrains和Perforce提供技术支持;6.CppCon等会议有助于职业

C#和C 的学习曲线和开发者体验有显着差异。 1)C#的学习曲线较平缓,适合快速开发和企业级应用。 2)C 的学习曲线较陡峭,适用于高性能和低级控制的场景。

C 通过第三方库(如TinyXML、Pugixml、Xerces-C )与XML交互。1)使用库解析XML文件,将其转换为C 可处理的数据结构。2)生成XML时,将C 数据结构转换为XML格式。3)在实际应用中,XML常用于配置文件和数据交换,提升开发效率。

静态分析在C 中的应用主要包括发现内存管理问题、检查代码逻辑错误和提高代码安全性。1)静态分析可以识别内存泄漏、双重释放和未初始化指针等问题。2)它能检测未使用变量、死代码和逻辑矛盾。3)静态分析工具如Coverity能发现缓冲区溢出、整数溢出和不安全API调用,提升代码安全性。

C 在现代编程中仍然具有重要相关性。1)高性能和硬件直接操作能力使其在游戏开发、嵌入式系统和高性能计算等领域占据首选地位。2)丰富的编程范式和现代特性如智能指针和模板编程增强了其灵活性和效率,尽管学习曲线陡峭,但其强大功能使其在今天的编程生态中依然重要。

使用C 中的chrono库可以让你更加精确地控制时间和时间间隔,让我们来探讨一下这个库的魅力所在吧。C 的chrono库是标准库的一部分,它提供了一种现代化的方式来处理时间和时间间隔。对于那些曾经饱受time.h和ctime折磨的程序员来说,chrono无疑是一个福音。它不仅提高了代码的可读性和可维护性,还提供了更高的精度和灵活性。让我们从基础开始,chrono库主要包括以下几个关键组件:std::chrono::system_clock:表示系统时钟,用于获取当前时间。std::chron

C 的未来将专注于并行计算、安全性、模块化和AI/机器学习领域:1)并行计算将通过协程等特性得到增强;2)安全性将通过更严格的类型检查和内存管理机制提升;3)模块化将简化代码组织和编译;4)AI和机器学习将促使C 适应新需求,如数值计算和GPU编程支持。
