为何需将typedef置于头文件并分离结构体定义？而非全在.c中实现

一、为什么不能把typedef全部放在.c文件中？ #

如果将typedef struct stack stack;这类类型声明也放进.c文件，只在头文件保留函数声明，会直接导致其他依赖该头文件的源文件无法识别stack类型。

举个实际场景：假设你的头文件stack.h里只有函数声明：

stack* create_stack(int maxsize);
void push_stack(stack* s, int val);

当另一个源文件main.c包含stack.h后，编译器碰到stack这个类型名时，完全不知道它指代什么——因为typedef的定义只存在于stack.c的编译单元里，main.c根本看不到这个声明，会直接抛出「未知类型名‘stack’」的编译错误。

只有把typedef struct stack stack;放在头文件中，所有包含该头文件的编译单元才能识别stack这个类型别名，才能正常使用以该类型为参数或返回值的函数接口。

二、为什么要将typedef与结构体定义分离？ #

这么做的核心目的是实现信息隐藏（封装），能带来两个关键收益：

• 保护内部数据安全：结构体的具体成员（比如maxsize、top）仅在定义它的.c文件中可见，其他文件只能通过你提供的公共函数（如创建、入栈、出栈函数）操作栈，无法直接读写内部成员，避免了非法修改或错误访问引发的bug。
• 降低代码耦合度：如果后续需要修改结构体的内部实现（比如把int* items换成动态数组结构，或者新增成员），只要对外的函数接口（参数、返回值）不变，其他依赖该模块的代码完全不需要修改，仅需重新编译你的.c文件即可，大幅提升了代码的可维护性。

如果把完整的结构体定义放在头文件里，所有包含头文件的代码都能直接访问内部成员，一旦结构体修改，所有依赖它的代码都要适配调整，耦合度极高，维护成本会变得很高。

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