brevzin / cpp_proposals

My WG21 proposals
33 stars 22 forks source link

Allow `if` testability of `std::meta::info` objects #166

Closed andralex closed 1 day ago

andralex commented 1 month ago

Title

andralex commented 1 month ago

I should also mention the necessity of hashing and perhaps comparing for inequality. People will be liable to define and use hashtables that map e.g. one type to another:

std::unordered_map<std::meta::info, std::meta::info> replacement_table;
atomgalaxy commented 1 month ago

Probably could use the constexpr type comparison paper for the hashing bit...

On Tue, May 14, 2024, 18:39 Andrei Alexandrescu @.***> wrote:

I should also mention the necessity of hashing and perhaps comparing for inequality. People will be liable to define and use hashtables that map e.g. one type to another:

std::unordered_map<std::meta::info, std::meta::info> replacement_table;

— Reply to this email directly, view it on GitHub https://github.com/brevzin/cpp_proposals/pull/166#issuecomment-2110781190, or unsubscribe https://github.com/notifications/unsubscribe-auth/AAA5R5JRQTH3PWBOOV6L25DZCJD57AVCNFSM6AAAAABHWMZEDCVHI2DSMVQWIX3LMV43OSLTON2WKQ3PNVWWK3TUHMZDCMJQG44DCMJZGA . You are receiving this because you are subscribed to this thread.Message ID: @.***>

brevzin commented 1 day ago

I think we decided not to do this one.