Question

我的代码是

#define PASTE__(a, b) a##b
#define PASTE_(a, b)  PASTE__(a, b)
#define PASTE(a, b) PASTE_(a, b)

int main()
{
    PASTE(1, (1+3)/4);
    return 0;
}

我希望得到的结果是

int main()
{
    11;
    return 0;
}

可编辑的链接：http://coliru.stacked-crooked.com/a/b35ea3e35a1b56ae

我提出了How can I guarantee full macro expansion of a parameter before paste?建议的两个间接层次。

但我仍然遇到预处理器错误：

main.c:8:11: error: pasting "1" and "(" does not give a valid preprocessing token
     PASTE(1, (1+3)/4);
           ^
main.c:1:23: note: in definition of macro 'PASTE__'
 #define PASTE__(a, b) a##b
                       ^
main.c:3:21: note: in expansion of macro 'PASTE_'
 #define PASTE(a, b) PASTE_(a, b)
                     ^
main.c:8:5: note: in expansion of macro 'PASTE'
     PASTE(1, (1+3)/4);

如何在进行连接之前让预处理器解析该表达式的结果？

Answer 1

看起来您正试图让预处理器评估一些简单的数学运算并转换为结果。如果没有大量额外的宏基础设施来执行必要的数学运算，这是不可能获得所需基础架构的最简单方法可能是使用BOOST_PP。

http://www.boost.org/doc/libs/1_59_0/libs/preprocessor/doc/index.html

您需要修改代码，以便使用宏来执行数学而不是运算符。有问题的行看起来像：

PASTE(1, BOOST_PP_DIV(BOOST_PP_ADD(1,3),4));

现在答案将是11，我认为这就是你要找的东西。

Answer 2

完全你希望PASTE行的预处理器输出是什么？ 11;？这是不可能的。（更新：显然，可以使用足够聪明的宏。请参阅Charles Ofria的答案）。

使用多个宏进行双重扩展仅对扩展宏有用，然后对结果进行字符串化，IIRC。

如何在粘贴前强制处理器使用表达式的结果

2 个答案: