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

Question

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

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

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 <stdio.h>
#include <stdint.h>
#include <stdlib.h>

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 所提到的，该语言确实支持对可变参数宏使用省略号，这在某些情况下也可能是一个可行的解决方案。

链接文章内容：

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

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

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

<Microsoft specific>
如果没有参数传递给省略号，Visual C++ 实现将抑制尾随逗号。
</Microsoft Specific>

例子

// variadic_macros.cpp
#include <stdio.h>
#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