Question

我正在尝试使用C11中的_Generic宏生成重载函数，并且我已停止零参数函数支持，例如：

#define msg(_1) _Generic((_1), char*: msg_string, default: msg_none)(_1)

char* msg_none(void){
    return moo_string("Have a nice day!");
}

char* msg_string(char* message){
    int msglen = strlen(message);
    char* result = malloc(msglen + 3);
    sprintf(result, "<%s>\n", message);
    return result;
}

现在编译并运行：

printf("%s",msg("hello!"));

没有任何问题，但是：

printf("%s",msg());

抛出错误：

main.c:7:17: error: expected expression
printf("%s",msg());

我正在使用：

 clang --version
 clang version 3.5.0 (tags/RELEASE_350/final)
 Target: x86_64-pc-linux-gnu
 Thread model: posix

海湾合作委员会抛出：

main.c:7:5: warning: implicit declaration of function ‘_Generic’

所以我理解_Generic不支持此版本的gcc：

gcc --version
gcc (Gentoo 4.8.3 p1.1, pie-0.5.9) 4.8.3

我的问题是否可以解决，或者我只是高估了_Generic的功能，或者我只是需要升级我的编译器以正确使用这些选项？

Answer 1

C具有可以接收零个或多个参数的可变参数宏

#define msg(...) _Generic((__VA_ARGS__+0), char*: msg_string, default: msg_none)(__VA_ARGS__)

此处+0另外确保为您的字符串参数执行数组到指针转换，您似乎认为。

后者很重要，因为如果选择表达式是数组，gcc和clang当前的行为会有所不同。

编辑：如果有人传入char const*您可能也希望您的宏能够正常工作，那么您也应该添加该案例。

Answer 2

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

#define dummy void
#define ARGS_AUX(_0, VAR, ...) VAR
#define ARGS(...) ARGS_AUX(dummy, ##__VA_ARGS__, NULL) //gnu extensions
#define MSG(var) (_Generic(var, char*: msg_string(var), default: msg_none()))
#define msg(...) MSG(ARGS(__VA_ARGS__)) //MSG(NULL) when no argument

char *moo_string(const char *s){
    return (char*)s;
}

char* msg_none(void){
    return moo_string("Have a nice day!");
}

char* msg_string(char* message){
    int msglen = strlen(message);
    char* result = malloc(msglen + 4);
    sprintf(result, "<%s>\n", message);
    return result;
}

int main(void){
    printf("%s\n", msg());//Have a nice day!
    printf("%s\n", msg((char*)"hello!"));//<hello!>, type is char[7] when no cast
    return 0;
}

将零参数函数添加到_Generic宏

2 个答案: