C 中有什么方法可以在标头中转发声明结构，而不必在其他文件中使用指针？

Question

假设我在 list.h 中有这个：

typedef struct list_t list_t;
typedef struct list_iter_t list_iter_t;
list_iter_t iterator(list_t *list);

然后在 list.c 中定义它们：

typedef struct node_t {
    ...
} node_t;

struct list_iter_t {
    node_t *current;
    // this contains info on whether the iterator has reached the end, etc.
    char danger;
};

struct list_t {
    ...
}

list_iter_t iterator(list_t *list) {
    list_iter_t iter;
    ...
    return iter;
}

除了在头文件中包含结构声明以便在某些文件 test.c 中我可以有：

#include "list.h"

void foo(list_t *list) {
    list_iter_t = iterator(list);
    ...
}

就像也许告诉编译器以某种方式确定 list_iter_t 的存储大小？必须使用指针很不方便（不是因为它是指针，而是因为其他原因），但同时我想尽可能隐藏实现细节。

Answer 1

简洁的答案是“否”。

告诉编译器 struct 大小的方法是告诉它 struct 的结构细节。如果要分配一个对象，而不是指向该对象的指针，编译器必须知道该对象的完整类型。如果类型不完整，您也无法通过指向结构的指针访问结构的成员。也就是说，编译器必须知道成员的偏移量和类型才能生成正确的代码来访问 someptr->member （以及分配 somevalue 或访问 <代码>somevalue.member）。

Answer 2

使用如下虚拟定义可以告诉编译器结构的大小：（

struct node_t {
    char dummy[sizeof(struct { ... })];
};

使用正确的定义而不是可用于实现文件）。

从形式上来说，这会导致未定义的行为；不过，它在实践中可能会有一定作用。

不过，您可能最好只包含正确的结构定义，并留下注释，大意是代码不应触及内部成员。