finish

Author: archibate

docs/symbols.md

@@ -0,0 +1,13 @@
+# 重新认识声明与定义
+
+> {{ icon.fun }} mq 白在[川上](https://github.com/parallel101/cppguidebook/pull/23)曰：
+>
+> 非定义声明，因为 Game 在此处为不完整类型
+>
+> 我能明白其意思，定义一定是声明，声明却不一定是定义。所以用了：“非定义声明”这个词语，很专业的措辞。
+>
+> 不过我觉得大多数普通开发者并不够清楚这一点，看到这段注释同样会感到疑惑。
+>
+> 在他们眼里声明和定义是两种东西，此处如果直接用声明它们可能就不会有理解问题了。例如：“只是声明，不是定义”之类的措辞。
+>
+> 或许我们应该考虑在保证专业以及严谨的情况下，稍微补充解释一下“非定义声明”这个用词。

docs/undef.md

@@ -286,15 +286,24 @@ int j = (++i) + (++i);    // j 的值未定义
 ```
 
 ```cpp
+int i = 5;
+int a[10] = {};
+int j = a[i++] + a[i++];  // j 的值未定义
+```
+
+```cpp
+int i = 5;
 int j = (++i) + i;        // j 的值未定义
 ```
 
 ```cpp
 int i1 = 5;
 int i2 = 5;
-int j = (++i1) + (++i2); // j = 12
+int j = (++i1) + (++i2); // 正确，j 会得到 12
 ```
 
+> {{ icon.fun }} 转发给你身边的谭浩强受害者看（`i+++++i`）。
+
 ### 内建类型的二元运算符，其左右两个参数求值的顺序是不确定的
 
 在标准看来，+ 运算符两侧是“同时”求值的，即“interleaved”，实际执行顺序并不确定。
@@ -368,6 +377,19 @@ foo(f1(), f2());  // 可能打印 f1 f2，也可能打印 f2 f1
 f1(); f2();       // 必然打印 f1 f2
 ```
 
+不过，涉及自增的话，就还是未定义行为，而不是未指定了。
+
+```cpp
+int i = 5;
+foo(i++, i++);   // 会打印出什么？未定义行为
+```
+
+```cpp
+int i = 5;
+int j = 5;
+foo(i++, j++);   // 必然打印出 5 5
+```
+
 ## 函数类
 
 ### 返回类型不为 void 的函数，必须有 return 语句

mkdocs.yml

@@ -10,6 +10,7 @@ nav:
     - platform.md
     - variable_types.md
     - functions.md
+    - symbols.md
     - cpp_tricks.md
     - lambda.md
     - type_rich_api.md