クラスのオブジェクトへのconst参照の格納

Question

これは基本的な質問のように聞こえますが、包括的な答えは見つかりませんでした。

struct A { 
    const std::string& s; 
    A(const std::string& s) : s(s) {} 
}; 

int main() { 
    A a("abc"); 
    std::cout << a.s << std::endl; 
    return 0; 
} 

Demo：このコードスニペットを考えてみましょう。

私が理解する限り、これはUBです。文字列リテラル "abc"は、コンストラクタ内のconst std::string&にバインドされ、一時的な文字列オブジェクトを作成します。参照番号a.sにも拘束されており、一度aが構築されると破壊されます。つまり、const参照は寿命の延長を連鎖させることはできません。ダングリングリファレンス、ブーム。この特定のケースでは、私はideone.com上で何の出力も見ませんが、何かが起こる可能性があります（velociraptorsを思い出してください）。

これはわかりました。しかし、これが実際に私たちの意図であれば、オブジェクトへのconst参照を保存したいのですか？既存のものに、一時的にではなく、これは非常に自然な仕事のように聞こえますが、私はそれに1つの（ほとんど）自然な解決策しか考え出していません。 std::reference_wrapperではなく、参照することにより、コンストラクタの引数を受け入れる：std::reference_wrapper以来

A(std::reference_wrapper<const std::string> r) : s(r) {} 

が一時からコンストラクタを削除しました：

reference_wrapper(T&& x) = delete; 

これは単なる予想ように動作します。しかし、これはあまりエレガントではありません。私が考えることのできるもう1つのアプローチは、転送参照T&&を受け入れ、std::enable_ifというconst値の文字列以外のすべてを拒否することです。これはあまり優雅ではない、と私は思う。

他の方法はありますか？

UPDもう1つの質問：これはstd::reference_wrapperの正当な使用ですか、それともあまりにも具体的であると考えられますか？

Answer 1

私は自然のソリューションはreference_wrapperが何を行うことであろうと言うだろう：一時から建設を防ぐ：

struct A { 
    const std::string& s; 
    A(const std::string& s) : s(s) {} 
    A(std::string&&) = delete; 
}; 

をあなたはまた、参照型のデータメンバーを有するクラスが非作ることに留意すべきです割り当て可能（移動割り当ては可能ではない）であり、割り当てオペレータを実装することは一般的に困難です。