目录
对临时对象子部分的 const 引用可以延长对象的生命周期吗?
分析
首页 后端开发 C++ ## 将常量引用绑定到临时对象的子部分是否会延长其生命周期?

## 将常量引用绑定到临时对象的子部分是否会延长其生命周期?

Oct 29, 2024 am 05:20 AM

## Does Binding a Const Reference to a Temporary Object's Sub-part Extend its Lifetime?

对临时对象子部分的 const 引用可以延长对象的生命周期吗?

考虑以下代码片段:

<code class="c++">#include <stdio.h>

struct P2d {
    double x, y;
    P2d(double x, double y) : x(x), y(y) {}
    ~P2d() { printf("Destructor called\n"); }
};

P2d center() {
    return P2d(10, 10);
}

int main(int argc, const char *argv[]) {
    const double& x = center().x;
    printf("x = %.18g\n", x);
    return 0;
}</code>
登录后复制

当使用 GCC 5.2.0 编译时,P2d 临时实例在进入 main 中的 printf 调用之前被销毁。尽管如此,x 的值仍被保留并正确打印。换句话说,不是将 x 直接绑定到 P2d 临时的 x 成员,而是创建第二个临时双精度值来复制该成员的值。

另一方面,Clang 将 P2d 临时的生命周期延长到生命周期x 引用,导致析构函数在 main 中的 printf 之后被调用。

这就提出了一个问题:这种行为是 GCC 中的错误还是标准允许的?

分析

CWG 1651 解决了此问题:

The resolution of issues 616 and 1213, making the result of a member access or subscript expression applied to a prvalue an xvalue, means that binding a reference to such a subobject of a temporary does not extend the temporary's lifetime. [class.temporary] should be revised to ensure that it does.
登录后复制

当前,[class.temporary]/5 指出:“第二个上下文是引用绑定到临时对象时。 ”这已被解释为仅适用于直接绑定到临时对象的引用。因此,在上面的代码片段中,center().x 被视为纯右值(Clang 和 GCC 都如此),并且 [class.temporary]/5 不适用。

但是,GCC 和 Clang 有尚未实施DR 1651决议,即N3918。该决议明确指出“应用于临时表达式的成员访问和下标表达式会产生临时表达式”,并补充说“相应的临时对象(如果有)在引用的生命周期内持续存在。”

因此,根据 N3918 的措辞,Clang 似乎正在实现预期的行为,而 GCC 则没有。 DR 60297 指出,GCC 不会延长临时标量子对象的生命周期,因为它们没有被 [dcl.init.ref]/(5.2.1.1) 覆盖。

总之,GCC 中的当前行为是根据标准当前的措辞,这是正确的,但在这种情况下,标准可能会被修改为要求延长使用寿命。 Clang 已经实现了预期的未来行为。

以上是## 将常量引用绑定到临时对象的子部分是否会延长其生命周期?的详细内容。更多信息请关注PHP中文网其他相关文章!

本站声明
本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系admin@php.cn

热AI工具

Undresser.AI Undress

Undresser.AI Undress

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

AI Clothes Remover

AI Clothes Remover

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

Undress AI Tool

Undress AI Tool

免费脱衣服图片

Clothoff.io

Clothoff.io

AI脱衣机

Video Face Swap

Video Face Swap

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

热工具

记事本++7.3.1

记事本++7.3.1

好用且免费的代码编辑器

SublimeText3汉化版

SublimeText3汉化版

中文版,非常好用

禅工作室 13.0.1

禅工作室 13.0.1

功能强大的PHP集成开发环境

Dreamweaver CS6

Dreamweaver CS6

视觉化网页开发工具

SublimeText3 Mac版

SublimeText3 Mac版

神级代码编辑软件(SublimeText3)

热门话题

Java教程
1663
14
CakePHP 教程
1420
52
Laravel 教程
1315
25
PHP教程
1266
29
C# 教程
1239
24
C#与C:历史,进化和未来前景 C#与C:历史,进化和未来前景 Apr 19, 2025 am 12:07 AM

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和XML的未来:新兴趋势和技术 C和XML的未来:新兴趋势和技术 Apr 10, 2025 am 09:28 AM

C 和XML的未来发展趋势分别为:1)C 将通过C 20和C 23标准引入模块、概念和协程等新特性,提升编程效率和安全性;2)XML将继续在数据交换和配置文件中占据重要地位,但会面临JSON和YAML的挑战,并朝着更简洁和易解析的方向发展,如XMLSchema1.1和XPath3.1的改进。

继续使用C:耐力的原因 继续使用C:耐力的原因 Apr 11, 2025 am 12:02 AM

C 持续使用的理由包括其高性能、广泛应用和不断演进的特性。1)高效性能:通过直接操作内存和硬件,C 在系统编程和高性能计算中表现出色。2)广泛应用:在游戏开发、嵌入式系统等领域大放异彩。3)不断演进:自1983年发布以来,C 持续增加新特性,保持其竞争力。

C多线程和并发:掌握并行编程 C多线程和并发:掌握并行编程 Apr 08, 2025 am 12:10 AM

C 多线程和并发编程的核心概念包括线程的创建与管理、同步与互斥、条件变量、线程池、异步编程、常见错误与调试技巧以及性能优化与最佳实践。1)创建线程使用std::thread类,示例展示了如何创建并等待线程完成。2)同步与互斥使用std::mutex和std::lock_guard保护共享资源,避免数据竞争。3)条件变量通过std::condition_variable实现线程间的通信和同步。4)线程池示例展示了如何使用ThreadPool类并行处理任务,提高效率。5)异步编程使用std::as

C#vs. C:学习曲线和开发人员的经验 C#vs. C:学习曲线和开发人员的经验 Apr 18, 2025 am 12:13 AM

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

C和XML:探索关系和支持 C和XML:探索关系和支持 Apr 21, 2025 am 12:02 AM

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

C社区:资源,支持和发展 C社区:资源,支持和发展 Apr 13, 2025 am 12:01 AM

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设计模式:构建可扩展和可维护的软件 Apr 09, 2025 am 12:06 AM

现代C 设计模式利用C 11及以后的新特性实现,帮助构建更灵活、高效的软件。1)使用lambda表达式和std::function简化观察者模式。2)通过移动语义和完美转发优化性能。3)智能指针确保类型安全和资源管理。

See all articles