C++ vector扩容解析noexcept的应用场景有哪些？相信很多没有经验的人对此束手无策，为此本文总结了问题出现的原因和解决方法，通过这篇文章希望你能解决这个问题。

超过10年行业经验，技术领先，服务至上的经营模式，全靠网络和口碑获得客户，为自己降低成本，也就是为客户降低成本。到目前业务范围包括了：网站制作、成都网站制作，成都网站推广，成都网站优化，整体网络托管，微信小程序定制开发，微信开发，重庆APP软件开发，同时也可以让客户的网站和网络营销和我们一样获得订单和生意！

c++11提供了关键字noexcept，用来指明某个函数无法——或不打算——抛出异常：

void foo() noexcept; // a function specified as will never throw
void foo2() noexcept(true); // same as foo
void bar(); // a function might throw exception
void bar2() noexcept(false); // same as bar

所以我们需要了解以下两点：

noexcept有什么优点，例如性能、可读性等等。

需不需要在代码中大量使用noexcept。

noexcept优点

我们先从std::vector入手来看一下第一点。

我们知道，vector有自己的capacity，当我们调用push_back但是vector容量满时，vector会申请一片更大的空间给新容器，将容器内原有的元素copy到新容器内：

但是如果在扩容元素时出现异常怎么办？

申请新空间时出现异常：旧vector还是保持原有状态，抛出的异常交由用户自己处理。

copy元素时出现异常：所有已经被copy的元素利用元素的析构函数释放，已经分配的空间释放掉，抛出的异常交由用户自己处理。

这种扩容方式比较完美，有异常时也会保持上游调用push_back时原有的状态。

但是为什么说比较完美，因为这里扩容还是copy的，当vector内是一个类且持有资源较多时，这会很耗时。所以c++11推出了一个新特性：move，它会将资源从旧元素中“偷”给新元素（对move不熟悉的同学可以自己查下资料，这里不展开说了）。应用到vector扩容的场景中：当vector中的元素的移动拷贝构造函数是noexcept时，vector就不会使用copy方式，而是使用move方式将旧容器的元素放到新容器中：

利用move的交换类资源所有权的特性，使用vector扩容效率大大提高，但是当发生异常时怎么办：
原有容器的状态已经被破坏，有部分元素的资源已经被偷走。若要恢复会极大增加代码的复杂性和不可预测性。所以只有当vector中元素的move constructor是noexcept时，vector扩容才会采取move方式来提高性能。

刚才总结了利用noexcept如何提高vector扩容。实际上，noexcept还大量应用在swap函数和move assignment中，原理都是一样的。

noexcept使用场景

上面提到了noexcept可以使用的场景：

• move constructor
• move assignment
• swap
   

很多人的第一念头可能是：我的函数现在看起来明显不会抛异常，又说声明noexcept编译器可以生成更高效的代码，那能加就加呗。但是事实是这样吗？

这个问题想要讨论清楚，我们首先需要知道以下几点：

函数自己不抛异常，但是不代表它们内部的调用不会抛出异常，并且编译器不会提供调用者与被调用者的noexcept一致性检查，例如下述代码是合法的：

void g(){
  ...    //some code
}
void f() noexcept
{
  … 			//some code
  g();
}

网页名称：C++vector扩容解析noexcept的应用场景有哪些-创新互联
标题URL：http://chengdu.cdxwcx.cn/article/ijssd.html