变量的恒定性及其生存期

The constness of a variable and its lifetime

本文关键字:生存期 恒定性 变量      更新时间:2023-10-16

所以从另一个线程中提出的一个问题中,我想到了一个新问题,答案对我来说并不明显。

因此,似乎有一个 c++ 规则说,如果你有一个对临时的常量引用,那么临时的生存期至少与常量引用一样长。但是,如果你有一个对另一个对象的成员变量的局部 const 引用,然后当你离开范围时 - 它是否调用该变量的析构函数?

所以这里是从原始问题修改的程序:

#include <iostream>
#include <string>
using namespace std;
class A {
public:
   A(std::string l) { k = l; };
   std::string get() const { return k; };
   std::string k;
};
class B {
public:
   B(A a) : a(a) {}
   void b() { cout << a.get(); }  //Has a member function
   A a;
};
void f(const A& a)
{  //Gets a reference to the member function creates  a const reference
     stores it and goes out of scope
 const A& temp = a;
 cout << "Within f(): " << temp.k << "n";
}
int main() {
   B b(A("hey"));
   cout << "Before f(): " << b.a<< "n";
   f(b.a);
   cout << "After f(): " << b.a.k << "n";
   return 0;
}

因此,当我运行此代码时,每次都会得到"hey"作为值。这似乎意味着局部 const 引用不会在整个生命中与传递的成员对象绑定自身。为什么不呢?

b.a 不是临时的,因此其生存期不受随后绑定到它的任何引用的影响。

我不确定我是否理解你在问什么。 在您的代码中,唯一的临时我看到的是初始化b的表达式中的A("hey")main. 并将其(使用复制构造函数)复制到b.aB::B. 在那之后,任何地方都没有更多的临时人员。

更一般地说,临时绑定到引用的事实不一定会改变其生存期。 延长使用寿命的是临时用于初始化引用的事实:在您的例如,temp f永远不会对临时的生存期,因为它不是用临时初始化的,但有另一个参考。 这条规则也有例外:如果使用临时初始化初始值设定项中的成员引用一个类,它的生命周期仍然不会超过结束构造函数,因此:

class A
{
    std::string const& rString;
public:
    A() : rString( std::string( "hey" ) ) {}
    std::string get() const { retur rString; }
};

行不通。