Подразумевается ли тривиально копируемый тривиально перемещаемый? ⇐ C++

[Anonymous]

c ++ 26 введет std :: is_trivially_relocatable_v , а автор предложения гласит: тривиально копируется тривиально перемещаемое. Код: < /p>

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

struct A {
int  n{};
int* pn{};
};

static_assert(std::is_trivially_copyable_v); // true

int main() {
auto a = A{};
a.n    = 1;
a.pn   = &a.n;
auto b = A{};
std::memcpy(&b, &a, sizeof(a));
// Now, b.pn points to a.n, rather than b.n.
// So, A should not be trivially relocatable.
}

Мой вопрос:
тривиально копируется>

Подробнее здесь: https://stackoverflow.com/questions/796 ... elocatable