为什么向量被认为是nothrow_move_constructible？

Question

向量移动构造函数的规范是(复制出标准):

vector(vector&&);

注意缺乏noexcept.但是gcc 4.8和Clang 3.2报告都std::is_nothrow_move_constructible<std::vector<int>>::value返回true(即1):

#include<vector>
#include<iostream>

int main()
{
  std::cout << std::is_nothrow_move_constructible<std::vector<int>>::value << '\n';
}

造成这种明显差异的原因是什么？

Answer 1

该标准允许实现加强方法的异常规范

17.6.5.12异常处理的限制[res.on.exception.handling]

⁴ C++标准库中定义的析构函数操作不应抛出异常.C++标准库中的每个析构函数都应该表现得好像具有非抛出异常规范.除非另有说明,否则C++标准库中定义的没有异常规范的任何其他函数都可能抛出实现定义的异常.¹⁹¹实现可以通过添加显式异常来加强此隐式异常规范.¹⁹²