upgrade undef more

Author: archibate

docs/undef.md

@@ -276,6 +276,98 @@ i / j;  // 错！
 i % j;  // 错！
 ```
 
+## 求值顺序类
+
+### 同一表达式内，对同一个变量有多个自增/自减运算
+
+```cpp
+int i = 5;
+int j = (++i) + (++i);    // j 的值未定义
+```
+
+```cpp
+int j = (++i) + i;        // j 的值未定义
+```
+
+```cpp
+int i1 = 5;
+int i2 = 5;
+int j = (++i1) + (++i2); // j = 12
+```
+
+### 内建类型的二元运算符，其左右两个参数求值的顺序是不确定的
+
+在标准看来，+ 运算符两侧是“同时”求值的，即“interleaved”，实际执行顺序并不确定。
+
+对于 a + b，我们不能假定总是左侧表达式 a 先求值。
+
+不过，虽然运算符两个参数的求值顺序“未指定(unspecified)”，但并不是“未定义(undefined)”。
+
+> 但左右两侧涉及自增/自减运算符的情况仍然是未定义行为。
+
+```cpp
+int f1() {
+    printf("f1\n");
+    return 1;
+}
+
+int f2() {
+    printf("f2\n");
+    return 2;
+}
+
+int j = f1() + f2();   // 可能打印 f1 f2，也可能打印 f2 f1，但 j 最终的结果一定是 3
+```
+
+未指定和未定义是不同的！有未定义行为的程序是非法(ill-formed)的，但未指定只是会让结果无法确定，但一定能正常运行：要么 f1 先运行，要么 f2 先运行。
+
+### 函数参数求值的顺序是不确定的
+
+```cpp
+int f1() {
+    printf("f1\n");
+    return 1;
+}
+
+int f2() {
+    printf("f2\n");
+    return 2;
+}
+
+void foo(int i, int j) {
+    printf("%d %d\n", i, j);
+}
+
+foo(f1(), f2());   // 可能打印 f1 f2 1 2，也可能打印 f2 f1 1 2
+```
+
+代码中，f1 和 f2 的求值顺序虽然未指定，但可以保证 foo 函数体一定在执行完毕后才会开始。
+
+同一条语句中所有子表达式的执行顺序就像一颗树，树中两个子节点执行顺序是不确定的；但可以肯定的是，树的子节点一定先于他们的父节点执行。
+
+同样地，这只是未指定(unspecified)行为而不是未定义(undefined)行为，结果必然是 f1 f2 或 f2 f1 两种可能之一，不会让程序出现未定义值的情况。
+
+注意，求值顺序未指定仅限同一语句（“同一行”）内，对于互相独立的多条语句，依然是有强先后顺序的。
+
+```cpp
+int f1() {
+    printf("f1\n");
+    return 1;
+}
+
+int f2() {
+    printf("f2\n");
+    return 2;
+}
+
+void foo(int i, int j) {
+}
+
+foo(f1(), f2());  // 可能打印 f1 f2，也可能打印 f2 f1
+
+f1(); f2();       // 必然打印 f1 f2
+```
+
 ## 函数类
 
 ### 返回类型不为 void 的函数，必须有 return 语句
@@ -352,6 +444,38 @@ int main() {
 }
 ```
 
+### 函数指针被调用时，参数列表或返回值必须匹配
+
+```cpp
+void f1(int *p) {
+    printf("f1(%p)", p);
+}
+
+void (*fp)(const int *);
+fp = (void (*)(const int *)) f1;  // 错误
+
+int i;
+fp = (void (*)(const int *)) &i;  // 错误
+```
+
+### 普通函数指针与成员函数指针不能互转
+
+```cpp
+struct Class {
+    void mf() {
+        printf("成员函数\n");
+    }
+};
+
+union {
+    void (Class::*member_func)();
+    void (*free_func)(Class *);
+} u;
+u.member_func = &Class::mf;
+Class c;
+u.free_func(&c); // 错误
+```
+
 ## 生命周期类
 
 ### 不能读取未初始化的变量
@@ -504,6 +628,16 @@ std::string func() {
 }
 ```
 
+### 不能把函数指针转换为普通类型指针解引用
+
+```cpp
+void func() {}
+
+printf("*func = %d\n", *((int *)func));  // 错误
+```
+
+> C++ 内存模型是哈佛架构（代码与数据分离），不是冯诺依曼架构（代码也是数据）
+
 ## 库函数类
 
 ### ctype.h 中一系列函数的字符参数，必须在 0~127 范围内（即只支持 ASCII 字符）