我可以调整从中移出的矢量的大小吗？

我有一些代码，我想在其中绝对确保移出的std::vector不会留下秘密数据(考虑一下加密密钥管理)。在我的类的Move构造函数中，我执行如下操作：

X(X&& rhs): secret_vector{std::move(rhs.secret_vector)}{
    rhs.secret_vector.resize(N);
    safe_zero(rhs.secret_vector); // zero out all elements
    rhs.secret_vector.resize(0);
}

如您所见，我在从秘密向量中移动后重新使用了它。我看了

Reusing a moved container?

但我是否能做到这一点并不是绝对清楚的(我不明白什么是"前提条件")。

我的问题是：我是否可以调整移出std：：VECTOR的大小，对其执行一些操作，然后将其调整回零？

---

解决方案

我的问题是：我是否可以调整移出std：：VECTOR的大小，对其执行一些操作，然后将其调整回零？

从对象移动的对象应处于未指定但有效的状态。

因此您有权调整它的大小(不需要任何前提条件)。Safe_Zero，然后清除它。

(我不明白什么是"前提条件")。

对象必须满足某些状态条件才能不调用UB。

例如，operator[](std::size_t i)要求i < size()。

resize()、clear()没有要求。