АК
надо подтвердить это ручным ктором)
Тогда почему компиляторы расходятся во мнениях? Один игнорирует мой noexcept, другой нет?
Size: a a a
2020 April 27
EP
это к ним надо обратиться лучше, мб кто-то вольно рпзрешает, мб баг
AB
Кстати, в вижаке вроде часть -- на С++
ucrt на плюсах, с лямбдами и прочим
EP
мсвц вон столько всего даёт делать нестандартного
АК
Это неформально. На заборе тоже написано.
Мне нужна цитата из стандарта, которая объясняет ситуацию. Формально я явно пишу
noexcept, на практике - хз чтоАК
Я имею право написать
void f() noexcept { throw 1; }v
Тогда почему компиляторы расходятся во мнениях? Один игнорирует мой noexcept, другой нет?
А какие требования внутри вектора? Он обязан делать мув иф ноексепт?
v
Я имею право написать
void f() noexcept { throw 1; }Ну да. Будет терминат.
АК
А какие требования внутри вектора? Он обязан делать мув иф ноексепт?
Конечно. Иначе бы
std::vector<std::unique_ptr<T>> нельзя было использоватьDF
Кстати да
АК
Я ожидаю такое поведение: когда я пишу
B(B&&) noexcept = default, сгенерируется дефолтный мув-конструктор, который будет иметь noexcept (и если перемещение A выбросит исключение, меня устроит terminate).v
Мне нужна цитата из стандарта, которая объясняет ситуацию. Формально я явно пишу
noexcept, на практике - хз чтоЧто это за прикол.
Шланг вывел да, а гцц нет.
static_assert(std::is_nothrow_move_constructible_v<B>, "");Шланг вывел да, а гцц нет.
DF
Вот и разгадка
DF
У гцц оно на поля смотрит
DF
И типа дефолт это учитывает
DF
Ну как с дефолт деструктором
АК
Andrey Davydov
В C++20, кстати это поменяется, компилятор начнёт верить написанной программистом exception specification (так же как и для обычной не defaulted функции).
^
я вот что нашёл
я вот что нашёл
DF
В гцц видимо нет