稳定性
我的补充
第二章的标题叫做“保持稳定性和兼容性”，兼容性在前面说过了，指的是兼容C标准。关于稳定性，我理解是指编写代码时不易出错，帮助养成好的编码习惯，类似const关键字起的作用。
如果不用这些特性，可以做到代码功能完整，甚至性能也不错。用了这些特征，防止日后编写代码时出错，防止其他人修改代码时出错，防止库的调用者出错。
断言与静态断言
运行时断言assert一直都有，C++11新增了静态断言宏static_assert。
都是判断为true时继续走，false时中止，static_assert可以加消息。
// 断言，运行时进行判断
assert(features.size() > 0);
// 静态断言，编译时进行判断
static_assert(sizeof(st) == sizeof(index), "recognifion feature should have same size for int64");
要持有这样的观念，断言是开发阶段debug用的，运行时要disable掉。编译宏NDEBUG可以起到release时使断言失效的效果，不要在代码里定义NDEBUG，用就行，这是编译选项做的。
#ifdef NDEBUG
/*
* If not debugging, assert does nothing.
*/
#define assert(x) ((void)0)
#else /* debugging enabled */
// some code
#endif /* NDEBUG */
noexcept修饰符与noexcept操作符
noexcept可以吃掉内部抛出的异常，外部代码就不用处理了，这样代码运行更可控一些。
吃掉的含义是如果真的发生异常了，就地中止，调用std::terminate()。
// finally() - convenience function to generate a final_action
template <class F>
inline final_action<F> finally(const F& f) noexcept
{
return final_action<F>(f);
}
noexcept还可以作为操作符，noexcept等同于noexcept(true)，不抛异常，如果是noexcept(false)则为会抛出异常，后者比较少见。
作为修饰符的noexcept
https://zh.cppreference.com/w/cpp/language/noexcept_spec
作为操作符的noexcept
https://zh.cppreference.com/w/cpp/language/noexcept
就地初始化成员变量
#include <string>
using namespace std;
class Init {
public:
Init(): a(0){}
Init(int d): a(d){}
private:
int a;
const static int b = 0;
int c = 1; // 用double或char*效果一样，C++11可以，C++98/03不行
static int d = 0; // C++11无法通过编译
static const double e = 1.3; // 非整形或者枚举，C++11无法通过编译
static const char * const f = "e"; // 非整形或者枚举，C++11无法通过编译
};
int main() {
Init lala;
return 0;
}
用g++编译int c会报错（其实GNU处理成了warning），用g++ -std=c++11就没事。
细心的你会发现用g++时，double e那句没报错，是因为GNU对C++的扩展，并不是标准的。
image.png
初始化列表和就地初始化可以同时存在，同时存在时，起效的是构造函数的初始化列表。就地初始化在有多个构造函数时很有用，在其中有的构造函数没有初始化列表时起效。
网友评论