C++编译器何时推断 no，除了方法?

我只是注意到我的一个std::vector<Foo>在调整大小时正在复制而不是移动其元素 - 即使Foo有一个移动 ctor：

class Foo {
// ...
Foo(Foo&& other) : id_(other.id_), ptr_(other.ptr_), flag(other.flag)
{
other.flag = false;
};
// ...
int   id_; 
void* ptr_; 
bool  flag;
}

然后我读到：

在 std：：vector 上调整大小不会调用移动构造函数

这提醒了我，只有当元素的移动 ctor 被声明为noexcept时，std::vector才会使用移动构造。当我添加noexcept时，移动ctor被调用。

我的问题是：为什么给定移动 ctor 的代码，编译器不确定它是noexcept的？我的意思是，它可以知道一个事实，即不能抛出异常。另外，标准是否不允许推断noexcept，或者不仅仅是由我的特定编译器完成的？

我在GNU/Linux上使用GCC 5.4.0。