noexcept签名不影响copy/move的选择，这是VC的bug吗?

cdsfiui

[Effective modern C++]上面说，vector::push_back当capacity不够的时候，会申请一块新的内存，把原有的内容copy或者move过去。
根据一个类的move构造函数是否是noexcept来判定,这样能够保证迁移到新的内存块的时候，有exception safety.

于是我做了一个实验

1. 
   
2. #include<iostream>
   
3. #include<vector>
   
4. using namespace std;
   
5. struct A{
   
6.     A(){}
   
7.     A(const A&){ cout << "copy ctor\n"; }
   
8.     A(A&&){ cout << "move ctor\n"; }//是否noexcept，影响结果
   
9. };
   
10. int main()
    
11. {
    
12.     vector<A> vi(2);
    
13.     size_t c = 0;
    
14.     cout<<"========\n";
    
15.     for (size_t i = 0; i<4; ++i)
    
16.     {
    
17.         cout<<"push_back...........\n";
    
18.         vi.push_back(A());
    
19.         if (vi.capacity()>c)
    
20.         {
    
21.             c = vi.capacity();
    
22.             cout << c << endl;
    
23.         }
    
24.     }
    
25.     return 0;
    
26. }
    

复制代码

GCC/clang运行这个程序，push_back如果capacity不够了，那么会把原有的元素copy一份。如果我把move语义构造函数改成A(A&&)noexcept签名，那么调用的就是把原有的元素move一份。
这个和书上说的是一样的。

但是VC2013/2015我做的测试，无论我有没有加上noexcept，都是用move语义去搬移元素到新的内存块。这是VC实现的问题吗?
还是说，VC有特别的编译选项控制exception safe，默认是关闭的，打开了才是和GCC/clang一样的行为?

谢谢