为何采用数据隐藏后编译器无法确定栈结构体大小？

你遇到的问题本质是C语言不完全类型特性和数据隐藏设计逻辑的必然结果，具体原因拆解如下：

1. 单文件独立编译的机制限制 #

C语言采用单文件独立编译：每个.c源文件会被单独编译成目标文件，编译时编译器只能识别当前文件代码，以及它#include的头文件内容。

你的头文件里仅声明了：

typedef struct stack stack;

这是对struct stack的不完全类型声明——编译器只知道存在这个结构体类型，但完全不清楚它的内部成员、内存布局，自然无法计算整个结构体的总大小。

而你把struct stack的具体定义（成员列表）放到了.c源文件中，这部分内容对其他使用栈的代码（比如你的main.c）完全不可见。当外部代码尝试直接声明stack类型变量（如stack my_stack;）时，编译器就会报错“无法确定类型大小”。

2. 数据隐藏的设计逻辑就是要隐藏结构体大小 #

数据隐藏的核心目标，就是把结构体的内部实现细节（成员、内存布局）封装在源文件里，只对外暴露操作接口（比如init、push、pop这些函数）。这意味着：

• 外部代码不能直接创建stack类型的栈变量，只能通过指针间接操作
• 如果需要创建栈实例，你得在源文件中提供创建函数，比如：

  stack* create_stack() {
      stack* s = malloc(sizeof(struct stack)); // 源文件有结构体定义，能计算出大小
      init(s);
      return s;
  }
  

  外部代码通过这个函数获取栈的指针，再调用接口函数完成操作。

额外注意你的链表实现问题 #

你的链表版init函数中直接写s->head->next = NULL;，这里s->head是未初始化的野指针，运行时会直接崩溃。正确写法应该先把head初始化为NULL：

void init(stack* s) {
    s->head = NULL;
}

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