为什么可以在c中使用未定义的结构

时间:2012-05-25 08:26:32

标签: c

#include <stdio.h>

int main()
{
  printf("%d", sizeof(struct token *));
}

上面的代码可以在Linux下使用gcc编译和链接。你们中的任何人都可以向我解释场景背后的事情吗?我知道重点是内存的修复大小,所以结构 token与sizeof无关,但是甚至打开gcc中的警告选项,根本没有关于“none exists”结构的警告。问题的背景是我正在阅读其他人的一些源代码,我正在非常努力地找到“struct token”的定义,但当然失败了。

2 个答案:

答案 0 :(得分:12)

因为您试图将指针的大小设置为struct token。指针的大小不取决于结构的实际定义方式。

通常,您甚至可以声明类型struct token*的变量,但不能取消引用它(例如,通过指针访问成员)。

答案 1 :(得分:9)

为了解释C标准,不完整类型是描述一个类型的类型 对象但缺乏确定其大小所需的信息。

void是另一种不完整的类型。与其他不完整类型不同,void不能 完成。

这种“不完整类型”通常用于各种句柄:库允许您为某些东西分配“句柄”,使用它并再次处理它。所有这些都发生在库中。您作为用户不知道内部会发生什么。

示例:

lib.h:

struct data * d_generate(void);
void d_set(struct data *, int);
int d_get(struct data *);
void d_free(struct data*);

lib.c:

#include "lib.h"
#include <stdlib.h>
struct data { int value; };
struct data * d_generate(void) {
    return malloc(sizeof(struct data))
}
void d_set(struct data * d, int v) {
    d -> value = v;
}
int d_get(struct data * d) {
    return d->value;
}
void d_free(struct data* d) {
   free(d);
}

user.c的:

#include "lib.h"
[...]
struct data * d = d_generate();
d_set(d, 42);
int v = d_get(d);
// but v = d->value; doesn't work here because of the incomplete definition.
d_free(d);