C 预处理器宏生成函数可能吗？

Question

是否可以编写一个从此调用生成的宏

WATCH(l1=g1+g2*g3)

这段代码？

TRACE(g1);
TRACE(g2);
TRACE(g3);
l1=g1+g2*g3;
TRACE(l1);

我不确定这是否可行，如果可以，请指出正确的方向。

使用的软件：arm-linux-gnu-gcc，版本 4.9.1，目标是 Cortex-M3 板，语言是 C99

问候， 模因

Answer 1

没有。宏将以#define WATCH(X) ... 开头，您无法在预处理器中解析X。

Answer 2

这并不容易（而且按照您的要求可能是不可能的）。也许你想要一些aspect-oriented programming

考虑使用其他预处理器（例如GPP 或m4）和/或通过您将编写的一些专门程序或脚本生成您的 C++ 代码。

您还可以使用MELT 自定义您的GCC 编译器（至少在Linux 上，使用最近的gcc 或g++）。这需要了解 GCC 内部结构（尤其是 Gimple 表示）并在 MELT 中编写一个额外的优化通道来完成转换（因此可能需要几周的工作）。

Answer 3

单独使用预处理器是不可能的，但是可以使用一些 TMP 技巧，例如表达式模板，例如，您可以查看 Catch 库：

TEST_CASE( "Factorials are computed", "[factorial]" ) {
    REQUIRE( Factorial(0) == 1 );
    REQUIRE( Factorial(1) == 1 );
    REQUIRE( Factorial(2) == 2 );
    REQUIRE( Factorial(3) == 6 );
    REQUIRE( Factorial(10) == 3628800 );
}

这会产生如下消息：

Example.cpp:9: FAILED:
  REQUIRE( Factorial(0) == 1 )
with expansion:
  0 == 1

注意最后一行0 == 1，怎么知道lhs是0，rhs是1，操作符是==？，嗯，是通过表达式模板完成的，组合使用宏只是让它易于使用。

Answer 4

在宏调用中使用运算符是不可能的（afaics）。但是你可以定义一个像签名这样的函数的宏：

#define WATCH(l1,g1,g2,g3) \
TRACE(g1); \
TRACE(g2); \
TRACE(g3); \
l1=g1+g2*g3; \
TRACE(l1) 

这会有帮助吗？与往常一样，我建议将复合语句包装在 do ... while 循环中，例如

#define WATCH(l1,g1,g2,g3) \
do { \
    TRACE(g1); \
    TRACE(g2); \
    TRACE(g3); \
    l1=g1+g2*g3; \
    TRACE(l1); \
} while(0)

这样它的行为就像一个单一的命令；想象一下

if( condition )  WATCH(l1,g1,g2,g3);

使用不受保护的复合语句。