逗号分隔语句中返回值的生命周期

发布于 2024-12-10 20:55:58 字数 411 浏览 0 评论 0原文

下面三行注释的执行顺序是否有保证？

struct S
{
    S() { /* called 1st */ }
    ~S() { /* called 3rd */ }
};

boost::shared_ptr<S> f() 
{
    return boost::shared_ptr<S>(new S); 
}

int second() { return 0; /* called 2nd */ }

int test()
{
    return (f(), second());
}

在我的编译器中，f() 返回的 shared_ptr 似乎一直持续到调用 second() 之后。但这是由标准以及其他编译器保证的吗？

原文

Is the order of execution of the three commented lines below guaranteed?

struct S
{
    S() { /* called 1st */ }
    ~S() { /* called 3rd */ }
};

boost::shared_ptr<S> f() 
{
    return boost::shared_ptr<S>(new S); 
}

int second() { return 0; /* called 2nd */ }

int test()
{
    return (f(), second());
}

With my compiler, the shared_ptr returned by f() seems to persist until after second() is called. But is this guaranteed by the standard and thus other compilers?

分享到QQ

分享到微博

如果你对这篇内容有疑问，欢迎到本站社区发帖提问参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。

发布评论

需要登录才能够评论，你可以免费注册一个本站的账号。

醉态萌生 2024-12-17 20:55:58

是。

临时变量将持续存在，直到完整表达式完成。

[n3290: 12.2/3]: 当实现引入临时
具有非平凡构造函数的类的对象（12.1，
12.8），它应确保为临时对象调用构造函数。同样，析构函数应被临时调用
一个不平凡的析构函数（12.4）。临时对象被销毁为
评估完整表达式 (1.9) 的最后一步（词法上）
包含它们的创建点。即使这样也是如此
评估以抛出异常结束。价值计算和
销毁临时对象的副作用仅与
完整表达式，不带任何特定子表达式。

并且：

[n3290: 1.9/10]: 完整表达式是不是一个表达式
另一个表达式的子表达式。如果语言构造是
定义为产生函数的隐式调用，使用
语言构造被认为是用于以下目的的表达式
这个定义。对在末尾生成的析构函数的调用
临时对象以外的对象的生命周期是隐式的
充分表达。应用于表达式结果的转换
为了满足语言结构的要求，其中
表达式出现也被认为是
充分表达。 [..]

这意味着 f() 和 second() 都应该存在，直到执行从 test() 返回并得出评估结果后者。