差别

这里会显示出您选择的修订版和当前版本之间的差别。

--- public:it:cplusplus:effective_modern_cplusplus [2022/07/08 10:27] – [章节4. 智能指针] oakfire
+++ public:it:cplusplus:effective_modern_cplusplus [2024/11/06 15:51] (当前版本) – [章节5. 右值引用、移动语义和完美转发] oakfire
@@ 行 101: / 行 101: @@
 ===  » 条目12. 声明覆盖函数时，使用修饰词 override ===
   * 区分覆盖和重载的区别。
-  * c++11 比 c++98 对虚函数覆盖多了一条限定：覆盖函数的引用限定词必须与基类相同。
+  * c++11 比 c++98 对虚函数覆盖多了一条限定：覆盖函数的引用限定词必须与基类相同。<code cpp>
+class Widget {
+public:
+ …
+ void doWork() &;      // this version of doWork applies only when *this is an lvalue
+ void doWork() &&;     // this version of doWork applies only when *this is an rvalue
+};
+…
+Widget makeWidget();   // factory function (returns rvalue)
+Widget w;              // normal object (an lvalue)
+w.doWork();            // calls Widget::doWork for lvalues
+makeWidget().doWork(); // calls Widget::doWork for rval
+</code>
   * ''override'' 修饰词可规避因细微声明差异导致未覆盖。
 ===  » 条目13. 优先使用 const 迭代器 const_iterator ===
@@ 行 200: / 行 212: @@
     - 需要自定义删除器;
     - 希望用花括号初始化。
-  * 不建议使用 ''std::shared_ptrs'' 的其它情况
+  * 不建议使用 ''std::shared_ptr'' 的其它情况
     - 有自定义内存管理的类；
     - 特别关注内存的系统；
     - 非常大的对象并且 ''std::weak_ptr'' 比对应的 ''std::shared_ptr''更长久(弱指针存在导致控制块不能销毁，导致make产生的对象内存块也没有销毁)。
