フレンド関数からローカル変数の参照を返す

Question

< <とC++の>>演算子のオーバーロードの例を紹介しました。それを実装するすべての例は、ローカル変数に

class Date 
{ 
    int mo, da, yr; 
public: 
    Date(int m, int d, int y) 
    { 
     mo = m; da = d; yr = y; 
    } 
    friend ostream& operator<<(ostream& os, const Date& dt); 
}; 

ostream& operator<<(ostream& os, const Date& dt) 
{ 
    os << dt.mo << '/' << dt.da << '/' << dt.yr; 
    return os; 
} 

int main() 
{ 
    Date dt(5, 6, 92); 
    cout << dt; 
} 

を参照を返すように見えるしかし、私は（それがない場合には何とか、私を修正）、OSがローカル変数だと思う疑問を得ました。

このコードが実際に動作するのかどうかわかりませんが、ウェブ上のほとんどの参照で同様の実装が見つかりました。

注：ヘッダーファイルのインクルードと名前空間のstdステートメントの使用は、意図的に省略されています。

ありがとうございます。

Answer 1

私はosがローカル変数だと思います（もしそうでなければ、私を修正してください）。

実際にはありません。 osはローカル参照ですが、それは本当です。しかし、それは非ローカルオブジェクトにバインドされています。

これは非const値の参照であるため、関数呼び出しの寿命を超えるオブジェクトにバインドする必要があります。したがって、関数から返された参照への参照は完全に大丈夫です。何もぶら下がることはありません。

実際には、それはあなたが関数の連鎖通話を可能にするために何をしなければならないかです：

std::cout << foo << bar << baz; 

は、機能のちょうど束です呼び出します。

operator<<(operator<<(operator<<(std::cout, foo), bar), baz);