GCCが参照用にstd :: optionalを拒否する理由は？

Question

std::optional<int&> xx;最新のgcc-7.0.0スナップショットではコンパイルされません。 C++ 17標準には参照用にstd::optionalが含まれていますか？そしてなぜそれができないのですか？ （専用の専門内のポインタを有する実装らしい何の問題も引き起こさないwhould。）[オプション]

Answer 1

optionalは、C++ 17で標準化されているため、参照型は許可されていません。これは設計上除外されています。

これには2つの理由があります。 1つは、構造的に言えば、optional<T&>はT*に相当するということです。それらは異なるインターフェースを持つかもしれませんが、同じことをします。

第2の点は、正確にoptional<T&>がどのように振る舞うべきかという疑問について、標準化委員会によって合意が実質的になかったことです。

は、次のことを考えてみましょう：

optional<T&> ot = ...; 
T t = ...; 
ot = t; 

その最後の行には何をすべき？ otによって参照されているオブジェクトを取得していて、それにコピーアサインすると、*ot == t？または、格納されている参照自体を再バインドする必要があります。つまり、ot.get() == &t？さらに悪いことに、割り当ての前にdo different things based on whether ot was engaged or notになりますか？

一部の人々は1つのことをすると予想しますが、一部の人はそれを他の人がやると予想します。したがって、どちらの側を選んでも、誰かが混乱することになります。

あなたの代わりにT*を使用していた場合、たまたま非常に明確になります：

T* pt = ...; 
T t = ...; 
pt = t; //Compile error. Be more specific. 
*pt = t; //Assign to pointed-to object. 
pt = &t; //Change pointer. 

Answer 2

Inを：

参照型のためのオプション、または場合によってCVのテンプレートのインスタンス化を必要とするプログラム - 修飾タイプin_place_tまたはnullopt_tが不正です。

std::optional<T&>はありません。今のところ、std::optional<std::reference_wrapper<T>>を使用する必要があります。