來自：知識小集（微信號：iOS-Tips）
https://kangzubin.com/c-pointer-array/
在 C 語言中，結構體（struct）是一個或多個變量的集合，這些變量可能爲不同的類型，爲了處理的方便而將這些變量組織在一個名字之下。由於結構體將一組相關變量看作一個單元而不是各自獨立的實體，因此結構體有助於組織複雜的數據，特別是在大型的程序中。
共用體（union），也稱爲聯合體，是用於（在不同時刻）保存不同類型和長度的變量，它提供了一種方式，以在單塊存儲區中管理不同類型的數據。
今天，我們來介紹一下 C 語言中結構體和共用體的相關概念和使用。
結構體 / struct
結構體的定義
聲明一個結構體類型的一般形式爲：
struct 結構體名 {
成員列表
};
其中，成員列表中對各成員都應進行類型聲明，即：
類型名 成員名;
例如，我們需要在程序中記錄一個學生（student）的數據，包括學號（num）、姓名（name）、性別（sex）、年齡（age）、成績（score）、地址（addr）等，如下圖所示：
如果要表示圖中的數據結構，但 C 語言並沒有提供這種現成的數據類型，因此我們需要用定義一種結構體類型來表示。
truct student {
int num;
char name[20];
char sex;
int age;
float score;
char addr[30];
};
上述定義了一個新的結構體類型 struct student（注意，struct 是聲明結構體類型時所必須使用的關鍵及，不能省略），它向編譯系統聲明，這是一個“結構體類型”，它包括 num、name、sex、age、score、addr 等不同類型的數據項。
應當說，這裏的 struct student 是一個類型名，它與系統提供的標準類型（如 int、char、float、double 等）具有同樣的作用，都可以用來定義變量的類型。
結構體變量
前面只是聲明瞭一個結構體類型，它相當於一個模型，但其中並無具體的數據，編譯系統對其也不分配實際的內存單元。爲了能在程序中使用結構體類型的數據，我們應當定義結構體類型的變量，並在其中存放具體的數據。主要以下 3 中方式定義結構體類型變量：
先聲明結構體類型，再定義變量名
結構體類型名 結構體變量名;
例如上面我們已經定義了一個結構體類型 struct student，就可以用它來聲明變量：
struct student student1, student2;
定義了 student1 和 student2 爲 struct student 類型的變量，它們具有 struct student 類型的結構，後續我們可以對它們進行初始化。
在聲明類型的同時定義變量 例如：
struct student {
int num;
char name[20];
char sex;
int age;
float score;
char addr[30];
} student1, student2;
它的作用與第一種方法相同，即定義了兩個 struct student 類型的變量 student1、student2。這種形式的定義的一般形式爲：
struct 結構體名 {
成員列表
} 變量名列表;
直接定義結構體類型變量 其省略了結構體名，一般形式爲：
struct {
成員列表
} 變量名列表;
關於結構體類型，需要補充說明一點：
類型與變量是不同的概念，不要混淆。我們只能對變量賦值、存取或運算，而不能對一個類型進行賦值、存取或運算。在編譯時，對類型是不分配空間的，只對變量分配空間。
簡單地說，我們可以把“結構體類型”和“結構體變量”理解爲是面嚮對象語言中“類”和“對象”的概念。
此外，結構體裏的成員也可以是一個結構體變量。比如我們先聲明瞭一個結構體 struct date：
struct date {
int month;
int day;
int year;
};
然後把它應用於聲明 struct student 中：
struct student {
int num;
char name[20];
char sex;
int age;
float score;
struct date birthday;
char addr[30];
} student1, student2;
最後，解釋一個在閱讀大型開源代碼（比如 Objective-C Runtime 源碼）時容易產生疑問的點：如下兩個結構體 SampleA 和 SampleB 聲明的變量在內存上其實是完全一樣的，原因是因爲結構體本身並不帶有任何額外的附加信息：
struct SampleA {
int a;
int b;
int c;
};
struct SampleB {
int a;
struct Part1 {
int b;
};
struct Part2 {
int c;
};
};
結構體變量的引用
引用結構體變量中成員的方式爲：
結構體變量名.成員名
例如，student1.num 表示 student1 變量中 num 成員，我們可以對結構體變量的成員進行賦值：student1.num = 10010;。
如果成員本身又屬於一個結構體類型，則要用若干個成員運算符（點號 .），一級一級地找到最低一級的成員，例如：
student1.birthday.month = 9;
另外對結構體變量的成員可以像普通變量一樣進行各種運算，也可以用取址運算符 & 引用結構體變量成員的地址，或者引用結構體變量的地址。
結構體變量的初始化
和其他類型變量一樣，對結構體變量可以在定義時指定其初始值，用大括號括起來：
struct student {
int num;
char name[20];
char sex;
int age;
char addr[30];
} a = {10010, "Li Lei", 'M', 18, "Beijing Haidian"};
結構體與數組
如果一個數組的元素爲結構體類型，則稱其爲“結構體數組”。結構體數組與之前介紹的數值型數組的不同之處在於每個數組元素都是一個結構體類型的數據，它們都分別包括各個成員項。
定義結構體數組
和定義結構體變量的方法類似，只需聲明其爲數組即可，例如：
struct student {
int num;
char name[20];
char sex;
int age;
float score;
char addr[30];
};
struct student stu[3];
以上定義了一個數組 stu，數組有 3 個元素，均爲 struct student 類型數據，如下圖：
結構體數組的初始化
與其他類型的數組一樣，對結構體數組可以初始化，例如：
struct student {
int num;
char name[20];
char sex;
int age;
float score;
char addr[30];
} stu[3] = {{10101, "Li Lin", 'M', 18, 87.5, "Beijing"},
{10102, "Amey", 'M', 17, 92, "Shanghai"},
{10103, "Bingo", 'F', 20, 100, "Fujian"}};
從上面可以看到，結構體數組的初始化的一般形式是在定義數組的後面加上“={初值表列};”。
結構體數組中各元素在內存中也是連續存放的，如下圖：
結構體與指針
一個結構體變量的指針就是該變量所佔據的內存段的起始地址。可以設一個指針變量，用來指向一個結構體變量，此時該指針變量的值是結構體變量的起始地址。指針變量也可以用來指向結構體數組中的元素。
指向結構體變量的指針
struct student {
int num;
char name[20];
char sex;
int age;
float score;
char addr[30];
};
struct student stu1 = {...};
struct student * p;
p = &stu1;
上述代碼先聲明瞭 struct student 結構體類型，然後定義一個 struct student 類型的變量 stu1，同時又定義了一個指針變量 p，它指向一個 struct student 類型的數據，最後把結構體變量 stu1 的起始地址賦給指針變量 p，如圖所示：
此時可以用 *p 來訪問結構體變量 stu1 的值，用 (*p).num來訪問 stu 的成員變量。C 語言爲了使用方便和直觀，定義可以把 (*p).num 改用 p->num 來代替，它表示 p 所指向的結構體變量中的 num 成員。
也就是說，以下 3 種形式等價：
結構體變量.成員名：
stu1.num(*指針變量名).成員名：
(*p).num指針變量名->成員名：
p->num指向結構體數組的指針 對於結構體數組及其元素也可以用指針變量來指向，例如：
struct student {
int num;
char name[20];
char sex;
int age;
float score;
char addr[30];
};
struct student stu[3] = {{10101, "Li Lin", 'M', 18, 87.5, "Beijing"},
{10102, "Amey", 'M', 17, 92, "Shanghai"},
{10103, "Bingo", 'F', 20, 100, "Fujian"}};
struct student *p = stu;
此時，指針變量 p 指向數組首個元素的地址，即 &stu[0]，也就是數組名 stu。
結構體指針使用場景
（1）函數參數：用指向結構體變量（或數組）的指針作實參，將結構體變量（或數組）的地址傳給形參。
void printStudentInfo(struct student *p);
因爲如果我們直接用結構體變量（不是結構體指針）作爲實參時，由於採取的是“值傳遞”的方式，將結構體變量所佔用的內存單元的內容全部順序傳遞給形參，形參也必須是同類型的結構體變量。
在函數調用期間，形參也要佔用內存單元，這種傳遞方式將帶來較大的時間和空間開銷，同時也不利於將在函數執行期間改變形參結構體的值（結果）返回給主調函數，因此一般比較少直接“用結構體變量做實參”，而是改用指針的形式。
（2）鏈表
鏈表是一種常見的且很重要的數據結構，一般用於動態地進行存儲分配。常見的有單鏈表和雙鏈表等，一般可以用結構體來表示鏈表的節點，如下爲常見的“單鏈表”節點的聲明：
struct ListNode {
int val;
struct ListNode *next;
};
其中，val 表單鏈表節點的值，next 指針用於指向鏈表的下一個節點。
例如，面試比較常考察的“反轉單鏈表”的題目：
struct ListNode *reverseList(struct ListNode *head) {
if (head == NULL) {
return NULL;
}
if (head->next == NULL) {
return head;
}
struct ListNode *reversedHead = NULL;
struct ListNode *prevNode = NULL;
struct ListNode *currentNode = head;
while (currentNode != NULL) {
struct ListNode *nextNode = currentNode->next;
if (nextNode == NULL) {
reversedHead = currentNode;
}
currentNode->next = prevNode;
prevNode = currentNode;
currentNode = nextNode;
}
return reversedHead;
}
（3）二叉樹
struct TreeNode {
int val;
struct TreeNode *left;
struct TreeNode *right;
};
其中 val 表示二叉樹葉子節點的值，left 指向節點的左子樹，right 指向右子樹。
例如，之前鬧得沸沸揚揚的 Google 面試“翻轉二叉樹”的題目：
struct TreeNode *invertTree(struct TreeNode *root) {
if (root == NULL) {
return NULL;
}
root->left = invertTree(root->left);
root->right = invertTree(root->right);
struct TreeNode *temp = root->left;
root->left = root->right;
root->right = temp;
return root;
}
動態開闢和釋放內存空間
前面介紹，鏈表結構是動態地分配存儲的，即在需要時纔開闢一個節點的存儲單元。那麼，怎樣動態地開闢和釋放存儲單元呢？C 語言編譯系統的庫函數提供了以下相關函數。
malloc 函數
void * malloc(unsigned size);
其作用是在內存的動態存儲區（堆）中分配一個長度爲 size 的連續空間，此函數的返回值是一個指向分配域起始地址的指針（類型爲 void *，即空指針類型，使用時可轉換爲其他指針數據類型）。如果此函數未能成功地執行（例如內存空間不足時），則返回空指針 NULL。
使用示例：
int *result = malloc(2 * sizeof(int));
struct ListNode *node = malloc(sizeof(struct ListNode));
上述 result 是一個分配在堆上的長度爲 2 的數組，它與 int result[2]; 的區別是後者分配在內存棧區。而 node 是指向一個 struct ListNode 類型的數據（同樣已分配在堆上）的起始地址的指針變量。
calloc 函數
void * calloc(unsigned n, unsigned size);
其作用是在內存的動態存儲區中分配 n 個長度爲 size 的連續空間，函數返回一個指向分配域起始地址的指針，如果分配不成功，返回 NULL。
realloc 函數
void * realloc(void *p, unsigned size);
其作用是將 p 所指向的已分配的動態內存區域的大小重新改爲 size，size 可以比原來分配的空間大或小。該函數返回指向所分配的內存區起始地址的指針，同樣，如果分配不成功，返回 NULL。
如果傳入的 p 爲 NULL，則它的效果和 malloc 函數相同，即分配 size 字節的內存空間。
如果傳入 size 的值爲 0，那麼 p 指向的內存空間就會被釋放，但是由於沒有開闢新的內存空間，所以會返回空指針 NULL，類似於調用 free 函數。
free 函數
void free(void *p);
其作用是釋放 p 所指向的內存區，使這部分內存區能被其他變量使用，p 一般爲調用上述幾個函數返回的值。free 函數無返回值。
共用體 / union
有時，我們需要使幾種不同類型的變量存放到同一段內存單元中。例如，可以把一個整型變量（2 個字節）、一個字符型變量（1 個字節）、一個實型變量（4 個字節）放在同一開始地址的內存單元中，如下圖所示：
以上 3 個變量在內存中佔的字節數不同，但都從同一地址開始存放，也就是幾個變量相互覆蓋。這種使幾個不同的變量共佔同一段內存的結構，稱爲“共用體”類型的結構，也稱爲“聯合體”。
共用體變量的定義
定義共用體類型變量的一般形式爲：
union 共用體名 {
成員列表
} 變量
列表; 例如：
union data {
int i;
char c;
float f;
} a, b, c;
也可以將類型聲明與變量的定義分開：
union data {
int i;
char c;
float f;
};
union data a, b, c;
即先聲明一個 union data 類型，再將 a, b, c 定義爲 union data 類型。此外，也可以省略共用體名直接定義共用體變量：
union {
int i;
char c;
float f;
} a, b, c;
可以看到，“共用體”與“結構體”的定義形式相似，但它們的含義是不同的：
結構體變量所佔的內存長度（字節總數）是各成員佔的內存長度之和，每個成員都分別獨佔其自己的內存單元。
共用體變量所佔的內存長度等於最長的成員的長度。例如上述定義的共用體變量 a, b, c 各佔 4 個字節（因爲其中最長的實型變量佔 4 個字節），而不是各佔 2+1+4=7 個字節。
共用體變量的引用
與結構體類似，共用體變量中成員的引用方式爲：
共用體變量名.成員名
只有先定義了共用體變量才能引用它，而且不能直接引用共用體變量，只能引用共用體變量中的成員。例如，前面定義了共用體變量 a，則：
a.i表示引用共用體變量中的整型變量 ia.c表示引用共用體變量中的字符型變量 ca.f表示引用共用體變量中的實型變量 f
但不能只引用共用體變量，例如 printf("%d", a); 是錯誤的，因爲 a 的存儲區有好幾種類型，分別佔不同長度的字節，僅寫共用體變量名 a，難以使系統確定究竟輸出的哪一個成員的值。
共用體類型數據的特點
在使用共用體類型數據時，應當注意以下一些特點：
同一個內存段可以用來存放幾種不同類型的成員，但在每一瞬時只能存放其中一種，而不是同時存放幾種。也就是說，每一瞬時只有一個成員起作用，其它的成員不起作用，即：共用體中的成員不是同時都存在和起作用的。
共用體變量中起作用的成員是最後一次存放的成員，在存入一個新的成員後，原有的成員就失去作用了。例如有如下賦值語句：
a.i = 1;
a.c = 'F';
a.f = 2.5;
在執行完以上 3 條賦值語句後，此時只有 a.f 是有效的，而 a.i 和a.c 已經無意義了。因此在引用共用體變量的成員時，程序員自己必須十分清楚當前存放在共用體變量中的究竟是哪個成員。
共用體變量的地址和它的各成員的地址都是同一地址，例如 &a、&a.i、&a.c、&a.f 都是同一個地址值，其原因是顯然的。
不能直接對共用體變量名賦值，也不能企圖引用變量名來得到一個值，同時也不能在定義共用體變量時對它初始化。例如，以下這些都是不對的：
union {
int i;
char c;
float f;
} a = {1, 'a', 1.5}; // 不能對共用體初始化
a = 1; // 不能對共用體變量賦值
m = a; // 不能引用共用體變量名以得到一個值
不能把共用體變量作爲函數參數，也不能使函數返回共同體類型的變量，但可以使用指向共用體變量的指針（與結構體變量的指針用法類似，不再贅述）。
共用體類型可以出現在結構體類型定義中，也可以定義共用體數組。反之，結構體也可以出現在共用體類型定義中，數組也可以作爲共用體的成員。
共用體總感覺像是計算機發展早期，內存寸土寸金的遺留產物。
總結
本文簡要介紹了 C 語言中結構體和共用體的概念及其應用，如有不當之處，歡迎指出，
點【在看】是最大的支持
