C / C ++预处理器宏可以有默认参数值吗？

我们可以为宏参数指定默认参数值吗？

我知道没有任何类型检查，所以我希望默认值只不过是预处理器在未指定参数值的情况下用于宏扩展的一些文本。

Answer 1

您正在寻找一种宏过载机制，例如Boost.PP的设施 。

#define MACRO_2(a, b) std::cout << a << ' ' << b; #define MACRO_1(a) MACRO_2(a, "test") // Supply default argument // Magic happens here: #define MACRO(...) BOOST_PP_OVERLOAD(MACRO_, __VA_ARGS__)(__VA_ARGS__) 

演示。 参数的数量与宏名称连接，可以在没有Boost的情况下轻松实现，如下所示：

 #define VARGS_(_10, _9, _8, _7, _6, _5, _4, _3, _2, _1, N, ...) N #define VARGS(...) VARGS_(__VA_ARGS__, 10, 9, 8, 7, 6, 5, 4, 3, 2, 1, 0) #define CONCAT_(a, b) a##b #define CONCAT(a, b) CONCAT_(a, b) 

和

 #define MACRO_2(a, b) std::cout << a << ' ' << b; #define MACRO_1(a) MACRO_2(a, "test") // Supply default argument #define MACRO(...) CONCAT(MACRO_, VARGS(__VA_ARGS__))(__VA_ARGS__) 

演示 。

Answer 2

如果您允许不寻常的语法，有一种方法可以做到这一点：

 #include  #include  #include  void TestInternal( int n ) { printf("%d\n" , n ) ; } #define TestGet( f , ... ) f #define Test( ... ) TestInternal( TestGet( __VA_ARGS__ DEFAULT , DEFAULT ) ) #define DEFAULT 100 int main( void ) { Test( ) ; Test( 12345 , ) ; return 0 ; } 

这是类型安全的，可以扩展为任意数量的参数。

请注意，如果传递变量，则必须存在逗号。 您可以将其视为此函数/宏具有默认参数的指示符。

使用类似的版本可以省略逗号，但是你的函数必须至少有一个非默认参数必须是第一个。

Answer 3

似乎最简单的解决方案是定义一个缺少默认参数的附加宏。

 #define MACRO1( PARAM1 , PARAM2 ) &( PARAM1 + PARAM2 ) // or whatever logic #define MACRO1_DEFAULT( PARAM1 ) MACRO1 ( PARAM1 , 12 ) // PARAM2 default of 12 

此外，如40two所述，该语言确实支持对可变参数宏使用省略号，这在某些情况下也可能是可行的解决方案。

链接文章的内容：

变量宏是类似函数的宏，包含可变数量的参数。

要使用可变参数宏，可以将省略号指定为宏定义中的最终forms参数，并且可以在定义中使用替换标识符__VA_ARGS__来插入额外参数。
__VA_ARGS__将替换为与省略号匹配的所有参数，包括它们之间的逗号。

C标准指定必须至少将一个参数传递给省略号，以确保宏不会解析为具有尾随逗号的表达式。

如果没有参数传递给省略号，Visual C ++实现将禁止尾随逗号。

例

 // variadic_macros.cpp #include  #define EMPTY #define CHECK1(x, ...) if (!(x)) { printf(__VA_ARGS__); } #define CHECK2(x, ...) if ((x)) { printf(__VA_ARGS__); } #define CHECK3(...) { printf(__VA_ARGS__); } #define MACRO(s, ...) printf(s, __VA_ARGS__) int main() { CHECK1(0, "here %s %s %s", "are", "some", "varargs1(1)\n"); CHECK1(1, "here %s %s %s", "are", "some", "varargs1(2)\n"); // won't print CHECK2(0, "here %s %s %s", "are", "some", "varargs2(3)\n"); // won't print CHECK2(1, "here %s %s %s", "are", "some", "varargs2(4)\n"); // always invokes printf in the macro CHECK3("here %s %s %s", "are", "some", "varargs3(5)\n"); MACRO("hello, world\n"); MACRO("error\n", EMPTY); // would cause error C2059, except VC++ // suppresses the trailing comma } 

产量

 here are some varargs1(1) here are some varargs2(4) here are some varargs3(5) hello, world error