Question

我想创建一个宏，它将接受任意代码块作为其参数，如

FOR_VECTOR( type, vect, code_block ) \
  for( vector<type>::iterator i=vect.begin(); i!=vect.end(); ++i ) { \
    code_block; \
  }

问题是参数中的代码块，可能包含任意数量的,和)个字符。

有什么好的解决方案吗？

Answer 1

有许多可能的解决方案。

如果您只需要一个表达式（不是一个完整的代码块） - 您可以将其括在(和)

中

FOR_VECTOR( int, v, (func(i,1)) )

将起作用 - (func(i,1))被视为单个宏参数

另一个部分解决方案是variadic macros，如果您的预处理器支持它们。

您可以定义宏

#define COMMA ,
#define LPAR (
#define RPAR )

并使用它们来构建真实( ,和)

的代码块

FOR_VECTOR( int, v, func LPAR i COMMA 1 RPAR )

虽然它不是很易读。

或者你可以通过在宏替换后注释掉字符串文字的引号来做一个技巧：

FOR_VECTOR( type, vect, code_block ) \
  for( vector<type>::iterator i=vect.begin(); i!=vect.end(); ++i ) { \
    /code_block/; \
  }

FOR_VECTOR( int, v, *"*/ func(i,1); proc(i,2); /*"* )

Answer 2

如@ mas.morozov所述，您可以使用可变参数宏：

#include <iostream>
#include <vector>

#define FOR_VECTOR( type, vect, ... ) \
  for( std::vector<type>::iterator i=vect.begin(); i!=vect.end(); ++i ) { \
    __VA_ARGS__ \
  }

int main()
{
    std::vector<int> v = {1, 2, 3, 4, 5, 6};
    FOR_VECTOR(int, v, {
        std::cout << *i << std::endl;
    })
}

您可以在这里在线玩：https://godbolt.org/z/oLWV-z

我在这里找到了解决方案：https://mort.coffee/home/obscure-c-features/

如何将任意代码块作为参数传递给C宏

2 个答案: