変数の定数とその有効期間

Question

したがって、a questionから別のスレッドで尋ねられましたが、私は新しい質問を考えましたが、答えは私には分かりません。

これは、一時的なconst参照がある場合、一時的なものの寿命は少なくともconst参照の長さと同じであるという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; 
} 

だから、私は「ちょっと」値の毎回のように取得します。これは、ローカルのconst参照が、渡されたメンバーオブジェクトとの間に人生を通じて結びついていないことを暗示しているようです。それはなぜですか？

Answer 1

b.aは一時的なものではないため、その有効期間はその後バインドされる参照の影響を受けません。

Answer 2

あなたが何を求めているのか分かりません。あなたのコードでは、 はb をmainに初期化する式のA("hey")です。コピーコンストラクタを使用してb.a をB::Bにコピーします。その後、一時的なものはどこにもありません。

さらに一般的には、一時的に参照番号 にバインドされているという事実は、その有効期間を必ずしも変更しません。寿命を延ばすものは です。一時的に参照を初期化するために使用されるという事実は、 の場合、tempの場合fは一時的に初期化されていないため、 一時的に有効です、 を参照してください。そして、この規則には例外があります：あなたは初期化子クラスの のメンバーの参照を初期化するために、一時的に使用 場合、それはそう、寿命はまだ コンストラクタの終わりを超えて拡張しませんです。

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

動作しないでしょう。