13518219792
C++ vector扩容解析noexcept的应用场景有哪些？相信很多没有经验的人对此束手无策，为此本文总结了问题出现的原因和解决方法，通过这篇文章希望你能解决这个问题。
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可以使用的场景：
很多人的第一念头可能是：我的函数现在看起来明显不会抛异常，又说声明noexcept编译器可以生成更高效的代码，那能加就加呗。但是事实是这样吗？
这个问题想要讨论清楚，我们首先需要知道以下几点：
函数自己不抛异常，但是不代表它们内部的调用不会抛出异常，并且编译器不会提供调用者与被调用者的noexcept一致性检查，例如下述代码是合法的：
void g(){
... //some code
}
void f() noexcept
{
… //some code
g();
} 
