如何解决为什么所有合成的复制控制操作都是 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。
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。