相关疑难解决方法(0)

尝试创建一个宏,可以在定义DEBUG时用于打印调试消息,如下面的伪代码:

#define DEBUG 1
#define debug_print(args ...) if (DEBUG) fprintf(stderr, args)

如何用宏实现这一目标？

以下代码生成2个警告,这些警告在问题标题中描述.

#include <stdio.h>

static void _print_f(float *f){printf("float : %f\n", *f);}
static void _print_i(int *i)  {printf("int   : %d\n", *i);}

#define print(num) _Generic((num), \
    int*   : _print_i(num),        \
    float* : _print_f(num))


int main(void)
{
    print((&(int){10}));
    print((&(float){10.f}));

    return 0;
}

OUTPUT:

int   : 10
float : 10.000000

我知道,这个宏可以写成如下:

#define print(num) _Generic((num), \
    int*   : _print_i,             \
    float* : _print_f)(num)

在这种情况下,不会有任何警告,但我的例子是我写的一个虚拟片段来证明问题.在我的真实代码库中,我选择了以前的解决方案,因为其他一些"默认"但类型特定的参数需要传递给选定的函数.

所以问题是:即使宏正在按预期工作,输出正是我所期望的,为什么会产生警告？

旗帜与环境:

/* Mac OS X 10.9.4
   Apple LLVM version 5.1 (clang-503.0.40) (based on LLVM 3.4svn) */
cc -Wall -v -g -std=c11 …

（请注意，这是一个语言律师问题。）

弃用的问题

更新：我搞砸了问题 0。当我写这篇文章时，我正在查看 C 2018 6.5.2.2 6 中的参数-参数类型规则，这些规则不在约束部分中，因此可能会被编译器忽略。我忽略了约束部分中的 6.5.2.2 2，因此需要编译器来诊断不匹配的类型。如果我注意到这一点，我就不会问问题 0。

在这个问题中，我们需要这样的代码：

int AddVersion0(int a, int b       ) { return a+b;   }
int AddVersion1(int a, int b, int c) { return a+b+c; }

typedef int (*TypeVersion0)(int, int);
typedef int (*TypeVersion1)(int, int, int);

#define Foo(f, a, b)    _Generic((f),  \
        TypeVersion0: (f)((a), (b)),   \
        TypeVersion1: (f)((a), (b), 0) \
    )

#include <stdio.h>

int main(void)
{
    printf("%d\n", Foo(AddVersion0, 3, 4));
    printf("%d\n", Foo(AddVersion1, 3, 4));
}

（Foo已经参数化了一个函数f …