Hash của một std thảnh thơi :: tùy chọn <T> đối tượng là gì?

Question

This page từ cppreference đề cập rằng std::hash đã được chuyên biệt cho std::optional, nhưng không chỉ định hành vi khi đối tượng được thảnh thơi. Tôi có thể nghĩ đến hành vi khác nhau:

• Nó có thể ném một std::bad_optional_access, để phù hợp với std::optional::value
• Nó có thể trở lại cùng bảng băm cho mỗi thảnh thơi std::optional<T>, cách 2 đối tượng thảnh thơi này sẽ có cùng bảng băm.
• Nó có thể trở lại một std::optional<std::hash<std::optional<T>>>

Answer 1

C++ 14 CD nói trong [optional.hash]/3:

Đối với một đối tượng o loại optional<T>, nếu bool(o) == true, hash<optional<T>>()(o) tổ chức thẩm định với cùng giá trị với hash<T>()(*o).

Vì vậy, tôi sẽ nói nó không xác định hàm băm trả về cho một đối tượng thảnh thơi.

Answer 2

Tôi không chắc chắn nếu nó có liên quan nữa, vì C++ 14 không có std::optional cuối cùng. Ý định (mặc dù không được phản ánh trong tiêu chuẩn ban đầu) luôn luôn là băm của một đối tượng tùy chọn thảnh thơi trả về một giá trị không xác định, như Jonathan nói.

Mục đích này được phản ánh trong Fundamentals TS.

Ý tưởng là việc triển khai Thư viện chuẩn chọn cách nó muốn đại diện cho một hình ảnh được giải phóng optional<T> và tự ghi lại. Nó có thể chọn một giá trị khác nhau cho các loại khác nhau, và cũng có một giá trị khác nhau trong chế độ gỡ lỗi và phát hành.