book: fmt (#154)

* Add space between english and chinease char

* Add space between english and chinease char

* book: typo fixes

Co-authored-by: guoliang wang <tswanggl@hotmail.com>

book/zh-cn/01-intro.md

@@ -120,7 +120,7 @@ clean:
 
 > 注意：`Makefile` 中的缩进是制表符而不是空格符，如果你直接复制这段代码到你的编辑器中，制表符可能会被自动替换掉，请自行确保在 `Makefile` 中的缩进是由制表符完成的。
 >
-> 如果你还不知道 Makefile 的使用也没有关系，本教程中不会构建过于复杂的代码，简单的在命令行中使用 `clang++ -std=c++2a` 也可以阅读本书。
+> 如果你还不知道 `Makefile` 的使用也没有关系，本教程中不会构建过于复杂的代码，简单的在命令行中使用 `clang++ -std=c++2a` 也可以阅读本书。
 
 如果你是首次接触现代 C++，那么你很可能还看不懂上面的那一小段代码，即：
 

book/zh-cn/02-usability.md

@@ -14,7 +14,7 @@ order: 2
 
 ###  nullptr
 
-`nullptr` 出现的目的是为了替代 `NULL`。在某种意义上来说，传统 C++ 会把 `NULL`、`0` 视为同一种东西，这取决于编译器如何定义 NULL，有些编译器会将 NULL 定义为 `((void*)0)`，有些则会直接将其定义为 `0`。
+`nullptr` 出现的目的是为了替代 `NULL`。在某种意义上来说，传统 C++ 会把 `NULL`、`0` 视为同一种东西，这取决于编译器如何定义 `NULL`，有些编译器会将 `NULL` 定义为 `((void*)0)`，有些则会直接将其定义为 `0`。
 
 C++ **不允许**直接将 `void *` 隐式转换到其他类型。但如果编译器尝试把 `NULL` 定义为 `((void*)0)`，那么在下面这句代码中：
 
@@ -22,7 +22,7 @@ C++ **不允许**直接将 `void *` 隐式转换到其他类型。但如果编
 char *ch = NULL;
 ```
 
-没有了 `void *` 隐式转换的 C++ 只好将`NULL` 定义为 `0`。而这依然会产生新的问题，将 `NULL` 定义成 0 将导致 `C++` 中重载特性发生混乱。考虑下面这两个 `foo` 函数：
+没有了 `void *` 隐式转换的 C++ 只好将 `NULL` 定义为 `0`。而这依然会产生新的问题，将 `NULL` 定义成 `0` 将导致 `C++` 中重载特性发生混乱。考虑下面这两个 `foo` 函数：
 
 ```cpp
 void foo(char*);
@@ -31,9 +31,9 @@ void foo(int);
 
 那么 `foo(NULL);` 这个语句将会去调用 `foo(int)`，从而导致代码违反直觉。
 
-为了解决这个问题，C++11 引入了 `nullptr` 关键字，专门用来区分空指针、0。而 `nullptr` 的类型为 `nullptr_t`，能够隐式的转换为任何指针或成员指针的类型，也能和他们进行相等或者不等的比较。
+为了解决这个问题，C++11 引入了 `nullptr` 关键字，专门用来区分空指针、`0`。而 `nullptr` 的类型为 `nullptr_t`，能够隐式的转换为任何指针或成员指针的类型，也能和他们进行相等或者不等的比较。
 
-你可以尝试使用 clang++ 编译下面的代码：
+你可以尝试使用 `clang++` 编译下面的代码：
 
 ```cpp
 #include <iostream>
@@ -73,11 +73,11 @@ foo(char*) is called
 
 从输出中我们可以看出，`NULL` 不同于 `0` 与 `nullptr`。所以，请养成直接使用 `nullptr`的习惯。
 
-此外，在上面的代码中，我们使用了 `decltype` 和 `std::is_same` 这两个属于现代 C++ 的语法，简单来说，`decltype` 用于类型推导，而 `std::is_same` 用于比较两个类型是否相等，我们会在后面 [decltype](#decltype) 一节中详细讨论。
+此外，在上面的代码中，我们使用了 `decltype` 和 `std::is_same` 这两个属于现代 C++ 的语法，简单来说，`decltype` 用于类型推导，而 `std::is_same` 用于比较两个类型是否相同，我们会在后面 [decltype](#decltype) 一节中详细讨论。
 
 ### constexpr
 
-C++ 本身已经具备了常量表达式的概念，比如 1+2, 3*4 这种表达式总是会产生相同的结果并且没有任何副作用。如果编译器能够在编译时就把这些表达式直接优化并植入到程序运行时，将能增加程序的性能。一个非常明显的例子就是在数组的定义阶段：
+C++ 本身已经具备了常量表达式的概念，比如 `1+2`, `3*4` 这种表达式总是会产生相同的结果并且没有任何副作用。如果编译器能够在编译时就把这些表达式直接优化并植入到程序运行时，将能增加程序的性能。一个非常明显的例子就是在数组的定义阶段：
 
 ```cpp
 #include <iostream>
@@ -123,7 +123,7 @@ int main() {
 
 C++11 提供了 `constexpr` 让用户显式的声明函数或对象构造函数在编译期会成为常量表达式，这个关键字明确的告诉编译器应该去验证 `len_foo` 在编译期就应该是一个常量表达式。
 
-此外，`constexpr` 的函数可以使用递归：
+此外，`constexpr` 修饰的函数可以使用递归：
 
 ```cpp
 constexpr int fibonacci(const int n) {
@@ -131,7 +131,7 @@ constexpr int fibonacci(const int n) {
 }
 ```
 
-从 C++14 开始，constexpr 函数可以在内部使用局部变量、循环和分支等简单语句，例如下面的代码在 C++11 的标准下是不能够通过编译的：
+从 C++14 开始，`constexpr` 函数可以在内部使用局部变量、循环和分支等简单语句，例如下面的代码在 C++11 的标准下是不能够通过编译的：
 
 ```cpp
 constexpr int fibonacci(const int n) {
@@ -181,7 +181,7 @@ int main() {
 }
 ```
 
-在上面的代码中，我们可以看到 `itr` 这一变量是定义在整个 `main()` 的作用域内的，这导致当我们需要再次遍历整个 `std::vectors` 时，需要重新命名另一个变量。C++17 消除了这一限制，使得我们可以在 if（或 switch）中完成这一操作：
+在上面的代码中，我们可以看到 `itr` 这一变量是定义在整个 `main()` 的作用域内的，这导致当我们需要再次遍历整个 `std::vectors` 时，需要重新命名另一个变量。C++17 消除了这一限制，使得我们可以在 `if`（或 `switch`）中完成这一操作：
 
 ```cpp
 // 将临时变量放到 if 语句内
@@ -369,7 +369,7 @@ auto arr = new auto(10); // arr 被推导为 int *
 
 ### decltype
 
-`decltype` 关键字是为了解决 auto 关键字只能对变量进行类型推导的缺陷而出现的。它的用法和 `typeof` 很相似：
+`decltype` 关键字是为了解决 `auto` 关键字只能对变量进行类型推导的缺陷而出现的。它的用法和 `typeof` 很相似：
 
 ```cpp
 decltype(表达式)
@@ -423,7 +423,7 @@ R add(T x, U y) {
 decltype(x+y) add(T x, U y)
 ```
 
-但事实上这样的写法并不能通过编译。这是因为在编译器读到 decltype(x+y) 时，`x` 和 `y` 尚未被定义。为了解决这个问题，C++11 还引入了一个叫做尾返回类型（trailing return type），利用 auto 关键字将返回类型后置：
+但事实上这样的写法并不能通过编译。这是因为在编译器读到 decltype(x+y) 时，`x` 和 `y` 尚未被定义。为了解决这个问题，C++11 还引入了一个叫做尾返回类型（trailing return type），利用 `auto` 关键字将返回类型后置：
 
 ```cpp
 template<typename T, typename U>
@@ -624,13 +624,17 @@ int main() {
 我们可能定义了一个加法函数：
 
 ```cpp
+// c++11 version
 template<typename T, typename U>
 auto add(T x, U y) -> decltype(x+y) {
     return x+y;
 }
+
+// Call add function
+auto ret = add<int, int>(1,3);
 ```
 
-但在使用时发现，要使用 add，就必须每次都指定其模板参数的类型。
+但在使用时发现，要使用 `add`，就必须每次都指定其模板参数的类型。
 
 在 C++11 中提供了一种便利，可以指定模板的默认参数：
 
@@ -639,6 +643,9 @@ template<typename T = int, typename U = int>
 auto add(T x, U y) -> decltype(x+y) {
     return x+y;
 }
+
+// Call add function
+auto ret = add(1,3);
 ```
 
 ### 变长参数模板
@@ -661,9 +668,9 @@ class Magic<int,
             std::vector<int>>> darkMagic;
 ```
 
-既然是任意形式，所以个数为 0 的模板参数也是可以的：`class Magic<> nothing;`。
+既然是任意形式，所以个数为 `0` 的模板参数也是可以的：`class Magic<> nothing;`。
 
-如果不希望产生的模板参数个数为0，可以手动的定义至少一个模板参数：
+如果不希望产生的模板参数个数为 `0`，可以手动的定义至少一个模板参数：
 
 ```cpp
 template<typename Require, typename... Args> class Magic;
@@ -672,7 +679,7 @@ template<typename Require, typename... Args> class Magic;
 变长参数模板也能被直接调整到到模板函数上。传统 C 中的 `printf` 函数，
 虽然也能达成不定个数的形参的调用，但其并非类别安全。
 而 C++11 除了能定义类别安全的变长参数函数外，
-还可以使类似 printf 的函数能自然地处理非自带类别的对象。
+还可以使类似 `printf` 的函数能自然地处理非自带类别的对象。
 除了在模板参数中能使用 `...` 表示不定长模板参数外，
 函数参数也使用同样的表示法代表不定长参数，
 这也就为我们简单编写变长参数函数提供了便捷的手段，例如：
@@ -847,7 +854,7 @@ int main() {
 
 ### 继承构造
 
-在传统 C++ 中，构造函数如果需要继承是需要将参数一一传递的，这将导致效率低下。C++11 利用关键字 using 引入了继承构造函数的概念：
+在传统 C++ 中，构造函数如果需要继承是需要将参数一一传递的，这将导致效率低下。C++11 利用关键字 `using` 引入了继承构造函数的概念：
 
 ```cpp
 #include <iostream>
@@ -975,7 +982,7 @@ if (new_enum::value3 == new_enum::value4) {
 }
 ```
 
-在这个语法中，枚举类型后面使用了冒号及类型关键字来指定枚举中枚举值的类型，这使得我们能够为枚举赋值（未指定时将默认使用 int）。
+在这个语法中，枚举类型后面使用了冒号及类型关键字来指定枚举中枚举值的类型，这使得我们能够为枚举赋值（未指定时将默认使用 `int`）。
 
 而我们希望获得枚举值的值时，将必须显式的进行类型转换，不过我们可以通过重载 `<<` 这个算符来进行输出，可以收藏下面这个代码段：
 
@@ -998,8 +1005,8 @@ std::cout << new_enum::value3 << std::endl
 
 本节介绍了现代 C++ 中对语言可用性的增强，其中笔者认为最为重要的几个特性是几乎所有人都需要了解并熟练使用的：
 
-1. auto 类型推导
-2. 范围 for 迭代
+1. `auto` 类型推导
+2. 范围 `for` 迭代
 3. 初始化列表
 4. 变参模板