move constructor std::map в MSVC STL может кидать исключение, поэтому vector::resize пытается звать copy constructor, что приводит к ошибке компиляции (аналогичный случай недавно разбирали в этом чате).
Все компиляторы правы.

это не работает, потому что static_cast даёт double c ближайшим значением, а не с таким же битовым паттерном, как у uint64. А reinterpret_cast, насколько я помню, между примитивными типами тоже не работает.

Не, ты не понял, это работает.

ЭТО ТАК И РАБОТАЕТ!

Реинтерпрет не работает? С какого?

Он же как раз и нужен для таких случаев

а почему тогда слегка модифицированный пример не кидает исключение?
https://godbolt.org/z/kqfyeP

потому что вы запускаете его не под MSVC?

Microsoft Visual Studio Community 2019 Версия 16.3.2 VisualStudio.16.Release/16.3.2+29326.143

А вот и нет, он для указателей (и, возможно, ссылок, не помню)
https://godbolt.org/z/H8fbm5

то есть он-то для таких случаев нужен, но не работает

А вот так исключение будет https://godbolt.org/z/xacu7B
В вашем примере действительно не случается resize в runtime, но компилировать-то его надо.

Все верно, Вы правы )

Очередной вопрос из серии "а кто прав?" - https://godbolt.org/z/PBUqJy

Суть: есть некий библиотечный некопируемый класс A, которому по некоторым причинам на мув-конструктор не навесили noexcept. Также есть пользовательский класс B, который хранит экземпляр класса A как поле. Пользователь уверен, что A(A&&) никогда не бросит исключение и объявляет B(B&&) noexcept = default;, а затем хочет сложить объекты класса B в вектор.

Итог:
gcc не компилирует с ассертом result type must be constructible from value type of input range
clang радостно проглатывает.

Вопросы: кто прав? как заставить компилятор сгенерировать B(B&&) noexcept = default; действительно  noexcept, не переписывая его тело вручную (что решает проблему)?

Ого интересный вопрос

>на мув-конструктор не навесили noexcept
Это ошибка в классе. Как тогда вектору удовлетворить стронг ексепшен гаранти?

Я как пользователь библиотеки гарантирую, что A(A&&) ничего не бросит, потому и объявляю B(B&&) как noexcept

надо подтвердить это ручным ктором)

Почему у меня на годболте по умолчанию включается огромный шрифт в окне с ошибками?

Потому что у меня монитор маленькой?

Это неформально. На заборе тоже написано.