在从 std::vector 移动的上调用 .clear(）、.shrink_to_fit(）、.empty(） 是否合

作为这两个问题的特定子案例：

移自向量总是空的吗？

我能对移出对象执行哪些操作？

人们想知道：在为移动的std::vector上调用.clear()、.chrink_to_fit()、.empty()是否合法？我可以问push_back()但我不知道这会给出什么，因为依赖从向量移动为空是不安全的。

显而易见的是，销毁以及来自新载体的分配是合法的。

std::vector<int> fs = getVec();
giveVecs(std::move(fs));
fs.empty();  // 1.?
fs.size();   // 2.?
fs.shrink_to_fit(); // 3.?
fs.clear(); // //4. ?
fs = {} ; // 5. Should be fine, but weird when we have .clear()
fs.push_back(1); // 

编辑：

我应该澄清一下，有些操作确实有先决条件：因此，(正如您可以在其他问题中读到的那样(，并非所有操作在移动后都是合法的。

因此，我的问题可以这样重申：三项行动中的任何一项是否有任何先决条件？问题的一个来源可能是与移动对象的分配器相关的细则。