为什么所有合成的复制控制操作都是 noexcept by dedault？

问题描述

出于好奇，我想知道默认（综合）复制控制操作的默认异常规范。

这是我尝试过的：

struct Foo{
   Foo() = default;
   Foo(Foo const&) = default;
   Foo(Foo&&) = default;
   Foo& operator=(Foo const&) = default;
   Foo& operator=(Foo&&) = default;
   ~Foo() = default;
};


int main(){

    Foo f1,f2;
    std::cout << noexcept( Foo{} ) << '\n';
    std::cout << noexcept( Foo(f2) ) << '\n';
    std::cout << noexcept( Foo(std::move(f1)) ) << '\n';
    std::cout << noexcept( f1.operator=(f2) ) << '\n';
    std::cout << noexcept( f1.operator=(std::move(f2)) ) << '\n';
    std::cout << noexcept( f1.~Foo() ) << '\n';
  
    std::cout << "\ndone!\n";    
}

输出：

1
1
1
1
1
1

• 为什么所有合成的特殊成员都是noexcept？

解决方法

最大的原因：性能

以std::vector为例。当它增长时，它必须复制缓冲区以维护异常保证，如果发生异常，则保留原始向量。如果元素类型是 noexcpt move 可构造的，那么向量可以移动元素，而不必担心维护异常保证如果发生异常，原始向量不会丢失。

还有其他容器/函数利用了同样的东西，这样做是性能上的胜利。

必须要求您自己执行此操作将是一种浪费，因为编译器完全有能力推断默认值是否可以为 noexcept。