C 語言結構體進階（十三）：嵌套結構定義、成員訪問與初始化實戰

編輯：關於C語言

前言

嵌套結構是構建複雜數據模型的基石，允許將一個結構類型作為另一個結構的成員。本文詳細講解嵌套結構的定義順序、成員訪問鏈式語法、初始化策略，並給出學生-地址實戰模型。

一、嵌套結構定義規範

核心規則：內層結構必須先定義/聲明

/* 1. 先定義內層結構 addr */
struct addr {
    char city[20];
    unsigned long zipcode;
    char tel[14];
};

/* 2. 再定義外層結構 student，嵌入 addr */
struct student {
    char name[8];
    int age;
    struct addr address;  /* 嵌套成員 */
} stu1, stu2;             /* 直接定義變量 */

/* 或分離標籤與變量 */
struct student {
    char name[8];
    int age;
    struct addr address;
};
struct student stu1, stu2;

注意：struct addr address; 中的 addr 是類型標籤，address 是成員名，兩者名字空間獨立，可同名但不建議。

二、成員訪問：鏈式點運算符

語法：外層變量.內層變量.最內層成員

stu1.address.zipcode = 200001;  /* 賦值 */
printf("%s", stu1.address.city); /* 讀取 */

/* 若有指針 */
struct student *ps = &stu1;
ps->address.zipcode = 100000;    /* 箭頭運算符等價於 (*ps).address.zipcode */

遞歸原則：無論嵌套多少層，**從最外層變量出發，逐層點選成員名**，直到目標標量成員。

三、初始化策略

1. 完全初始化（靜態存儲期）

struct student stu = {
    "Zhang", 20,
    { "Beijing", 100086, "12345678" }  /* 內層用大括號包裹 */
};

2. 部分初始化 / 指定初始化器 (C99)

struct student stu = {
    .name = "Li",
    .address.zipcode = 510000  /* 跳過中間成員 */
};

3. 運行時動態賦值

strcpy(stu.name, "Wang");
stu.age = 22;
stu.address.zipcode = 430000;

四、記憶體佈局與對齊影響

嵌套結構在記憶體中**按順序展開**，內層成員緊隨外層前序成員。
整體對齊要求 = 所有成員（含內層展開後）對齊要求的**最大值**。
編譯器會在內層結構末尾插入填充位元組，滿足外層後續成員或結構整體對齊。

五、實戰建模：學生檔案系統

struct addr {
    char province[16];
    char city[16];
    char district[16];
    char detail[64];
    unsigned long zipcode;
};

struct student {
    long id;
    char name[32];
    int age;
    char gender;        /* 'M'/'F' */
    struct addr home;   /* 戶籍地址 */
    struct addr school; /* 學校地址 */
    float gpa;
};

void print_student(const struct student *s) {
    printf("ID:%ld Name:%s Age:%d GPA:%.2f\n", s->id, s->name, s->age, s->gpa);
    printf("  Home: %s %s %s %s %lu\n",
           s->home.province, s->home.city, s->home.district, s->home.detail, s->home.zipcode);
}

六、常見錯誤與避坑

錯誤代碼	問題	修正
`struct student { struct addr address; };` 未先定義 addr	編譯錯誤：未知類型	先定義 addr 或前置聲明 `struct addr;`（僅限指針成員）
`stu.address.zipcode = 1234567890;`	超出 unsigned long 範圍	確認數值範圍或改用 uint64_t
`scanf("%s", stu.address.city);` 無長度限制	緩衝區溢出風險	`scanf("%15s", stu.address.city);`
嵌套結構作為函數參數傳值	大結構拷貝開銷大	傳遞指針 `const struct student*`