带有 _Generic 的奇怪 gcc 警告

我有一些代码根据参数的类型使用 _Generic 来调度函数。我不明白 gcc 生成的警告。

编译用gcc main.c

#include <stdio.h>

#define FOOBAR(x) _Generic((x),  \
  int *: foo(x),                  \
  long *: bar(x)                  \
)

void foo(int* x) {
    printf("foo\n");
}

void bar(long* y) {
    printf("bar\n");
}

int main() {
    int a = 1111;
    long b = 2222;

    FOOBAR(&a);
    FOOBAR(&b);
}

现在，这段代码确实可以编译并且 _Generic 按预期工作，即“foo”出现然后“bar”。然而，编译器（gcc 和 clang）生成一个奇怪的警告，看起来它会将 _Generic 的参数匹配到错误的行：

main.c: In function ‘main’:
main.c:20:12: warning: passing argument 1 of ‘bar’ from incompatible pointer type [-Wincompatible-pointer-types]
   20 |     FOOBAR(&a);
      |            ^~
      |            |
      |            int *
main.c:5:15: note: in definition of macro ‘FOOBAR’
    5 |   long *: bar(x)                \
      |               ^
main.c:12:16: note: expected ‘long int *’ but argument is of type ‘int *’
   12 | void bar(long* y) {
      |          ~~~~~~^
main.c:21:12: warning: passing argument 1 of ‘foo’ from incompatible pointer type [-Wincompatible-pointer-types]
   21 |     FOOBAR(&b);
      |            ^~
      |            |
      |            long int *
main.c:4:14: note: in definition of macro ‘FOOBAR’
    4 |   int *: foo(x),                \
      |              ^
main.c:8:15: note: expected ‘int *’ but argument is of type ‘long int *’
    8 | void foo(int* x) {
      |          ~~~~~^

生成两个警告，每个 FOOBAR 一个。似乎正在过去&a这是 int * 到 bar 需要一个 long *，反之亦然&b。 （注释掉 FOOBAR 之一即可看到一个不兼容的指针错误。）

为什么 gcc 警告我 _Generic 正在将其参数分派给错误的函数？

我知道这通常不是人们使用 _Generic 的方式，即参数列表通常是outside_Generic()。但我有一些用于分派到采用不同数量参数的函数的用例。

请注意标准中的示例§6.5.1.1 通用选择 http://port70.net/%7Ensz/c/c11/n1570.html#6.5.1.1 is:

5 示例 cbrt 类型通用宏可以按如下方式实现：

 #define cbrt(X) _Generic((X),                             \
                         long double: cbrtl,               \
                         default: cbrt,                    \
                         float: cbrtf                      \
                         )(X)

请注意函数调用的括号所在的位置 - 在_Generic(…)通用选择的一部分。

将其调整为您的代码：

#include <stdio.h>

#define FOOBAR(x) _Generic((x),           \
                           int *:  foo,   \
                           long *: bar    \
                           )(x)

static void foo(int *x)
{
    printf("foo (%d)\n", *x);
}

static void bar(long *y)
{
    printf("bar (%ld)\n", *y);
}

int main(void)
{
    int a = 1111;
    long b = 2222;

    FOOBAR(&a);
    FOOBAR(&b);

    return 0;
}

这可以使用 GCC 10.2.0 set fussy 干净地编译（源文件gs31.c):

$ gcc -O3 -g -std=c11 -Wall -Wextra -Werror -Wmissing-prototypes -Wstrict-prototypes -fno-common -c gs31.c
$

代码在外部发生变化FOOBAR宏避免我的标准编译选项请求的编译警告。

代码的 C 预处理器的输出是：

int main() {
    int a = 1111;
    long b = 2222;

    _Generic((&a), int *: foo(&a), long *: bar(&a) );
    _Generic((&b), int *: foo(&b), long *: bar(&b) );
}

和....相比：

int main(void)
{
    int a = 1111;
    long b = 2222;

    _Generic((&a), int *: foo, long *: bar )(&a);
    _Generic((&b), int *: foo, long *: bar )(&b);
}

区别在于您的代码调用foo() with a long * (aka &b) and bar()与int * (aka &a），这就是（正确地）触发警告的原因。