C语言中List和Person的前置声明是否必要？是否为良好实践？

先看你给出的头文件代码：

#ifndef HANDLE_H
#define HANDLE_H

struct List;
typedef struct List* HANDLE;

struct Person;
typedef struct Person Person_t;

HANDLE list_create(void);
void list_destroy(HANDLE);
void list_push_front(HANDLE, const Person_t*);
void list_pop_front(HANDLE);

#endif  // HANDLE_H

一、两个前置声明的必要性 #

1. struct List的前置声明是必要的
   代码里通过typedef struct List* HANDLE定义了指针类型HANDLE，后续函数的返回值（list_create）和参数（list_destroy、list_push_front）都用到了HANDLE。在C语言中，使用指向结构体的指针类型时，编译器不需要知道结构体的完整定义，但必须先确认该结构体类型存在——也就是需要前置声明。如果去掉struct List;，编译器会报错“unknown type name 'struct List'”，typedef无法完成。

2. struct Person的前置声明也是必要的
   代码里typedef struct Person Person_t，而list_push_front的参数是const Person_t*。同样，这里用到的是Person_t的指针类型，编译器只需要知道struct Person是合法的结构体类型即可，不需要完整定义。如果去掉struct Person;，typedef时编译器会找不到struct Person的声明，直接报错。

二、这种前置声明属于良好编程实践 #

这么做完全符合C语言的最佳实践，原因有三点：

• 减少编译依赖：头文件只放前置声明，不暴露结构体的完整定义，其他文件包含这个头文件时，不会被牵连到结构体内部细节，能大幅减少编译时间，在大型项目中效果尤为明显。
• 实现封装隐藏：把struct List和struct Person的具体定义放在对应的.c文件里，头文件只提供对外的操作API和必要的类型声明，用户无法直接访问结构体内部成员，避免非法修改，同时降低了代码耦合度——后续修改结构体内部时，不需要修改头文件，不会影响所有包含该头文件的代码。
• 解决循环依赖：如果两个头文件需要互相引用对方的结构体类型，用前置声明可以避免直接包含头文件导致的循环依赖问题，让代码结构更清晰。

内容的提问来源于stack exchange，提问作者rand_program