C语言跨文件结构体typedef特殊用法的若干技术疑问

代码示例 #

main.c #

int main()
{
    struct list_t;  // Note 1
    struct list_t* list_malloc(); // Note 2
    struct list_t* list1 = list_malloc();
    return 0;
}

other.c #

#include <stdlib.h>

typedef struct
{
    size_t size;
    int* items;
} list_t;

list_t* list_malloc()
{
    return (list_t*)malloc(sizeof(list_t));
}

1. 为何main()中必须用struct list_t，而other.c中函数签名可直接用list_t？ #

在other.c中，list_t是结构体的typedef别名，编译器已明确其对应关系；但main.c的作用域里没有这个typedef定义，也看不到other.c中结构体的具体内容——它仅通过不完全声明知道存在struct list_t类型，却不知道list_t这个别名和它的关联，因此必须显式写出struct list_t来指代该类型。

2. 该构造在C语言标准中的相关描述位置？ #

这属于**不透明类型（Opaque Type）**的实现，核心对应C标准（以C17为例）的这些章节：

• 不完全类型声明：§6.7.2.3 规定，结构体可仅声明标识符而不给出成员（即struct list_t;形式），这种不完全类型仅能用来定义指向它的指针，直到看到完整定义前无法直接使用该类型的对象。
• 类型兼容规则：§6.2.7 指出，若两个指针指向兼容的结构体类型（哪怕一个是不完全类型、一个是完整类型），则这两个指针类型兼容。此处main.c的struct list_t*与other.c的list_t*本质指向同一结构体，因此指针类型兼容，函数调用和赋值合法。
• 函数兼容规则：§6.7.6.3 规定，函数返回值为指针时，只要指针类型兼容，函数的声明与定义即兼容。

3. Note1行的struct list_t声明为何合法且非必需，extern为何不适用于此？ #

• 合法性：这是结构体的不完全声明，符合C标准要求——仅告知编译器存在名为list_t的结构体类型，此时该类型为不完全类型，仅能用于声明指针，无法定义变量或访问成员。
• 非必需：Note2行的struct list_t* list_malloc();中，struct list_t*已隐含对该结构体的不完全声明，编译器遇到未见过的struct list_t时会自动将其视为不完全类型，因此单独写Note1属于冗余操作。
• extern不适用：extern仅用于声明外部变量或函数，C语言中类型声明不存在extern用法，类型可见性由作用域和编译单元管理，extern无法作用于结构体类型声明，因此无效。

4. Note2行中extern合法但非必需的原因是什么？ #

• 合法：C语言中函数声明默认就是extern属性，struct list_t* list_malloc();与extern struct list_t* list_malloc();完全等价，extern仅显式强调该函数在其他编译单元定义，语法上合法。
• 非必需：函数声明的默认存储类别即为extern，无需显式写出。只有在同一编译单元中声明静态函数（static）时，才需要显式指定存储类别，跨单元函数声明加不加extern不影响效果。

5. main()中用union替代struct无编译报错且程序可运行，是否属于未定义行为？ #

属于未定义行为。原因如下：

• C标准§6.2.7明确规定，结构体类型与联合体类型永远不兼容。main.c中的union list_t*与other.c中的struct list_t*（即list_t*）是指向不同类型的指针，二者类型不兼容。
• 程序能运行只是因为多数编译器中所有指针的大小和表示方式一致，属于实现巧合，标准不保证这种行为的正确性。一旦遇到指针表示有差异的架构，程序会崩溃或出现不可预料的错误，这种写法违反类型兼容规则，属于标准明确的未定义行为。

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