Updated to Appendix C, Section 1

Author: cppHusky

generalized_parts/06_custom_types_and_their_use.tex

@@ -4,7 +4,7 @@ \chapter{自定义类型及其使用}
     int n {0x63794b37}; //这是一个16进制字面量，其10进制为1668893495
     cout << (char*)&n; //以字符串形式输出
 \end{lstlisting}
-在某台电脑上，它的输出是\\\noindent\rule{\linewidth}{.2pt}\texttt{
+在某个环境下\footnote{不同环境下给出的结果不尽相同}，它的输出是\\\noindent\rule{\linewidth}{.2pt}\texttt{
 7KycT�\$��
 }\\\noindent\rule{\linewidth}{.2pt}
 为什么把 \lstinline@int*@ 类型转换成 \lstinline@char*@ 类型之后再输出就会得到这么奇怪的内容呢？原因就出在类型上。\par

generalized_parts/06_custom_types_and_their_use/03_exercise_example_list.tex

@@ -183,8 +183,8 @@ \subsection*{链表的进阶功能}
     return find_tail(head->next); //否则就从head->next开始找
 }
 \end{lstlisting}\par
-其二，这里转移操作的写法很独特（也很简洁，不是吗）。这里用文字很难讲清楚，读者可以直接看图6.9，很直观。在这里我们用标准库中的 \lstinline@swap@ 函数，它可以交换两个指针的值\footnote{实际上 \lstinline@swap@ 是一个函数模版，当我们尝试使用它时，程序会生成一个 \lstinline@Data*@ 类型的实例。我们会在第十一章中介绍相关的知识。}，也就相当于交换它们的指向。于是我们可以通过先交换 \lstinline@tail->next@ 和 \lstinline@dest->next@，再交换 \lstinline@head->next@ 和 \lstinline@dest->next@ 的方式来实现这个功能。\par
-\begin{figure}[htbp]
+其二，这里转移操作的写法很独特（也很简洁，不是吗）。这里用文字很难讲清楚，读者可以直接看图6.9，很直观。在这里我们用标准库中的 \lstinline@swap@ 函数，它可以交换两个指针的值\footnote{实际上 \lstinline@swap@ 是一个函数模版，当我们尝试使用它时，程序会生成一个关于 \lstinline@Data*@ 类型的实例。我们会在第十一章中介绍相关的知识。}，也就相当于交换它们的指向。于是我们可以通过先交换 \lstinline@tail->next@ 和 \lstinline@dest->next@，再交换 \lstinline@head->next@ 和 \lstinline@dest->next@ 的方式来实现这个功能。\par
+\begin{figure}
     \centering
     \includegraphics[width=\textwidth]{../images/generalized_parts/06_range_transfer_between_lists_300.png}
     \caption{片段转移操作的示意图}

generalized_parts/06_custom_types_and_their_use/04_union.tex

@@ -0,0 +1,42 @@
+\section{联合体}
+联合体初看上去很像结构体，它们的定义语法极其相似，但是它们是完全不同的事物。
+\begin{lstlisting}
+union ValType {
+    int val_i;
+    long long val_ll;
+    char val_c;
+    double val_d;
+    long double val_ld;
+};
+int main() {
+    cout << sizeof(ValType); //输出8或16，总之不是29或者更大的数
+}
+\end{lstlisting}
+一个结构体会把所有成员分别存储在不同的内存区域中，所以这个类型的内存占用不能小于所有成员的总和。以第2节中定义的 \lstinline@Cuboid@ 类型为例，我们可以用这样一段代码来观察某个对象各成员的地址：
+\begin{lstlisting}
+    Cuboid cub;
+    cout << &cub.length << endl << &cub.width << endl << &cub.height;
+\end{lstlisting}
+下面是一种可能的运行结果：\\\noindent\rule{\linewidth}{.2pt}\texttt{
+0x7ffeea18b070\\
+0x7ffeea18b074\\
+0x7ffeea18b078
+}\\\noindent\rule{\linewidth}{.2pt}\par
+从结果中我们可以看到，\lstinline@cub@ 的三个 \lstinline@int@ 型成员分别在不同的内存空间中，\lstinline@cub.length@ 在 \lstinline@...070@ 到 \lstinline@...073@ 位置，\lstinline@cub.width@ 在 \lstinline@...074@ 到 \lstinline@...077@ 位置，\lstinline@cub.height@ 在 \lstinline@...078@ 到 \lstinline@...07b@ 位置。它们之间没有任何重叠，互不干扰。\par
+但联合体不然，它会把所有成员存储到同一个内存区域中。
+\begin{lstlisting}
+    ValType a;
+    cout << &a.val_i << endl
+        << &a.val_ll << endl
+        << (void*)&a.val_c << endl //记得把char*转成void*输出
+        << &a.val_d << endl
+        << &a.val_ld << endl;
+\end{lstlisting}
+下面是一种可能的运行结果：\\\noindent\rule{\linewidth}{.2pt}\texttt{
+0x7ffc00a4d280\\
+0x7ffc00a4d280\\
+0x7ffc00a4d280\\
+0x7ffc00a4d280\\
+0x7ffc00a4d280
+}\\\noindent\rule{\linewidth}{.2pt}
+这说明联合体的所有成员都在同一个位置存着呢。