1

关于前向声明和不透明类型有很多问题，但大多数似乎是从库作者的角度来看的，或者人们试图使用没有指针的不完整类型等。

我正在使用一个接口接受/返回FOO *指针的库。我想确认我不能（或不应该）以某种方式向前声明FOO或FOO *在我的头文件（它定义了一个带有FOO *成员的结构）中。

我确实知道我可以#include <library.h>在我的头文件和我的 .c 文件中，但由于这实际上只是一个学习项目，我想得到澄清。（一方面，前向声明似乎是可能的，因为我的结构成员只是一个指针，因此它的大小在不知道是什么的情况下是已知FOO的——但另一方面，我不知道它是否有效/smart 到图书馆已经在这样做的时候。typedef）FOO

提前致谢！

4

2 回答 2

5

假设您永远不需要取消引用指针，那么如果您知道它的结构标记名称，则可以使用不透明类型指针：

typedef struct FOO FOO;

您现在可以创建FOO *变量并使用它们。而且您可能可以从头文件中找到结构标记，但您应该知道库所有者可以随时更改它。

通常最好包含官方头文件，但是如果您的大部分代码没有访问实际的库，只是传递库返回的东西的句柄，您可以避免包含实际头文件的“成本”。在决定什么可能是过早优化之前，您应该衡量该成本是多少。有人可能会争辩说，如果你不得不问这个问题，你就没有足够的知识来确保做对了，而且你有被烫伤的危险。

请注意，您不能创建该类型的实际变量；为此，编译器需要知道结构实际上有多大，这意味着您需要标头中的详细信息。

严格来说，如果你不知道标签名称，那是行不通的。同样，如果结构没有标签，你也不能这样做。如果它不是结构类型，你就不能这样做。

注意，如果你知道结构标签，你也可以写：

struct FOO *fp;

如果您必须有创造力，那么一切都可以传递指针，直到您到达需要访问实际库函数的地步。然后你需要实际的库头（以确保信息是正确的），如果你的结构标签是错误的，那么一切都会崩溃。所以，如果你要玩这个游戏，请确保你的结构标签是正确的。

请注意，C11 允许重复 typedef，只要它每次都相同，而早期版本的 C 不允许这样做。这可能是一个很大的帮助。

工作示例

这接近于显示如何完成的最小示例。它假定重复typedef是合法的 C11。它不适用于 C99 或 C89/C90，因为在编译时会重复typedeffor 。（有多种方法可以调整它，使其在 C99 或更早版本中工作，但它们更混乱，在 typedef 周围使用或类似- 因为假设是你不能改变；如果可以，它是一部分毕竟你的项目。）FOOprojfunc.c#ifdefproject.hlibrary.h

标project.h头主要由属于使用库定义的项目的通用代码使用-在本示例中FOO由 表示。projmain.c它可以单独使用，也可以与 一起使用library.h，这说明了projfunc.c实际与库交互并调用库的项目代码。该文件library.c仅使用library.h.

您可以使用 in 的替代声明FOO来project.h查看哪里出了问题。比如typedef struct BAR FOO;会失败；也会typedef struct FOO *FOO;的。

项目.h

#ifndef PROJECT_H_INCLUDED
#define PROJECT_H_INCLUDED

typedef struct FOO FOO;

typedef struct Project
{
    FOO    *foop;
    char   *name;
    int     max;
    double  ratio;
} Project;

extern int proj_function(Project *pj);

#endif /* PROJECT_H_INCLUDED */

图书馆.h

#ifndef LIBRARY_H_INCLUDED
#define LIBRARY_H_INCLUDED

typedef struct FOO
{
    int x;
    int y;
} FOO;

extern FOO *foo_open(const char *file);
extern int foo_close(FOO *foop);
extern int foo_read(FOO *foop, int *x, int *y);
extern int foo_write(FOO *foop, int x, int y);

#endif /* LIBRARY_H_INCLUDED */

项目主程序

#include "project.h"

int main(void)
{
    Project pj = { 0, 0, 0, 0.0 };

    if (proj_function(&pj) != 0)
        return 1;
    return 0;
}

项目函数c

#include "project.h"
#include "library.h"
#include <stdio.h>

int proj_function(Project *pj)
{
    int x, y;

    pj->foop = foo_open("classic-mode");
    if (foo_write(pj->foop, 1, 2) < 0)
    {
        foo_close(pj->foop);
        return -1;
    }
    if (foo_read(pj->foop, &x, &y) < 0)
    {
        foo_close(pj->foop);
        return -1;
    }
    printf("x = %d, y = %d\n", x, y);
    return 0;
}

图书馆.c

#include "library.h"
#include <assert.h>

static FOO foo = { 0, 0 };

FOO *foo_open(const char *file)
{
    assert(file != 0);
    return &foo;
}

int foo_close(FOO *foop)
{
    assert(foop == &foo);
    foo.x = foo.y = 0;
    return 0;
}

int foo_read(FOO *foop, int *x, int *y)
{
    assert(foop == &foo);
    *x = foop->x + 1;
    *y = foo.y + 1;
    return 0;
}

int foo_write(FOO *foop, int x, int y)
{
    assert(foop == &foo);
    foo.x = x + 1;
    foop->y = y + 2;
    return 0;
}
于 2015-01-12T23:18:55.467 回答
1

该库应该为您定义 FOO，无论是不透明的还是透明的，因为它自己的源是指 FOO。

#include <library.h>应该为您提供库提供的功能的原型，以及与它们交互所需的类型。

如果您创建自己的 FOO 类型，当您从库中包含函数原型时，您几乎肯定会收到一个编译错误，指示“FOO”的多个定义。

于 2015-01-12T23:33:21.597 回答