C语言不完整结构体指针前置声明合法而未声明类型指针非法的原因

两种写法合法性不同，本质是C标准对结构体标签和typedef定义的普通类型名设置了完全不同的声明生效规则：

合法示例（指向未补全结构体的指针）的规则依据 #

先看合法代码片段：

/* Example 1. */

struct B *p; /* p: pointer to incomplete struct type B */

/* This declaration completes the struct type B. */
struct B {
    int foo;
};

根据C标准（所有正式版本均沿用该规则）：
当代码中出现struct 标签名的写法时，如果该标签名在当前作用域内从未被声明过，编译器会立即隐式在当前作用域声明一个对应标签的不完整结构体类型，不需要等后续写出完整的成员定义。
不完整类型的核心特征是编译器暂时不知道该类型的内存大小、成员布局，但所有结构体指针的内存长度、存储格式在同一平台下是完全一致的，因此编译器不需要拿到结构体的完整定义，就可以合法生成指向该不完整类型的指针声明。只要后续不对该指针做需要知道结构体大小的操作（比如指针算术p++、解引用取成员、计算类型大小sizeof(*p)），代码就完全符合标准。
后续写出带成员列表的struct B { int foo; }时，本质是把之前隐式声明的不完整struct B类型补全为完整类型，整个过程不存在未声明标识符的问题。

非法示例（指向未声明typedef类型的指针）的违规原因 #

再看非法代码片段：

/* Example 2. */

T_t *p; /* p: pointer to undeclared type T_t. */

typedef int T_t;

和结构体标签的隐式声明规则不同，typedef定义的类型名属于普通标识符，没有“首次使用即自动声明”的特殊待遇。C标准对普通标识符的强制要求是：所有普通标识符必须先经过显式声明，才能在代码中被使用。
编译器按从上到下的顺序逐行处理代码，处理第一行T_t *p时，会检索当前作用域的所有已声明标识符：T_t既不是内置类型名，也不是带struct/union/enum关键字的标签，更不是已经声明过的变量、函数或自定义类型，直接就会触发“未声明的类型”编译错误。哪怕下一行马上就写T_t的typedef定义也无法修正这个错误——处理第一行代码时，后续的typedef语句还没有被执行，T_t这个标识符在当前作用域根本不存在。

关键规则总结 #

• 结构体、联合体、枚举的标签属于特殊标识符，首次以struct X/union X/enum X形式引用时，会被自动隐式声明为对应类别的不完整类型，允许后续补全完整的类型定义。
• typedef定义的类型名、普通变量名、函数名属于普通标识符，不存在隐式前置声明机制，必须先显式声明，才能在后续代码中引用。

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