void f(int x) {
   if (x % 2) ++x;
   //теперь x это четное число
}

Даже при переполнении работает

Специализация шаред птра для массивов смеется над тобой.

конструктор unique_ptr(unique_ptr&& from) гарантированно оставляет nullptr в поле from и никак не прописывает это в типе
соответственно, невозможно реализовать перегрузку деструктора для unique_ptr

ну, на уровне типов - да. но блин. там же логика простейшая. и компилятор её всю видит. я удивлён, что он всё не оптимизировал в ноль

ха. прикольно. по ходу не важно, делаешь ты проверку или нет :)
https://gcc.godbolt.org/z/qws3Em

Встроенный delete обязан проверять. А деструктор уник птра тоже.
Effects: If get() == nullptr there are no effects. Otherwise get_deleter()(get()).

"тоже" -> "нет"?

Кастомный удалятор не обязан, потому что он не вызывается с нуллптр

ага. кажется что-то проясняется. там этот момент обсуждается в вопросах после доклада. оказывается, удалением аргументов занимается вызывающая сторона. Что на самом деле логично, если подумать о том, что только она может создать аргументы. Т.е. в данном случае вызывающая функция обязана удалить юникптр, который был передан в функцию, и она не знает, что с ним происходило в вызываемой функции. он мог обнулиться, а мог и нет. поэтому она обязана проверить. у меня в голове была другая абстрактная модель, в соответствии с которой освобождением параметров занимается вызываемая функция. по ходу, эта модель в данном случае не описывает наблюдаемое поведение.

хм, я тоже предполагал, что раз копия аргумента локальная для функции, то и удалиться он должен при выходе из функции (на вызываемой стороне)

ох с++. пишешь на нём 12 лет, а он всегда найдёт, чем тебя удивить. казалось бы даже в таких простых вещах

Да. Я говорил про Effects.

идти в @supapro

Спасибо

Кроме static_assert есть примеры declaration, которые ничего не декларируют?

а почему это static_assert считается declaration?

int; считается? Clang буквально так и жалуется:
>> warning: declaration does not declare anything

Так сделали, чтобы его можно было писать в любом скоупе

есть всякие std::declval, но это функция, а не декларация. А static_assert, наверное, оператор

хм, он реально считается декларацией? Интересно