なぜイニシャライザの範囲ベースの一時オブジェクトを使用するとクラッシュするのですか？

Question

Visual StudioとGCCの両方で次のコードがクラッシュするのはなぜですか？

クラッシュするには、範囲ベースのforループ、std :: map、std :: stringが必要で、文字列への参照が必要です。もし私がそれらのいずれかを削除すると、それは動作します。 http://ideone.com/IBmhDH

Answer 1

for(:)ループの範囲の初期化行は、の最後の（存在する場合）以外のものの有効期間を延長しません。その他の一時的なものはループ実行前に破棄されます。

今、絶望しないでください。この問題は簡単に修正できます。しかしまず、何がうまくいかないのかを見てみましょう。

コードfor(auto x:exp){ /* code */ }は基本的には、次のように拡張されます

{ 
    auto&& __range=exp; 
    auto __it=std::begin(__range); 
    auto __end=std::end(__range); 
    for(; __it!=__end;++__it){ 
    auto x=*__it; 
    /* code */ 
    } 
} 

（__itと__endライン上のささやかな嘘、そして__で始まるすべての変数は可視名前を持っていないとも私はC++ 17を示しています。バージョンは、より良い世界を信じているので、違いはここでは関係ありません）

expexpは、一時的なオブジェクトを作成し、そこに参照を返します。その行の後に一時的に死んでしまうので、残りのコードにはダングリングリファレンスがあります。

固定は比較的簡単です。それを修正するには：

std::string const& func() const& // notice & 
{ 
    return m.find("key")->second; 
} 
std::string func() && // notice && 
{ 
    return std::move(m.find("key")->second); 
} 

は右辺値オーバーロードを行うと、代わりにそれらに参照を返すの一時を消費したときに値によって移動-に値をを返します。

そして

auto&& __range=exp; 

線はバイ値に基準長寿命化がstring、そしてこれ以上ダングリング参照を返しません。

一般的に、rvalueになる可能性のあるパラメータを参照して範囲を返すことはありません。

---

付録：、メソッドの後&&とconst&を待って？ rvalue references to *this？

C++ 11にはrvalue referencesが追加されました。しかし、関数へのthisまたは自己パラメータは特別です。呼び出されるオブジェクトの右辺値または左辺値に基づいてメソッドのオーバーロードを選択するには、メソッドの終了後に&または&&を使用できます。

これは、関数のパラメータの型によく似ています。 &&メソッドは、メソッドが非const rvaluesでのみ呼び出されるべきであると述べた後、 const&は、定数lvaluesに対して呼び出される必要があることを意味します。正確に一致しないものは、通常の序数規則に従います。

オブジェクトへの参照を返すメソッドがある場合は、&&オーバーロードで一時的なものをキャッチし、それらの場合は参照を返しません（値を返します）。=deleteメソッドを返します。

Answer 2

S().func() 

これは一時的なオブジェクトを作成し、一時オブジェクトによって（間接的に）所有いstd::stringへの参照を返すメソッドを呼び出す（std::stringはである：リンクは

#include <iostream> 
#include <string> 
#include <map> 
using namespace std; 

struct S 
{ 
    map<string, string> m; 

    S() 
    { 
     m["key"] = "b"; 
    } 

    const string &func() const 
    { 
     return m.find("key")->second; 
    } 
}; 

int main() 
{ 
    for (char c : S().func()) 
     cout << c; 

    return 0; 
} 

Ideone一時オブジェクトの一部であるコンテナ）。

参照を取得した後、一時オブジェクトは破棄されます。これにより、一時オブジェクトによって（間接的に）所有されたstd::stringも破棄されます。

この後、参照されるオブジェクトのそれ以上の使用法は未定義の動作になります。その内容を反復するなど。

範囲の繰り返しを使用する場合、これは非常に一般的な落とし穴です。あなたは本当にこれを乗り越えて罪を犯しています。