关于结构体中使用自身数据类型的说明

关于结构体中使用自身数据类型的说明

今天在看FreeRTOS源码是看到了这样的书写方式

/*代码清单6-3 定义链表节点数据结构*/
struct xLIST_ITEM
{
	TickType_t xItemValue;            /*辅助值，用于帮助节点做循序排列*/
	struct xLIST_ITEM * pxNext;        /*指向下一个链表节点*/
	struct xLIST_ITEM * pxPrevious;    /*指向上一个链表节点*/
	void * pvOwner;                    /*指向拥有该节点的内核对象，通常是TCB*/
	void * pvContainer;                /*指向该节点所在的链表*/
};
typedef struct xLIST_ITEM ListItem_t;  //节点数据类型重定义

这让我很好奇，C语言怎么能有这样的书写方式呢？
百度了一下，CSDN社区的朋友给我做出来了解答。

• 首先指明，变量是不能使用自身结构体类型的，因为在定义时自身结构体类型的大小还是不确定的，因此不能使用自身的结构体类型。
• 但是指针可以，指针在固定平台上的内存大小是确定的。
• 同时定义成员函数时，结构体类型做函数参数类型是可以的，是因为函数参数在运行时才会压栈，因此编译是没有问题的；运行时，结构体类型已经是定义好的，因此也不会有问题。
• 定义成员函数时，结构体指针做函数参数类型是可以的
  指针做函数参数，没有问题；

在这里因为一段代码，说明这个问题：

typedef struct struct_exp
{
	struct struct_exp Exp1;    //结构体struct_exp还没定义好，编译器不知道该类型所需多大空间，因此会报错
	struct struct_exp * pExp2;	// pExp2是一个指针，OK
	void fun1(struct struct_exp Exp3); /*Exp3是一个结构体变量做函数参数：
										（1）函数参数在运行时才会压栈，因此编译是没有问题的；
										（2）运行时，结构体类型已经是定义好的，因此也不会有问题*/
	void fun2(struct struct_exp * pExp4); //pExp4是一个指针做函数参数，也是OK的
}struct_exp_t；

特别强调，说明类型时只用能struct struct_exp，而不是struct_exp_t。