Чувник типа C ++, чтобы сказать «тривиально подвижное» - примеры ⇐ C++

[Anonymous]

Я бы определил «тривиально подвижный» по < /p>


Вызов конструктор перемещения (или оператор назначения перемещения)
эквивалентен Чтобы Memcpy байты до нового пункта назначения и не вызовать
Destructor на объекте перемещенного из. /> Например, если вы знаете, что это свойство содержит, вы можете использовать Realloc < /code> для изменения размера std :: vector или пул памяти. < /p>

Типы сбоя. может Найти.
Мне интересно, есть ли это (лучшее) имя, обсуждается ли оно и есть ли некоторые библиотеки, использующие такую ​​черту. < /p>

Изменить 1: < /p>

Из первых нескольких комментариев, std :: is_trivially_move_constructible < /code> и std :: is_trivially_move_assignable не эквивалентны тому, что я ищу.
Я считаю, что они дадут истинно для типов, содержащих указатели, так как чтение вашего собственного участника, похоже, подпадает под тривиальным "Операция. < /p>

Редактировать 2: < /p>

При правильном реализации типы, которые указывают на себя, не будут Trivially_move_constructulemable или Move_assignable, поскольку оператор назначения CTOR / MOVE больше не является тривиальным.
Хотя мы должны быть в состоянии сказать, что уникальный_Птр может быть безопасно скопирован в новое место, при условии, что мы не называем его деструктором. < / / P>

Подробнее здесь: https://stackoverflow.com/questions/457 ... xamples-of