4

有人可以告诉为什么对象在调用test(2)后被销毁吗？test_method()

#include<iostream>
#include<string>

using namespace std;

class test
{
    int n;

    public:
    test(int n) : n(n)
    {
        cout << "test: " << n << endl;
    }

    ~test()
    {
        cout << "~test: " << n << endl;
    }

    test & test_method()
    {
        cout << "test_method: " << n << endl;
        return *this;
    }
};

int main(int argc, const char *argv[])
{
    cout << "main start" << endl;
    const test &test1 = test(1);
    const test &test2 = test(2).test_method();
    cout << "main end" << endl;
}

输出是：

main start
test: 1
test: 2
test_method: 2

~test: 2
main end
~test: 1
4

2 回答 2

6

test(2).test_method()返回一个绑定到 的引用，test2然后它所引用的对象在完整表达式的末尾被销毁，因为它是一个临时对象。这应该不足为奇。

真正令人惊讶的是它test1仍然是一个有效的引用，因为它直接绑定到一个临时变量，并且将一个临时变量绑定到一个引用会将临时变量的生命周期延长到引用变量的生命周期。

您只需要注意，在这种test(2)情况下，临时对象没有绑定到任何东西。它只是用来调用一些成员函数，然后它的工作就完成了。它不会“照顾”成员函数，或者换句话说，生命周期扩展不会通过所有可能的未来引用传递。

这是一个简单的思想实验，为什么实际上不可能有“任意延长寿命”：

extern T & get_ref(T &);

{
    T const & x = get_ref(T());

    // stuff

    // Is x still valid?
}

我们不知道x在第一行之后是否仍然有效。get_ref可以做任何事情。如果它被实现为T & get_ref(T & x) { return x; }，我们可能希望有魔法，但也可能是这样的：

namespace { T global; }
T & get_ref(T & unused) { return global; }

在原始翻译单元内无法决定是否需要扩展任何内容。所以标准目前的方式是，它是一个完全微不足道的本地决定，只是在查看引用声明表达式时做出的，所讨论的临时对象的生命周期应该是多少。

于 2012-05-31T09:33:09.153 回答
0

因为 C++ 标准需要这种行为。如果您希望对象持久存在，请为其命名。它会一直存在，只要名称。

编辑：您的示例test1是您给第一个对象的名称，而第二个对象根本没有获得名称，因此它不会超过表达式的评估。

于 2012-05-31T09:33:45.053 回答