5

我是 C 新手，目前正在通过在 C11 中使用 _Generic 来探索函数重载的概念。

在这篇 SO 帖子中，@Lundin 提供了以下代码片段，我可以毫无问题地运行它：

#include <stdio.h>

void func_int (int x) { printf("%d\n", x); }
void func_char (char ch) { printf("%c\n", ch); }

#define func(param)          \
  _Generic((param),          \
    int:  func_int(param),   \
    char: func_char(param)); \

int main() 
{
  func(1);
  func((char){'A'});
}

@Lundin 还提到了以下内容：

更好的方法是使用单个结构参数创建一个函数接口，该结构参数可以适应包含所有必要的参数。有了这样的接口，你就可以使用上面基于_Generic的简单方法了。类型安全且可维护。

所以我决定扩展上面的例子structs来看看它的实际效果。

以下是我的尝试：

#include <stdlib.h>
#include <stdio.h>

typedef struct args_int Args_int;
typedef struct args_char Args_char;

void func_int(Args_int args);
void func_char(Args_char args);

struct args_int {
    int val;
};
struct args_char {
    char val;
};

#define func(param)\
    _Generic((param),\
        Args_int: func_int(param),\
        Args_char: func_char(param));


void func_int (Args_int args) {
    printf("%d\n", args.val);
}

void func_char (Args_char args) {
    printf("%c\n", args.val);
}

int main(void) {
    Args_char args = {0};
    args.val = 'A';
    func(args);
}

但是，不幸的是，我收到以下编译错误，它抱怨我在Args_char编译器期望Args_int. 显然，我的意图是通过 an Args_char，而我的期望是func_char被调用。

struct_args_by_val_executable.c:35:10: error: passing 'Args_char' (aka 'struct args_char') to parameter of incompatible type 'Args_int' (aka 'struct args_int')
    func(args);
         ^~~~
struct_args_by_val_executable.c:20:28: note: expanded from macro 'func'
        Args_int: func_int(param),\
                           ^~~~~
struct_args_by_val_executable.c:24:25: note: passing argument to parameter 'args' here
void func_int (Args_int args) {
                        ^
1 error generated.

为什么我的示例没有按预期工作，这里的解决方法是什么？

在相关说明中，我设法获得了一个“指向结构的指针”版本，没有任何问题，如下所示。但是，鉴于上述编译错误，我觉得这可能是侥幸？

#include <stdio.h>

typedef struct args_int Args_int;
typedef struct args_char Args_char;

void func_int(Args_int *args);
void func_char(Args_char *args);

struct args_int {
    int val;
};
struct args_char {
    char val;
};

#define func(param)\
    _Generic((param),\
        Args_int*: func_int(param),\
        Args_char*: func_char(param));


void func_int (Args_int *args) {
    printf("%d\n", args->val);
}

void func_char (Args_char *args) {
    printf("%c\n", args->val);
}

int main(void) {
    Args_char args = {0};
    args.val = 'A';
    func(&args);
}

上面的输出与预期的一样：

A
4

2 回答 2

5

问题是所有使用的表达式都_Generic必须是有效的。在您的示例宏func扩展为：

int main(void) {
    Args_char args = {0};
    args.val = 'A';
    _Generic(args,
             Args_int: func_int(args),
             Args_char: func_char(args));
}

请注意，使用func_int(args)for argswhich 会Args_char导致错误。

解决方案是使用_Generic选择一个函数指针，然后对其应用参数。

#define func(param)                       \
    _Generic((param),                     \
             Args_int: func_int,          \
             Args_char: func_char) (param)
于 2021-09-27T13:45:49.133 回答
1

只是发布这个“记录”：

这实际上不是您在那里找到的我的一个很好的代码示例！_Generic正如@tstanisl 刚刚在他们的回答中提到的那样，将参数列表包含在子句之外会更好（我会接受那个作为您问题的答案）。这就是 C 委员会打算使用该功能的方式，您可以在标准本身中找到此类示例，例如 6.5.1：

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

您找到的代码片段是幸运的，因为在调用函数char时int可以“就像通过赋值”一样相互转换。当使用两种无法隐式转换的不兼容类型时，宏将错误地扩展为错误的类型。

我现在更新了https://stackoverflow.com/a/44633838/584518以使用它：

#define func(param)          \
  _Generic((param),          \
    int:  func_int,          \
    char: func_char)(param)  \
于 2021-09-27T13:59:53.357 回答