Почему тривиально перемещаемый тип не может быть неявным типом жизни? ⇐ C++

[Anonymous]

Рассмотрим следующий код: < /p>

Код: Выделить всё

#include 

struct A trivially_relocatable_if_eligible final {
A() {}

A(A const&)            = delete;
A& operator=(A const&) = delete;

~A() {}
};

static_assert(std::is_implicit_lifetime_v); // true in clang-21.1.0-rc2
< /code>
Однако, согласно последним стандартам C ++ N5008 ( 11.2 /p16 [class.prop] < /em>): < /p>

Class SA является неявным классом. Предоставление пользователя или < /li>
(16.2) Он имеет по крайней мере один тривиальный приемлемый конструктор и тривиальный, не удаленный деструктор.std::is_implicit_lifetime_v

должен быть false , потому что не удовлетворяет (16.1) или (16.2) , и, следовательно, не является неявным типом жизни! тривиально перемещаемые типы и заменяемые типы должны быть определены как неявные типы жизни (как это делает Clang-21.1.0-RC2, но стандарт C ++, кажется, не делает это. Или просто мое недопонимание? https://www.open-std.org/jtc1/sc22/wg21 ... 86r13.html

Подробнее здесь: https://stackoverflow.com/questions/797 ... etime-type