未定义功能感应

Question

我正在尝试使用 GCC 编译器执行此操作（这可能吗？）：

指定一个函数，但这个函数如果没有实现则指向一个 NULL。示例：

extern void something(uint some);

如果未实现，则指向 NULL 值。

所以可以这样检查：

something != NULL ? something(222) : etc.;

我想要通过 GCC 解决方案（这可以通过函数指针解决）。

Answer 1

您可以使用 GCC 的 weakref 属性执行此操作：

extern void something(int);
static void something_else(int) __attribute__((weakref("something")));

int main()
{
  if (something_else)
    something_else(122);
}

如果程序中未定义 something，则弱别名 something_else 的地址将为零。如果定义了 something，something_else 将是它的别名。

Answer 2

这绝对不是可移植的，但 gcc 可以在某些平台上使用弱符号来做到这一点。我知道这适用于 Linux 和 *BSD，但不适用于 MacOS。

$ cat weak.c
#include <stdio.h>

extern int foo(void) __attribute__((__weak__));

int
main(int argc, char **argv)
{
    int x = foo ? foo() : 42;

    printf("%d\n", x);
    return 0;
}
$ cat weak2.c
int
foo(void)
{
    return 17;
}
$ cc -o weak weak.c && ./weak
42
$ cc -o weak weak.c weak2.c && ./weak
17
$

Answer 3

本质上，您是在尝试让编译器将函数定位到内存地址 0 (NULL)。如果没有 platform/compiler 特定的构造，这无法在 C 中完成。

但有一个问题，您为什么要这样做。 C 是一种静态语言，因此如果您知道该函数在编译期间永远不会存在，您还不如使用预处理器在编译时将此告知程序的其余部分。事实上，这些类型的编译时替换正是预处理器首先出现的原因。

如果您的函数存在，我会创建一个您定义的宏，如下所示：

#define THE_SOMETHING_FUNCTION_EXISTS

然后用 #ifdef 代替您测试 something == NULL 的任何地方。

当然，如果函数的存在可能会在运行时发生变化，那么实现您想要的行为的正确方法是使 something 成为一个函数指针。

未定义功能感应

Undefined function sensing

c

gcc