0

如何正确定义根据 C99 标准取消引用不透明指针的内联函数？假设我在三个文件中组织了一个程序：

opaq.h：

typedef struct Opaq Opaq;

Opaq* opaq_init(void* ptr, int size);
void opaq_free(Opaq* o);
inline int opaq_size(Opaq* o);

opaq.c:

#include <stdlib.h>
#include "opaq.h"

struct Opaq {
    void* ptr;
    int size;
};

Opaq* opaq_init(void* ptr, int size)
{
    Opaq* o = malloc(sizeof(*o));

    o->ptr = ptr;
    o->size = size;

    return o;
}

void opaq_free(Opaq* o)
{
    free(o);
}

int opaq_size(Opaq* o)
{
    return o->size;
}

主.c：

#include <stdlib.h>
#include "opaq.h"

int main(void)

{
    Opaq* o;
    int size;

    o = opaq_init(NULL, 3);
    size = opaq_size(o);
    opaq_free(o);

    return 0;
}

我想opaq_size在main.c中内联。据我所知，这种内联是可能的，因为内联可以在链接期间发生。但是，尝试使用 GCC 编译它会给出以下警告：

$ gcc -Winline -o main main.c opaq.c
In file included from main.c:2:0:
opaq.h:5:12: warning: inline function ‘opaq_size’ declared but never defined
 inline int opaq_size(Opaq* o);

extern在opaq.h中使用关键字会给出相同的警告。编译-fgnu89-inline解决了警告，但是反汇编main表明内联实际上并没有发生。请注意，我无法在标题中定义函数（as static inline），因为结构定义超出了范围。

4

2 回答 2

1

据我所知，这种内联是可能的，因为内联可以在链接期间发生。

不，编译器不能内联它不知道的东西。经典链接器也不能这样做，因为目标文件已经编译。

不透明指针的意义在于使翻译单元独立于指针背后的类型（通常是为客户端提供稳定的 ABI），因此不清楚您要完成什么。如果您以任何方式内联，包括 LTO（链接时间优化）之类的东西，它们将不再是独立的。

总之，如果您不需要它提供的保证，请不要使用不透明指针。

于 2020-08-06T19:22:26.213 回答
0

我希望 opaq_size 在 main.c 中内联。据我所知，这种内联是可能的，因为内联可以在链接期间发生。

是和不是。在任何情况下，C 都无法要求内联。特别是，inline没有指定关键字具有这种效果——它用作提示，而不是指令。然而inline，关键字提出了与不透明类型不兼容的其他要求。具体来说，如果函数inline在特定的翻译单元中声明，则该函数的内联定义也必须出现在 TU 中。如果所讨论的函数必须操作其类型对 TU 不透明的对象，则您无法满足该要求。

如果您的 C 实现能够进行链接时内联，则打开启用该功能所需的任何选项。如果它提供选项或语言扩展来请求对特定函数执行此类内联，则使用它们。您想要的结果取决于特定于实现的行为，并且在您选择的特定实现中可能对您可用，也可能不可用。

于 2020-08-06T19:22:34.157 回答