&&、範囲ベースのループとテンポラリはどのように連携しますか？

Question

私はhereのコードを見ました。説明は言う：

我々はまた、自動& &を使用して、フォワーディング参照として取り込むことができます。つまり、 の自動& &は、左辺値の参照の場合は&、左の場合は& rvaludの参照の場合は自動的に解決されます。次に、テンポラリマップ上の 範囲ベースのforループからの出力をキャプチャする例を示します。

値が（ので、この場合には何の減衰はありません）左辺値であると称する場合、私はauto&にauto&&の減衰を理解してください。私が苦労していることは、一時的な地図、ループに基づいた範囲と移動された値がどのように連動しているかを理解することです。これらのことがお互いにどのように機能するのか、そして反復されている一時的なものから移動するのはなぜ大丈夫なのか説明してください。

#include <iostream> 
#include <map> 

std::map<std::string, int> get_map() 
{ 
    return { 
     { "hello", 1 }, 
     { "world", 2 }, 
     { "it's", 3 }, 
     { "me", 4 }, 
    }; 
} 

int main() { 
    for (auto&& [ k, v ] : get_map()) 
     std::cout << "k=" << k << " v=" << v << '\n'; 
} 

Answer 1

つの可視この例でauto&&の二つの異なる用途、隠れ一方があります。したがって

{ 
    auto&& __range = get_map(); // the temporary get_map() is bound to a reference, which 
           // extends its lifetime to the lifetime of the reference 
           // decltype(__range) is std::map<std::string, int>&& 

    auto __begin = __range.begin(); 
    auto __end = __range.end();  // potential different type from __begin since C++17 
    for (; __begin != __end; ++__begin) { 
     auto&& __elem = *__begin; // this is your structured binding declaration 
            // *__begin is an lvalue, so decltype(__elem) is 
            // std::pair<std::string const, int> const& 


     // the actual destructuring here 
     std::string const& k = std::get<0>(__elem);  
     int const& v   = std::get<1>(__elem); 

     // now your body 
     std::cout << "k=" << k << " v=" << v << '\n'; 
    } 
} 

：最大限に冗長であるためには、あなたが持っているループがアウトに展開する

それが繰り返されていること、一時から移動しても大丈夫だ理由

。

このコードでは何も動いていません。 mapは、__rangeに組み込まれています。それはあなたが繰り返すものです。最後のブレースの範囲外になります。このこと

---

注：

値が呼ぶならば、私はauto&へauto&&の減衰を理解して行うが、左辺値

では全く正しくありません。まず、「崩壊」とは呼ばれません。たとえば、配列を関数に渡したときに崩壊が起こり、ポインタに崩壊します。さらに、auto&&はauto&に崩壊しません。初期化子が左辺値の場合、auto&&とauto&は同じように動作します。イニシャライザがrvalueの場合、auto&はコンパイルに失敗しますが、auto&&が機能し（rvalue参照を生成します）。