C11 _Generic:如何处理字符串文字？

Question

使用_GenericC11中的功能,您如何处理字符串文字？

例如:

#include <stdio.h>
#define foo(x) _Generic((x), char *: puts(x))

int main()
{
    foo("Hello, world!");
    return 0;
}

在clang上给出了这个错误:

controlling expression type 'char [14]' not compatible with any generic association type

更换char *用char[]给我

error: type 'char []' in generic association incomplete

获得这个编译的唯一方法(据我所知)是:

1. 将字符串文字转换为适当的类型.这是丑陋的(在我看来)首先打破了这一点_Generic.
2. 使用char[14]的类型说明符.你一定是在开玩笑吧......

我的假设是数组在传递时会衰减到指针_Generic,但显然不是.那么,如何做我用_Generic用字符串文字？那是唯一的两种选择吗？

我在Debian上使用clang 3.2.不幸的是,它是我访问过的唯一支持此功能的编译器,所以我不知道它是否是编译器错误.

Answer 1

这是一个解决方案:

#include <stdio.h>
#define foo(x) _Generic((0,x), char*: puts(x))

int main()
{
    foo("Hello, world!");
    return 0;
}

这编译并产生:

$ clang t.c && ./a.out 
Hello, world!

这是有点跛,但我没有找到什么更好的方法,使x衰减到字符指针,也不符合其在模糊时尚型,你需要,与苹果LLVM 4.2版(铛- 425.0.28)(基于LLVM 3.2svn).

根据由延猛吹这篇博客文章,海湾合作委员会的行为是不同的(在GCC,字符串自动衰减中的指针_Generic方面,显然).

顺便说一句,在C中,字符串文字的类型是数组char,而不是const char.在泛型关联中拒绝char []作为类型名称不是编译器错误:

通用选择应具有不超过一个默认通用关联.泛型关联中的类型名称应指定除可变修改类型之外的完整对象类型.(重点是6.5.1.1:2)

Answer 2

我想出了一种避免使用聪明(0,x)伎俩的方法.

如果使用字符串文字,则类型为char[s],s字符串文字的大小.

你如何获得这个尺寸？,使用sizeof运营商:

#include <stdio.h>

#define Test( x )   _Generic( ( x ) ,   char*: puts ,                   \
                                        const char*: puts ,             \
                                        const char[sizeof( x )]: puts , \
                                        char[sizeof( x )]: puts )( x )

int main(void) 
{

    char str[] = "This" ;
    Test( str ) ;

    Test( "works" ) ;

    char str2[10] = "!!!" ;
    Test( str2 ) ;

return 0;
}

我尝试用clang和Pelles编译它并且它起作用了.

你仍然需要构建可变长度数组的唯一问题.

在尝试了一些之后,我找到了另一种模拟 Pascal Cuoq做的方法,使用&*运算符:

#include <stdio.h>
#define foo(x) _Generic( ( &*(x) ), char*: puts , const char*: puts )( x )

int main()
{
    foo("Hello, world!");
    return 0;
}

Answer 3

Clang 的行为在3.7.1之前是不正确的（C11 缺陷报告 481）。它在2016 年 3 月 8 日发布的 Clang 3.8.0 中得到修复。

委员会对 DR 481 的回应如下：

这篇论文引发了一场长期而富有成效的讨论。委员会同意_Generic提案作者的观点，即明确避免选择符合条件的类型，就像按大小选择数组一样。的目的_Generic是为 C 提供一种机制，在某种程度上表达 C++ 中“重载函数”的概念，尤其是实现者用来实现第 7.17.7 节中的原子类型泛型函数的可能机制。