一直以来,关于typedef struct和struct都弄得不太清楚,或者现在弄清楚了,隔段时间又忘记了,所以干脆记下来。参考的是《C和指针》
在声明结构时,必须列出它包含的所有成员,这个列表包括每个成员的类型和名字。
struct tag { member-list} variable-list;
首先,举两个例子:
struct
{
int a;
char b;
float c;
}x;
struct
{
int a;
char b;
float c;
}y[20], *z;
相信任何有C语言基础的人都知道,变量y和z的类型与x的类型不同,所以下面这条语句:
z = &x 是非法的。
但是,这是不是以为这某种特定类型的所有结构都必须使用一个单独的声明来创建呢?幸运的是,事实并非如此。标签(tag)字段允许为成员列表提供一个名字,这样它就可以在后续的声明中使用。标签允许多个声明使用同一个成员列表,并且创建同一种类型的结构,请看下面这个例子:
struct SIMPLE
{
int a;
char b;
float c;
};
这个声明把标签SIMPLE和这个成员列表联系在一起。该声明并没有提供变量列表,所以它并未创建任何变量。标签标示了一种模式,用于声明未来的变量,但不论是标签还是模式本身都不是变量。所以以后创建同类型的变量只需要使用这个标签即可,如下:
struct SIMPLE x;
struct SIMPLE y[20], *z;
现在x,y,z都是同种类型的结构变量。
声明结构时可以使用的另一种良好技巧是用typedef创建一种新的类型,如下面的例子所示:
typedef struct
{
int a;
char b;
float c;
}Simple;
这个技巧和声明一个结构标签的效果几乎相同。区别在于Simple现在是个类型名而不是结构标签,所以后续的声明可能像下面这个样子:
Simple x;
Simple y[20], *z
关于结构成员的自引用
在声明一个结构内部包含一个类型为该结构本身的成员是否合法呢?比如下面这个例子:
struct SELF_REF1
{
int a;
struct SELF_REF1 b;
int c;
};
这种类型的自引用是非法的,因为成员b是另一个完整的结构,其内部还将包含它自己的成员b,这第二个成员又是另一个完成的结构,还将包括它自己的成员b。这有点像无穷递归。但下面这个声明却是合法的,而且懂数据结构的人,应该觉得很熟悉:
struct SELF_REF2
{
int a;
struct SELF_REF2 *b;
int c;
};
这个声明和前面那个的区别在于现在b是一个指针而不是结构。编译器在结构的长度确定之前就知道指针的长度,所以这种类型的自引用是合法的。如果你觉得一个结构内部包含一个指向该结构本身的指针有些奇怪,请记住,它事实上所指向的是同一种类型的不同结构,就像链表(List)中的不同元素。
警惕下面这个陷阱:
typedef struct
{
int a;
SELF_REF3 *b;
int c;
}SELF_REF3;
这个声明的目的是为这个结构创建类型名SELF_REF3。但是,它失败了,类型名知道声明的末尾才定义,所以在结构声明的内部,它还尚未定义。解决方案是定义一个结构标签来声明b,如下所示:
typedef struct SELF_REF3_TAG
{
int a;
SELF_REF3_TAG *b;
int c;
}SELF_REF3;
懂了上述的说明之后,下面的声明自然也就能看懂了:
typedef struct Simple
{
int a;
Simple *b;
int c;
}Simple;
该结构既声明了一个标签,又使用的typedef技巧来创建一个新类型,并且都是用名字Simple。所以,以后创建该种类型结构的变量就有如下两种方式:
Simple tt; (这时,Simple指的是一种新类型)
或者: struct Simple test;(这时,Simple指的时标签)