Effective Modern C++ 学习笔记

欢迎加入 C++ 学习群：https://jq.qq.com/?_wv=1027&k=TW7t8caN

我在微云中上传了 Effective Modern C++ 英文版 pdf：https://share.weiyun.com/nO38Xq2l

中文 mdBook: https://cntransgroup.github.io/EffectiveModernCppChinese/，翻译得十分不错，在我学习过程中没有太多问题^[1]。

这书从 \(42\) 个条款_item向读者展现了「更高效的 C++」，在列叔叔的入门博客。对我这样的 C++ 初学者十分友好。

引言部分

左值与右值

通常，判断一个表达式是否为左值的小技巧：是否能取得其地址。

一个表达式的类型与它是否是左值、右值无关。即使函数形参是右值引用类型（void func(Foo &&foo) { }），它也依然是左值。

第一章：类型推导

条款一：理解模板的类型推导

模板函数 template <class T> void func(Foo foo) { } 中，Foo 也许不与 T 相同，例如 const T&。在推导时，一般我们会希望传入的 foo 类型与 T 相同，这样 Foo 就能够正确处理。然而有时候 T 的推导会综合 T 和 Foo 二者考虑。

分几种情形考虑：

• Foo 是一个指针/引用，但不是万能引用。
  步骤如下：

  1. 若 foo 表达式类型是引用，忽略引用。
  2. 将 foo 的类型与 Foo 的类型进行模式匹配，以推导 T。对，就是你想的那个字符串模式匹配，一个萝卜一个坑你总知道吧~
  案例 1：Foo为T&

  T	Foo	foo	定义 / 传入
  int	int&	int	int foo = 1
  const int	const int&	const int	const int foo = 1
  const int	const int&	const int	const int& foo = bar

  案例 2：Foo为const T&

  T	Foo	foo	定义 / 传入
  int	const int&	int	int foo = 1
  int	const int&	const int	const int foo = 1
  int	const int&	const int	const int& foo = bar

  案例 3：Foo为T*

  T	Foo	foo	定义 / 传入
  int	int*	int*	&bar
  const int	const int*	const int*	const int* foo = &bar

• Foo 是一个万能引用，即 T&&。
  规则有些特别：
  1. 若 foo 是左值，则 T 被推导为左值引用。
  注意
  2. 若 foo 是右值，则按照上一情形。

  T	Foo	foo	定义 / 传入
  int	int&&	右值	1
  int&	int&	左值	int foo = 1
  const int&	const int&	左值	const int foo = 1
  const int&	const int&	左值	const int& foo = bar

• Foo 既不是指针，也不是引用。