std::vector::resize(size_type) 需要 CopyInsertable？

Question

这个问题是在我回答this another question时提出的。

N333723.3.6.3 “向量容量”说（在 770 页）：

void 调整大小(size_type sz);

效果：如果sz <= size()，相当于erase(begin() + sz, end());。如果size() < sz，则追加 sz - size() 序列的值初始化元素。

要求：T 应可复制插入到 *this 中。

但是，clang++ says it's okay though T is not copyable. 我认为resize(size_type) 只需要可破坏/可移动/默认可构造是有道理的。如果sz <= size 则销毁，如果size() < sz 则追加（使用默认构造，如果容量不足则销毁和移动）。

什么是真理？是标准缺陷吗？还是我和clang++都搞错了？

Answer 1

你是对的。这是 C++11 中的一个缺陷，已由 http://cplusplus.github.io/LWG/lwg-defects.html#2033 为 C++14 修复

目前的措辞是：

效果：如果是sz < size()，则从序列中删除最后一个size() - sz 元素。否则，追加 sz - size() 默认插入到序列中的元素。

要求：T 应为 MoveInsertable 和 DefaultInsertable 为 *this。

Destructible 的要求在表 95 中，适用于所有容器上的所有操作，而不仅仅是resize()。