《Effective Modern C++》- 极精简版 22-29条

本文主要是介绍《Effective Modern C++》- 极精简版 22-29条，希望对大家解决编程问题提供一定的参考价值，需要的开发者们随着小编来一起学习吧！

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

继续上篇《Effective Modern C++》- 极精简版 15-21条。本文列出《Effective Modern C++》的22-29条的个人理解的极精简版本。

Item22、当使用Pimpl惯用法，请在实现文件中定义特殊成员函数（由编译器自动生成的）
- 对于std::unique_ptr类型的pImpl指针，需要在头文件的类里声明特殊的成员函数，但是在实现文件里面来实现他们。即使是编译器自动生成的代码可以工作，也要这么做。
- 个人理解：不止是Pimpl惯用法，是在类中有自定义类型指针时，都需要关注编译器默认给类生成的特殊函数是否符合预期
Item23、std::move和std::forward
- 形参永远是左值或左值引用
- 左值引用是不会调用拷贝或者移动函数
- std::move和std::forward除了类型转换，什么都不做
  - std::move()
    - 永远返回右值引用（也只有这个作用，它也不保证使用后就能调用移动函数）
    - 当输入参数是一个被const修饰的变量时，调用的是拷贝，而不是移动
  - std::foward<T>()
    - 一般用在，在模板中，保证转发的类型不变（左值还是左值引用，右值还是右值引用）
      - 主要是形参永远为左值，该函数需要在形参由右值转换而来时（这个信息藏在模板类型T中），将左值转换为右值
- 个人理解：std::move的核心作用是将值转为右值引用，而右值引用本身也是语法糖，不涉及任何逻辑。而std::forward是为了解决“形参永远是左值或左值引用”导致的函数A的参数传递给函数B时，右值引用在函数内部被转为了左指引用的问题。
Item24、区分通用引用和右值引用
- 个人理解：对模板来说，T&&修饰的、需要推导的（只有模版和auto），就是通用引用，不带的就是右值引用
Item25、对右值引用使用std::move，对通用引用使用std::forward
- 个人理解：这里并不绝对，而是要理解Item23。另外一个常用的知点是局部对象的返回，编译器首先尝试RVO，RVO失败时，会返回右值引用（返回赋值时，会优先找调用右值引用的移动函数，没有时，右值引用可以传递给const左值引用，这时候调用拷贝函数）
Item26、避免在通用引用上重载
- 对通用引用形参的函数进行重载，通用引用函数的调用机会几乎总会比你期望的多得多。
- 完美转发构造函数是糟糕的实现，因为对于non-const左值，它们比拷贝构造函数而更匹配，而且会劫持派生类对于基类的拷贝和移动构造函数的调用。
- 个人理解：核心原因是，只要类型不是精确匹配（甚至包括const描述），所有的函数都会调用T&&的版本
Item27、通用引用的替代品
- 个人理解：不管是模版（包括了通用引用），还是重载，或者通过用户传入的类型分类，本质都是通过输入的标识（用户或者编译器），跳转到指定逻辑。模版代码量最少，规则最繁琐，反之用户代码量最大，规则最简单。没有谁最好，每个都有最适合的场景
Item28、引用折叠
- 对于通用引用T&&的推导，传入左值/左值引用，T会被推导为左值引用，传入右值/右值引用时，T会被推导为非引用（注意，以传入int&&为例，传入参数本身还是右值引用，只是函数内部会当作int）
- 通用引用不是一种新的引用，它实际上是满足以下两个条件下的右值引用：
  - 类型推导区分左值和右值。T类型的左值被推导为T&类型，T类型的右值被推导为T。
  - 发生引用折叠
Item29、假定移动操作不存在、成本高
- 存在几种情况，C++11的移动语义并无优势：
  - 没有移动操作：要移动的对象没有提供移动操作，所以移动的写法也会变成复制操作。
  - 移动不可用：进行移动的上下文要求移动操作不会抛出异常，但是该操作没有被声明为noexcept。
  - 移动不会更快：要移动的对象提供的移动操作并不比复制速度更快。
- 在已知的类型或者支持移动语义的代码中，才能确定使用了移动语义