6

我用纯C编写了以下代码：

#define _cat(A, B) A ## _ ## B
#define cat(A, B) _cat(A, B)
#define plus(A, B) cat(cat(plus,__typeof__(A)),__typeof__(B))(A, B)

int main(int argc, const char * argv[])
{
    double x = 1, y = 0.5;
    double r = plus(x, y);
    printf("%lf",r);
    return 0;
}

在这里，我希望将宏plus扩展为包含参数类型的函数名。在此示例中，我希望它以以下方式扩展

double r = plus(x, y)
...
/* First becomes*/
double r = cat(cat(plus,double),double)(x, y)
...
/* Then */
double r = cat(plus_double,double)(x, y)
...
/* And finally */
double r = plus_double_double(x, y)

但是我从预处理器得到的只是

double r = plus___typeof__(x)___typeof(y)(x,y)

gcc 显然会拒绝编译。现在，我知道typeof#在编译时进行评估，并且我的理解是，只有当宏包含在直接涉及字符串化和连接标记的第二个宏中时，才会阻止对宏进行评估（这就是我拆分的##原因cat你看到的方式）。如果这是正确的，为什么不__typeof__(x)被预处理器评估为加倍？在我看来，行为在构建时应该非常清楚。进去之前不应该__typeof__(x)评估吗？double_cat

我搜了又搜，但我找不到任何东西......我在做一些非常愚蠢的事情吗？

我正在运行 Mac OS X Mountain Lion，但我最感兴趣的是让它在任何 POSIX 平台上运行。

4

3 回答 3

6

这不起作用的原因是typeof不是宏，而是 gcc 的 C 方言中的保留字，因此在预处理器完成工作后处理。一个很好的类比是 sizeof 运算符，它也不是宏，也没有被预处理器扩展。要（大约）做你想做的事（根据参数的类型选择不同的函数）尝试 _Generic 构造（C11 中的新功能）

于 2013-07-27T01:19:59.957 回答
2

宏扩展发生在 C 令牌分析之前（有关翻译阶段的图表，请参阅https://stackoverflow.com/a/1479972/1583175 ）

宏预处理器不知道类型信息——它只进行文本处理

于 2013-07-27T01:18:16.240 回答
1

预处理器对类型一无所知，只对文本标记一无所知。__typeof__()在预处理器完成宏替换后，由编译器通过评估。

于 2013-07-27T01:17:26.153 回答