我正在研究第 3 方代码库，发现将类型声明为指向未定义结构的指针显然是有效的。作为一个最小的工作示例，考虑一个 C 文件 test.c，它只包含：
typedef struct foo *bar;
让我吃惊的是，这个文件使用命令编译没有任何问题
gcc test.c -shared
为什么编译器不会抱怨没有在任何地方声明 struct foo？
我的环境是 Ubuntu 16.04 和 gcc (Ubuntu 5.4.0-6ubuntu1~16.04.5) 5.4.0 20160609。
【问题讨论】：
上面的声明创建了一个struct foo 的前向声明。虽然你不能访问它的成员，但是你可以对指向它的指针进行操作。
这通常被称为不透明类型，用于向库的用户隐藏库的实现细节。
例如，一个库实现可能包含以下内容：
lib.c:
struct foo {
int f1;
};
struct foo *init()
{
return malloc(sizeof(struct foo));
}
void set1(struct foo *p, int val)
{
p->f1 = val;
}
int get1(struct foo *p)
{
return p->f1;
}
void cleanup(struct foo *p)
{
free(p);
}
此库的头文件可能如下所示：
lib.h:
struct foo;
struct foo *init(void);
void set1(struct foo *p, int val);
int get1(struct foo *p);
void cleanup(struct foo *p);
该库的用户将使用init 函数来创建结构的实例，并使用set1 和get1 函数来读取/更新成员。但是，用户不能创建struct foo 的实例或访问成员，而无需通过其中一个接口函数。
【讨论】：
void 的指针应具有与指向字符类型的指针相同的表示和对齐要求。类似地，指向兼容类型的合格或不合格版本的指针应具有相同的表示和对齐要求。所有指向结构类型的指针都应具有彼此相同的表示和对齐要求。所有指向联合类型的指针都应具有彼此相同的表示和对齐要求。指向其他类型的指针不需要具有相同的表示或对齐要求。
因为指向结构的指针具有相同的大小（对于任何结构）。结构指针的大小不取决于它的定义。因为无论如何，指向它的指针的行为方式与任何其他结构指针相同。
【讨论】：