cppreference のこのページstd::hashには、に特化した言及std::optionalがありますが、オブジェクトが解放されたときの動作は指定されていません。私はさまざまな行動を考えることができます：
std::bad_optional_access一貫性を保つために、をスローする可能性がありますstd::optional::valuestd::optional<T>ます。このようにして、解放された 2 つのオブジェクトは同じハッシュを持つことになります。std::optional<std::hash<std::optional<T>>>[optional.hash]/3 で述べた C++14 CD:
oタイプのオブジェクトの場合、optional<T>ifは と同じ値に評価されます。bool(o) == truehash<optional<T>>()(o)hash<T>()(*o)
したがって、解放されたオブジェクトに対してハッシュ関数が何を返すかは不明です。
std::optionalC++14 には最終的に関連性がないため、それがもはや関連性があるかどうかはわかりません。Jonathan が言ったように、意図は (最初は標準に反映されていませんでしたが) 解放されたオプション オブジェクトのハッシュが未指定の値を返すことでした。
この意図は、 Fundamentals TSに反映されています。
アイデアは、標準ライブラリの実装が、解放されたものをどのように表現したいかを選択し、optional<T>それ自体を文書化するというものです。タイプごとに異なる値を選択でき、デバッグ モードとリリース モードでも異なる値を選択できます。