в стандарте (почему кстати?). В libstdc++ 11 они определены как = default;. И неявно являются noexcept(true). Из-за этого некоторые трэйты дают разный результат на разных платформах. Ошибка ли это в libstdc++ определить mov-c-tor-ы как noexcept (неявно)?
Ошибка не является технической, так как стандарт явно не требует, чтобы move-конструкторы unordered_* были объявлены как noexcept. Это может быть решением, которое приняла команда разработчиков libstdc++, чтобы обеспечить совместимость с предыдущими версиями и/или другими компиляторами. Однако, это может вызывать разные результаты для трейтов на разных платформах, что может быть нежелательным. Если разница в поведении вызывает проблемы в вашем коде, вы можете явно указать, что move-конструкторы unordered_* noexcept, используя специальные трейты, такие как std::is_nothrow_move_constructible или std::is_nothrow_move_assignable, чтобы получить одинаковое поведение на разных платформах.
ахуй чел скопипастил чатжпт
unordered_map& operator=(unordered_map&&) noexcept(allocator_traits<Allocator>::is_always_equal::value && is_nothrow_move_assignable_v<Hash> && is_nothrow_move_assignable_v<Pred>); красивую ссылку дать сложно. ищите noexcept в http://eel.is/c++draft/unord
Обсуждают сегодня