來自我的博客minecode.link

在用C來實現數據結構以及部分算法時，經常用到結構體，比如實現樹以及樹的子節點時，就需要該結構體包含自身類型的成員變量。而最近在研究OC的匿名函數實現時，也涉及到了類似需求。同時，兩個結構體之間相互引用也經常遇到問題。故簡單總結一下C語言結構體的自引用語法。

示例

我們以二叉樹的節點為例來看一下自引用：

struct binary_tree {
    int data    ;   // Data area
    struct binary_tree * left;
    struct binary_tree * right;
};

在樹中，我們需要保存其左右子樹，所以需要引用自身。

結構體自引用

不使用typedef

如果不適用typedef，那么此時我們需要使用struct [名稱]來調用。
但如果按下面的調用方式

struct binary_tree {
    int data;
    struct binary_tree left;
    struct binary_tree right;
};

則會導致在分配內存的時候循環分配，此時編譯器會計算left和right的成員變量并為之分配內存，從而導致嵌套死循環。

struct binary_tree {
    int data;
    struct binary_tree * left;
    struct binary_tree * right;
};

所以后者是正確的，left和right在分配時是以結構體指針的形式來分配內存的。而意義上我們就是為了將其指向另一個binary_tree，所以這樣是復合邏輯的。

使用typedef

使用typedef可以為結構體設置別名，但是要注意的是，typdef的語法為typedef [原類型] [別名];
所以在結構體聲明之前，別名是未定義的。所以我們在內部需要使用其原類型來定義成員變量。

typedef struct binary_tree {
    int data;
    struct binary_tree * left;
    struct binary_tree * right;
}BinTREE;

結構體相互引用

同文件內

使用不完整類型

通過不完整類型語法來實現相互引用

struct s_a {
    int id;
    struct s_b *B_Ptr;
};

struct s_b {
    int id;
    A *A_Ptr;
};

使用前向聲明

typedef struct s_a A;
typedef struct s_b B;

struct s_a {
    int id;
    B *B_Ptr;
};

struct s_b {
    int id;
    A *A_Ptr;
};

不同文件內

對于不同文件，主要有兩點需要注意的。

• 頭文件重復包含問題
• 結構體的聲明問題

而前者通過宏定義解決

#ifndef __FILENAME_H
#define __FILENAME_H

// 代碼

#endif

后者通過上述的“前向聲明”或“不完整類型即可解決”。