-=== » 条目22 使用 Pimpl 惯用法时，要在实现文件里定义特殊成员函数===
+=== » 条目22 使用 Pimpl 惯用法时，定义特制成员函数需要放在实现文件里===
+  * **Pimpl**（pointer to implementation）惯用法，为了缩减编译时间而减少头文件依赖
+  * 对于 ''std::unique_ptr'' pImpl 指针, 在头文件声明特制成员函数，实现则要在实现文件里定义，即使编译器默认实现是可接受的：<code cpp>
+// 以下都在实现文件 widge.cpp 中：
+Widget::~Widget() = default; // 防止报错
+// 自定义析构导致拷贝与移动构造不能默认生成，手动生成需定义在实现文件
+Widget::Widget(Widget&& rhs) = default; // 注意默认实现是浅拷贝，需深拷贝自己实现
+Widget& Widget::operator=(Widget&& rhs) = default;
+</code>
+  * ''std::shared_ptr'' 指针没有上述限制，但不适用于 Pimpl 独享占有权语义。
+==== 章节5. 右值引用、移动语义和完美转发 ====
+  * **形参永远是左值**，即使它的类型是右值引用（参考上方导言第三行）
+=== » 条目23 理解 std::move 与 std::forward ===
+  * ''std::move'' 无条件转换为一个右值，其本身并不移动任何东西：<code cpp>
+// std::move 的简单实现：
+template<typename T> // C++14; in namespace std
+decltype(auto) move(T&& param)
+{
+ using ReturnType = remove_reference_t<T>&&;
+ return static_cast<ReturnType>(param);
+}</code>
+  * 如果想移动实参，就不要把实参声明为 ''const'',  因为 const 实参会默认进入拷贝构造而不是移动构造
+  * ''std::forward'' 仅当形参来源于右值实参时，才把它转为右值(作为下个函数的实参）;
+  * ''std::move'' 与 ''std::forward'' 在运行时 do nothing。
+=== » 条目24 区分通值引用与右值引用 ===
+  * 通值引用，两种情况：
+    * 函数模板参数为 ''T&&''并且 ''T'' 需类型推导；
+    * 变量声明为 ''auto&&''。
+  * 如果类型声明格式不是标准的''type&&''，或者不存在类型推导，那么 ''type&&'' 为右值引用：<code cpp>
+void f(Widget&& param);         // rvalue reference
+Widget&& var1 = Widget();       // rvalue reference
+auto&& var2 = var1;             // not rvalue reference
+template<typename T>
+void f(std::vector<T>&& param); // rvalue reference
+template<typename T>
+void f(T&& param);              // not rvalue reference
+</code>
+  * 通值引用如果是被右值初始化，那么就转为右值引用，左值则转为左值引用（详见类型推导）。
+=== » 条目25 std::move 使用在右值引用，std::forward 使用在通值引用 ===
+  * 要利用形参的右值性时，右值引用的形参使用 ''std::move'', 通值引用的形参使用 ''std::forward''。
+  * 一个函数内想多次利用同一个对象的右值性时，只在最后一次使用 ''std::move'', ''std::forward''(因为使用之后该对象就会失效)。
+  * 按值返回的函数要返回右值引用或通值引用时，同样使用 ''std::move'' 或 ''std::forward''。
+  * 由于标准规定编译器存在返回值优化(return value optimization，RVO)以及在不优化场景下将 ''std::move'' 隐式应用于返回的局部对象，所以，不需要对要返回的局部对象(或值形参)手动使用 ''std::move'' 或 ''std::forward''。
+=== » 条目26 避免重载通值引用 ===
+  * 相比 ''int'' 重载，通值引用的函数会更匹配 ''short'' 参数: <code cpp>
+template<typename T> void logAndAdd(T&& name){} // origon_func
+void logAndAdd(int idx){} // overload_func
+short index;
+logAndAdd(index); //Error! it match origon_func, not overload_func
+</code> 通值引用的重载，会让通值引用比预期中更频繁得被调用。
+   * 完美转发构造函数尤其如此，因为对于非const左值来说，它们通常比复制构造函数(复制构造函数参数声明为const)更匹配，而且它们可以劫持派生子类调用基类的复制与移动构造函数，转而让子类调用完美转发构造函数。
+=== » 条目27 熟悉「重载通值引用」之外的替代方法 ===
 ==== 翻译对照 ====
 <WRAP tablewidth 50% >
-^ 英                         ^ 汉       ^ 备注                                ^
+^ 英                        ^ 汉            ^ 备注                              ^
-| argument                  | 实参      |                                   |
+| argument                  | 实参          |                                   |
-| parameter                 | 形参/参数   |                                   |
+| parameter                 | 形参/参数     |                                   |
 | basic guarantee           | 基本异常保障  | basic exception safty guarantee   |
-| strong guarantee          | 强异常保障   | strong exception safty guarantee  |
+| strong guarantee          | 强异常保障    | strong exception safty guarantee  |
-| built-in pointer          | 内置指针    | 相对于智能指针的原指针概念                     |
+| built-in pointer          | 内置指针      | 相对于智能指针的原指针概念        |
-| raw pointer               | 原生指针    |                                    |
+| raw pointer               | 原生指针      |                                   |
-| universal reference       | 通值引用    | 相对“左值引用”、“右值引用”来说                 |
+| universal reference       | 通值引用      | 相对“左值引用”、“右值引用”来说    |
-| scoped enums              | 限定域枚举   |                                   |
+| scoped enums              | 限定域枚举    |                                   |
 | unscoped enums            | 非限定域枚举  |                                   |
-| forward-declared          | 前置声明    |                                   |
+| forward-declared          | 前置声明      |                                   |
-| override                  | 覆盖      |                                   |
+| override                  | 覆盖          |                                   |
-| maximally  generic  code  | 最泛化代码   |                                   |
+| overload                  | 重载          |                                   |
+| maximally  generic  code  | 最泛化代码    |                                   |
 | special member function   | 特制成员函数  |                                   |
-|                           |         |                                   |
+|                           |               |                                   |
-|                           |         |                                   |
+|                           |               |                                   |
-|                           |         |                                   |
+|                           |               |                                   |
-|                           |         |                                   |
+|                           |               |                                   |
 </WRAP>