我知道通常标准对从中移动的值没有太多要求：
N3485 17.6.5.15 [lib.types.movedfrom]/1:
在C++标准库中定义的类型的对象可以被移动 (12.8)。移动操作可以被明确地指定或隐含地生成。除非另有规定，否则这些移动后的对象应该放在一个有效但未指定状态。
我没有找到任何关于vector的内容明确排除它不符合这个段落。然而，我无法想出一个合理的实现，导致vector不为空。
是否有一些标准方面的规定我漏掉了，还是类似于在C++03中将basic_string视为连续缓冲区?
我来晚了，提供一份额外的答案，因为我认为当前没有完全正确的答案。
问题：
一个被移动的vector是否总是为空？
回答：
通常情况下是空的，但并不总是空的。
具体细节：
vector没有像某些类型一样定义标准化的被移动状态（例如，unique_ptr在被移动后等于nullptr），但是vector的要求并不多。
答案取决于我们是谈论vector的移动构造函数还是移动赋值运算符。在后一种情况下，答案还取决于vector的分配器。
vector<T, A>::vector(vector&& v)
这个操作必须具有常数复杂度。这意味着没有其他选择，只能从v中窃取资源来构建*this，使v处于空状态。无论分配器A是什么，类型T是什么，都是如此。
所以对于移动构造函数，是的，被移动的vector将始终为空。虽然这并没有直接说明，但这是由于复杂度要求和没有其他实现方式导致的。
vector<T, A>&
vector<T, A>::operator=(vector&& v)
allocator_traits<A>::propagate_on_container_move_assignment::value == true
(propagate_on_container_move_assignment评估为true_type)
在这种情况下，移动赋值运算符将销毁*this中的所有元素，使用*this的分配器释放容量，移动分配器，然后将内存缓冲区的所有权从v转移给*this。除了销毁*this中的元素外，这是O(1)复杂度操作。通常情况下（例如在大多数但不是所有的std::algorithms中），移动赋值的左侧在移动赋值之前具有empty() == true。
注意：在C++11中，std::allocator的propagate_on_container_move_assignment为false_type，但在C++1y（y == 4 we hope）中已更改为true_type。
在第一种情况下，移出的vector将始终为空。
allocator_traits<A>::propagate_on_container_move_assignment::value == false
&& get_allocator() == v.get_allocator()
(propagate_on_container_move_assignment的返回值为false_type，且这两个分配器相等)
在这种情况下，移动赋值运算符的行为类似于第一种情况，但有以下例外:
T，因此第二种情况也需要更多的T，即使第二种情况实际上并没有执行T的额外要求。在第二种情况下，移动后的vector将始终为空。
allocator_traits<A>::propagate_on_container_move_assignment::value == false
&& get_allocator() != v.get_allocator()
propagate_on_container_move_assignment评估为false_type，且两个分配器不相等)v转移到*this（资源是内存缓冲区）。在这种情况下，实现移动赋值运算符的唯一方法是有效地：typedef move_iterator<iterator> Ip;
assign(Ip(v.begin()), Ip(v.end()));
也就是说，将v中的每个单独的T移动到*this中。如果*this中有可用的capacity和size，则assign可以重复使用它们。例如，如果*this与v具有相同的size，则实现可以将v中的每个T移动分配给*this。这需要T是MoveAssignable的。请注意，MoveAssignable不需要T具有移动赋值运算符。复制赋值运算符也可以满足要求。MoveAssignable只是意味着T必须可以从rvalue T中进行分配。
*this的size不足够，则需要在其中构造新的T。这要求T是可MoveInsertable的。就我所知，对于任何明智的分配器，MoveInsertable归结为与MoveConstructible相同的事情，这意味着可以用右值T构造它（并不意味着存在T的移动构造函数）。vector通常不会为空。它可能被移动了元素。如果这些元素没有移动构造函数，则这可能等效于复制赋值。但是，并没有强制要求这样做。实现者可以自由地执行v.clear()，使v为空。我不知道有哪个实现这样做，也不知道任何这样做的动机。但我没有看到任何禁止它的东西。
David Rodríguez报告说，在这种情况下，GCC 4.8.1调用v.clear()，导致v为空。libc++不会这样做，因此v不为空。两个实现都是符合规范的。
v.clear()[...] 我不知道是否有任何实现这样做。 GCC 4.8.1正是这样做的。 - David Rodríguez - dribeasswap与分配器可能被更改的其他操作区分开来。23.2.1/7说明了分配器何时可以更改，并且它提到，除非分配器在交换时传播或两个对象中的分配器相同，否则swap是未定义的。 - David Rodríguez - dribeasswap来实现 - 尤其是如果没有涉及分配器。这样做有几个原因：
swap必须被实现auto operator=(vector&& rhs) -> vector&
{
if (/* allocator is neither move- nor swap-aware */) {
swap(rhs);
} else {
...
}
return *this;
}
allocator_traits<allocator_type>::propagate_on_container_swap::value敏感，而标准只允许它对allocator_traits<allocator_type>::propagate_on_container_move_assignment::value敏感。 - Billy ONealpropagate_on_container_move_assignment 要求分配器本身被移动赋值。你上面的例子交换了分配器，这是不允许的。 - Billy ONealat将是一个模板参数，不一定是std::allocator_traits。） - aschepler我在其他回答中留下了这样的评论，但是还没来得及完全解释就匆忙离开了。移动自 vector 的结果必须始终为空，或者在移动赋值的情况下，必须为空或前一个对象的状态（即交换），否则无法满足迭代器失效规则，即移动不会使它们失效。考虑：
std::vector<int> move;
std::vector<int>::iterator it;
{
std::vector<int> x(some_size);
it = x.begin();
move = std::move(x);
}
std::cout << *it;
X u(rv)
X u = rv
post: 在此构造之前，u应该等于rv的值
a = rv
a将等于rv在此赋值之前的值
迭代器有效性是容器的一部分价值。尽管标准没有直接明确说明这一点，但我们可以看到，例如：
begin()返回一个指向容器中第一个元素的迭代器。end()返回一个过容器末端的迭代器。如果容器为空，则begin() == end()；
任何实际上从源代码的元素移动而不是交换内存的实现都将是有缺陷的，因此我建议任何标准措辞说否则都是有缺陷的-最重要的是因为标准实际上在这一点上并不非常清楚。这些引用来自N3691。
move = std::move(x); 会使 it 失效。你似乎在暗示 it 现在是指向 move 的第一个元素的迭代器。但我在标准中找不到任何支持这两种情况的依据。 - ascheplerswap和移动赋值有不同的特定要求。移动赋值的要求明确说明，如果分配器在移动赋值时没有传播，则可以移动赋值(注意元素，而不是容器的数据结构)。这与任何要求迭代器仍然有效且引用目标容器的规则相矛盾。 - David Rodríguez - dribeasC outer; C::iterator it; { C inner; it=inner.end(); swap(outer,inner); } /* it? */。块完成后，it可能有效也可能无效。C a = ...; C b = a; C::iterator it = b.begin(); b.reserve(b.size()*2); assert(a==b);然而迭代器已经失效了... - David Rodríguez - dribeasreserve()操作期间，std::vector的值不会改变，但迭代器将失效。具有不同容量、相同大小和完全相同顺序的元素集的两个向量相等。 vector<int> a = f()，b = a; 迭代器it = b.begin(); b.reserve(2*a.size()); reserve()操作不会改变b的值，但它肯定会使迭代器失效。 - David Rodríguez - dribeas
class vector<T> { private: T* m_data; size_type m_size; size_type m_capacity; bool m_this_owns_data; };。 - ascheplervector与另一个使用相同T的vector的存储别名都是非法的。 - Puppy