3

我相信标题是不言自明的，但这里有一个例子来说明我想要完成的事情：

#define PASTE2(_0, _1)  _0 ## _1

#define DEFINE_OPS_FOR_TYPE(TYPE)                   \
    int PASTE2(do_something_with_, TYPE)(void) {    \
        /* do_something_with_<TYPE> */              \
    }

一切都适用于char、int和单字类型，但是当涉及到unsigned类型或其他具有多个关键字的类型时，a ## b由于空格（例如：），使用标记粘贴 ( ) 不会生成有效名称do_something_with_foo bar。

我能想到的最简单的解决方案是更改DEFINE_OPS_FOR_TYPE宏以将有效名称作为第二个参数。例如：

#define DEFINE_OPS_FOR_TYPE(TYPE, NAME_FOR_TYPE)            \
    int PASTE2(do_something_with_, NAME_FOR_TYPE)(void) {   \
        /* do_something_with_<NAME_FOR_TYPE> */             \
    }

这按预期工作，但我对其他可能的解决方案很好奇，即使它们过于复杂。我想过使用_Generic，但我看不出它对定义名称有何帮助。

你能想出另一种解决方案吗？

4

2 回答 2

2

在您想要做的符号的声明或定义级别上，没有太多方法可以typedef为所讨论的类型设置唯一标识符。_Generic或等效的替代品出现得太晚，对预处理器没有用处。

但是只有有限数量的标准类型会造成这样的问题。所以你可以很容易地想出一个对这些进行类型定义的约定。

在此类定义符号的使用_Generic方面可以提供帮助。然后你可以在这里做类似的事情

_Generic((X),
  unsigned long: do_something_with_ulong,
  unsigned char: do_something with_uchar,
  ...
)(X)

在P99中，我遵循了这个方案，你会发现很多支持宏已经到位。

于 2013-01-03T12:30:24.437 回答
1

我最终使用了一个带有空参数的宏。例子：

#define STR2(x)             # x
#define STR(x)              STR2(x)
#define PASTE3(_1,_2,_3)    _1 ## _2 ## _3
#define FOO(_1,_2,_3)       PASTE3(_1, _2, _3)

printf("%s\n", STR(FOO(int,,)));
printf("%s\n", STR(FOO(unsigned, int,)));
printf("%s\n", STR(FOO(unsigned, long, long)));

正如你在这里看到的，输出是：

int
unsignedint
unsignedlonglong

我不记得使用空宏参数是否根据标准得到了很好的定义，但我可以告诉你，Clang 3.1 不会对-std=c11with发出任何警告-pedantic。

如果您想尝试，这里有一些代码：

#include <stdio.h>
#include <limits.h>

#define PASTE4(_1,_2,_3,_4) _1 ## _2 ## _3 ## _4

#define DEFINE_OPS_FOR_TYPE1(T1)        DEFINE_OPS_FOR_TYPE2(T1,)
#define DEFINE_OPS_FOR_TYPE2(T1, T2)    DEFINE_OPS_FOR_TYPE3(T1,T2,)
#define DEFINE_OPS_FOR_TYPE3(T1, T2, T3)                                    \
    int PASTE4(write_,T1,T2,T3)(FILE *file, void *data) {                   \
        T1 T2 T3 foo;                                                       \
        int written = fprintf(file, fmt_specifier(foo), *((T1 T2 T3 *)data));\
        return written > 0 ? 0 : -1;                                        \
    }

#define fmt_specifier(x)                \
    _Generic((x),                       \
        int: "%i",                      \
        unsigned int: "%u",             \
        unsigned long long: "%llu",     \
        default: NULL                   \
    )

DEFINE_OPS_FOR_TYPE1(int)
DEFINE_OPS_FOR_TYPE2(unsigned, int)
DEFINE_OPS_FOR_TYPE3(unsigned, long, long)

int main() {
    int var_int = INT_MAX;
    write_int(stdout, &var_int);
    printf("\n");
    unsigned int var_uint = UINT_MAX;
    write_unsignedint(stdout, &var_uint);
    printf("\n");
    unsigned long long var_ullong = ULLONG_MAX;
    write_unsignedlonglong(stdout, &var_ullong);
    printf("\n");
    return 0
}
于 2013-01-03T13:32:37.647 回答