結構體的自引用(self reference)，就是在結構體內部，包含指向自身型別結構體的指標。

        結構體的相互引用（mutual reference），就是說在多個結構體中，都包含指向其他結構體的指標。

1. 自引用 結構體

1.1 不使用typedef時

錯誤的方式：

1. struct tag_1{  
2.     struct tag_1 A;   /* 結構體 */
3.     int value;  
4. };  

        這種宣告是錯誤的，因為這種宣告實際上是一個無限迴圈，成員b是一個結構體，b的內部還會有成員是結構體，依次下去，無線迴圈。在分配記憶體的時候，由於無限巢狀，也無法確定這個結構體的長度，所以這種方式是非法的。

正確的方式： （使用指標）：

1. struct tag_1{  
2.     struct tag_1 *A;  /* 指標 */
3.     int value;  
4. };  

        由於指標的長度是確定的（在32位機器上指標長度為4），所以編譯器能夠確定該結構體的長度。

1.2 使用typedef 時

錯誤的方式：

1. typedefstruct {  
2.     int value;  
3.     NODE *link;  /* 雖然也使用指標，但這裡的問題是：NODE尚未被定義 */
4. } NODE;  

這裡的目的是使用typedef為結構體建立一個別名NODEP。但是這裡是錯誤的，因為型別名的作用域是從語句的結尾開始，而在結構體內部是不能使用的，因為還沒定義。

正確的方式：有三種，差別不大，使用哪種都可以。

1. /*  方法一  */
2. typedefstruct tag_1{  
3.     int value;  
4.     struct tag_1 *link;    
5. } NODE;  
6. /*  方法二  */
7. struct tag_2;  
8. typedefstruct tag_2 NODE;  
9. struct
    tag_2{  
10.     int value;  
11.     NODE *link;      
12. };  
13. /*  方法三  */
14. struct tag_3{  
15.     int value;  
16.     struct tag *link;    
17. };  
18. typedefstruct tag_3 NODE;  

2. 相互引用 結構體

錯誤的方式：

1. typedefstruct tag_a{  
2.     int value;  
3.     B *bp;  /* 型別B還沒有被定義 */
4. } A;  
5. typedefstruct tag_b{  
6.     int value;  
7.     A *ap;  
8. } B;   

        錯誤的原因和上面一樣，這裡型別B在定義之 前 就被使用。

正確的方式：（使用“不完全宣告”）

1. /* 方法一   */
2. struct tag_a{  
3.     struct tag_b *bp;  /* 這裡struct tag_b 還沒有定義，但編譯器可以接受 */
4.     int value;  
5. };  
6. struct tag_b{  
7.     struct tag_a *ap;  
8.     int value;  
9. };  
10. typedefstruct tag_a A;  
11. typedefstruct tag_b B;   
12. /*  方法二   */
13. struct tag_a;   /* 使用結構體的不完整宣告（incomplete declaration） */
14. struct tag_b;  
15. typedefstruct tag_a A;   
16. typedefstruct tag_b B;  
17. struct tag_a{  
18.     struct tag_b *bp;  /* 這裡struct tag_b 還沒有定義，但編譯器可以接受 */
19.     int value;  
20. };  
21. struct tag_b{  
22.     struct tag_a *ap;  
23.     int value;  
24. };  

/*以下為自引用程式，VC6.0編譯通過*/

#include <stdio.h>


typedef struct student_tag //student是識別符號，stu_type是型別符號，struct student=stu_type
{
    int num;             /*定義成員變數學號*/
    int age;             /*定義成員變數年齡*/
    struct student_tag* stu_point;
}stu_type;






void main()
{
    /*給結構體變數賦值*/
    //struct student stu ={001,"lemon",'F',23,95};
    
stu_type stu ={001,26,&stu};
  
printf("學生資訊如下：\n");         /*輸出學生資訊*/
    printf("學號:%d\n",stu.num);        /*輸出學號*/
   
   
    printf("年齡:%d\n",stu.age);       /*輸出年齡*/




printf("%p\n",stu.stu_point);    /*指標變數的值，為四個位元組*/



printf("%d\n",sizeof(stu));    /*結構體型別stu_type佔了12個位元組*/

    
}

/*下面為程式執行結果*/

/*以下為互引用程式，使用結構體的不完整宣告（incomplete declaration）*/

}

/*下面為程式執行結果*/