《Effective Modern C++》- 极精简版 5-14条

本文章属于专栏《业界Cpp进阶建议整理》

继续上篇《Effective Modern C++》- 极精简版 1-4条。本文列出《Effective Modern C++》的5-14条的个人理解的极精简版本。

Item5、优先考虑auto而非显示类型声明
- auto的优势：
  - 强制变量初始化
  - 在返回部分场景，会返回一些晦涩的类型，甚至编译器才知道的类型
  - 返回的闭包（可以带有自变量的函数）类型，如果把auto改为std::function，std::function比auto推导的消耗更多，因为std::function可能出现堆分配的情况。（在这类函数在一个工业级程序中执行频率，大概率很低，这里的性能提升对整个程序微乎其微）
- 个人理解：auto在大型工程中，十分影响可读性，这也是大型Python工程维护成本高的原因之一。我的习惯是，用户类和简单的内置类使用显示声明，只在变量作用范围小，类型复杂且不需要理解的情况下使用，控制auto变量的传递范围。如STL容器迭代。
Item6、部分场景不要用auto
- 元素为bool的容器，返回元素时，不是bool类型，而是一个自建类型，这个时候推导可能不符合预期。因为cpp，禁止对bits引用
Item7、区分使用 () 和 {} 创建对象
- 个人理解：尽量使用{}来做初始化，因为它不允许导致数据损失的隐式转换（编译时报错）。所以{}具有更好的一致性、类型安全性
Item8、优先考虑nullptr而不是0或者NULL
- 0和NULL都不是指针类型，在函数重载时会有问题，在模板推导时，他们会被推导为整形（其中0是int，NULL是int或者long）
- nullptr是一个类，能够隐式转换为任何内置类型的指针，在模板推导时，可以被推导为std::nullptr_t，然后可以转换为任何类型的指针
Item9、优先考虑using而不是typedef
- using 比teypdef应用范围更广。优先使用using，只有一种情况只能用typedef
Item10、使用限域enum，而不是全域
- 有以下优点
  - 防止名字泄露
  - 可以被前置声明
  - 不会被隐式转换为整形
- 注意，想把限域的值作为数字使用
  - 全域时，用v[MyType_1]
  - 非全域时，用v[static_cast<std::size_t>(MyField::MyType_1)]
Item11、使用delete，而不是私有化不想用的函数
- 任何函数都可以使用delete
- 私有化，还是可能被客户端调用或者被friend函数调用
Item12、在override时，始终加上override关键字
- 当你表明派生类的某个函数是override时，但是实际没有产生override效果时，编译器会报错。因为override的规则复杂，很容易漏掉
  - 基类函数必须是virtual
  - 基类和派生类函数的返回值必须兼容（c++11标准里面不是用的相同，而是用的兼容，但是目前发现能隐式转换的内置类型，也是不能override的）
  - 基类和派生类函数常量性constness必须完全一样
  - 基类和派生类函数形参类型必须完全一样
  - 基类和派生类函数名必须完全一样（除非是析构函数)
  - 返回值不同时，不会发生override。在添加override关键字时，编译器会报错
  - 函数的引用限定符（reference qualifiers）必须完全一样。【c++11新增】
- 个人见解：这条是一个通用的思想，无论是语法还是业务的规则模糊或者复杂时，把使用者的期望明确地持续展示，减少维护成本，和出错概率
Item13、优先使用const_iterator，而不是iterator
- 核心原因是const语意更清晰，且const_iterator比iterator在编译器中更容易被优化，性能可能更好
- 在c++11中，成员函数有cbegin()，cend()，通过它们得到的iterator就是const_iterator。
- 另外注意非成员函数中，c++11有std::begin()和std::end()，但是没有std::cbegin()和std::cend()，这是C++11标注的疏漏，在c++14中补充上了
Item14、如果函数不抛出异常，请加上noexcept
- 个人理解：这个是一个修饰符，也是编码者负责的，告诉编译器这个函数不会抛出异常，编译器可以做更多优化，减少运行时开销。但如果运行时实际抛了异常，而该函数被标记为 noexcept，程序会调用 std::terminate 来终止程序。