可变参数宏

原文地址:http://www.upsdn.net/html/2006-08/692.html


在 GNU C 中,宏可以接受可变数目的参数,就象函数一样,例如:
#define pr_debug(fmt,arg...) \
printk(KERN_DEBUG fmt,##arg)


用可变参数宏(variadic macros)传递可变参数表
你可能很熟悉在函数中使用可变参数表,如:

void printf(const char* format, …);

直到最近,可变参数表还是只能应用在真正的函数中,不能使用在宏中。

C99编译器标准终于改变了这种局面,它允许你可以定义可变参数宏(variadic macros),这样你就可以使用拥有可以变化的参数表的宏。可变参数宏就像下面这个样子:

#define debug(…) printf(__VA_ARGS__)

缺省号代表一个可以变化的参数表。使用保留名 __VA_ARGS__ 把参数传递给宏。当宏的调用展开时,实际的参数就传递给printf()了。例如:

Debug(“Y = %d\n”, y);

而处理器会把宏的调用替换成:

printf(“Y = %d\n”, y);

因为debug()是一个可变参数宏,你能在每一次调用中传递不同数目的参数:

debug(“test”); //一个参数

可变参数宏不被ANSI/ISO C++ 所正式支持。因此,你应当检查你的编译器,看它是否支持这项技术。


用GCC和C99的可变参数宏, 更方便地打印调试信息

gcc的预处理提供的可变参数宏定义真是好用:
#ifdef DEBUG
	#define dbgprint(format,args...) \
	fprintf(stderr, format, ##args)
#else
	#define dbgprint(format,args...)
#endif
如此定义之后,代码中就可以用dbgprint了,例如dbgprint("aaa %s", __FILE__);。感觉这个功能比较Cool  :em11:

下面是C99的方法:
#define dgbmsg(fmt,...) \
             printf(fmt,__VA_ARGS__)

新的C99规范支持了可变参数的宏

具体使用如下:

以下内容为程序代码:

#include <stdarg.h>
#include <stdio.h>
#define LOGSTRINGS(fm, ...) printf(fm,__VA_ARGS__)
int main() {
	LOGSTRINGS("hello, %d ", 10);
	return 0; 
} 
但现在似乎只有gcc才支持。

可变参数的宏里的‘##’操作说明

带有可变参数的宏(Macros with a Variable Number of Arguments)

在1999年版本的ISO C 标准中,宏可以象函数一样,定义时可以带有可变参数。宏的语法和函数的语法类似。下面有个例子:

#define debug(format, ...) fprintf (stderr, format, __VA_ARGS__)

这里,‘…’指可变参数。这类宏在被调用时,它(这里指‘…’)被表示成零个或多个符号,包括里面的逗号,一直到到右括弧结束为止。当被调用时,在宏体(macro body)中,那些符号序列集合将代替里面的__VA_ARGS__标识符。更多的信息可以参考CPP手册。

GCC始终支持复杂的宏,它使用一种不同的语法从而可以使你可以给可变参数一个名字,如同其它参数一样。例如下面的例子:

#define debug(format, args...) fprintf (stderr, format, args)

这和上面举的那个ISO C定义的宏例子是完全一样的,但是这么写可读性更强并且更容易进行描述。

GNU CPP还有两种更复杂的宏扩展,支持上面两种格式的定义格式。

在标准C里,你不能省略可变参数,但是你却可以给它传递一个空的参数。例如,下面的宏调用在ISO C里是非法的,因为字符串后面没有逗号:

debug ("A message")

GNU CPP在这种情况下可以让你完全的忽略可变参数。在上面的例子中,编译器仍然会有问题(complain),因为宏展开后,里面的字符串后面会有个多余的逗号。

为了解决这个问题,CPP使用一个特殊的‘##’操作。书写格式为:

#define debug(format, ...) fprintf (stderr, format,## __VA_ARGS__)

备注:本人使用中实际用的宏定义为

//******************************************************************************
// Uncomment the following line to disable printf debug info
#undef DEBUG
// Uncomment the following line to enable printf debug info
// #define DEBUG


#if defined(DEBUG)
#define dprintf(format, ...)   printf(format, ##__VA_ARGS__)
#else
#define dprintf(format, ...)
#endif


这里,如果可变参数被忽略或为空,‘##’操作将使预处理器(preprocessor)去除掉它前面的那个逗号。如果你在宏调用时,确实提供了一些可变参数,GNU CPP也会工作正常,它会把这些可变参数放到逗号的后面。象其它的pasted macro参数一样,这些参数不是宏的扩展。



<think>我们正在讨论C语言中的可变参数宏(variadicmacros)。根据用户的问题,他想要了解可变参数宏的详细解释、用法和示例。根据引用[1]和引用[2],可变参数宏允许宏接受可变数量的参数,类似于可变参数函数。在C99标准中引入了这一特性。可变参数宏的基本语法是使用省略号(...)表示可变参数,然后在宏定义中使用预定义标识符__VA_ARGS__来代表这些参数。例如,引用[2]中给出的示例:#defineeprintf(...)fprintf(stderr,__VA_ARGS__)这个宏的作用是将格式化的输出打印到标准错误流。当使用这个宏时,例如:eprintf("Failed!Errorcode:%d\n",errno);//将会被替换为:fprintf(stderr,"Failed!Errorcode:%d\n",errno);另外,引用[1]中也提到了类似的例子,只是宏名不同。用户还提到引用[3]和引用[4],但引用[3]主要讨论的是宏定义字符串和转换宏(解决宏参数展开问题),引用[4]则讨论了可变参数函数的实现(如va_list等)。虽然这些引用与可变参数有关,但用户明确询问的是可变参数宏,因此我们主要参考引用[1]和引用[2]。需要注意的是,有时候我们可能希望可变参数部分可以为空。但是,如果可变参数部分为空,而宏替换文本中__VA_ARGS__前面的部分包含逗号,则会导致编译错误(因为逗号后面没有参数)。例如:eprintf("Hello");//替换后:fprintf(stderr,"Hello");这是正确的eprintf();//替换后:fprintf(stderr,);这里会出错,因为缺少参数为了解决这个问题,C99标准允许在省略号前面加上一个普通的参数,并且允许使用##操作符。当__VA_ARGS__为空时,使用##操作符可以去掉前面的逗号。例如:#defineeprintf(format,...)fprintf(stderr,format,##__VA_ARGS__)注意:##__VA_ARGS__中的##是GCC扩展,在C99标准中并不支持,但在C99中,如果省略号没有对应的实参,则__VA_ARGS__会被替换为空,并且前面的逗号会被删除(前提是使用了##操作符)。在标准C中,我们可以使用下面的方式(C99标准并没有定义##__VA_ARGS__,但很多编译器支持):#defineeprintf(...)fprintf(stderr,__VA_ARGS__)如果使用GCC,我们可以用##__VA_ARGS__来允许可变参数为空。在C99标准中,如果我们想要处理空参数的情况,可以这样写(使用GCC扩展):#defineeprintf(format,...)fprintf(stderr,format,##__VA_ARGS__)这样,当可变参数为空时,比如:eprintf("Hello");//会被替换为:fprintf(stderr,"Hello");而不是fprintf(stderr,"Hello",);另外,引用[3]中提到的转换宏技巧(即两层宏)通常用于确保宏参数被完全展开,但在可变参数宏中,我们同样需要注意宏展开的顺序。下面,我们将给出一个完整的示例,展示可变参数宏的用法。示例1:一个简单的日志宏#defineLOG(...)printf(__VA_ARGS__)使用:LOG("Hello,world!\n");LOG("Thevalueis%d\n",42);示例2:允许可变参数为空的日志宏(使用GCC扩展)#defineLOG(format,...)printf(format,##__VA_ARGS__)使用:LOG("Hello,world!\n");//正确,替换为:printf("Hello,world!\n");LOG("Value:%d\n",42);//正确,替换为:printf("Value:%d\n",42);示例3:使用C99标准的方式,但处理空参数需要技巧(标准方式不支持##__VA_ARGS__,但C99标准中如果可变参数为空,直接使用__VA_ARGS__会导致前面多余的逗号,因此标准方式下,我们通常不这样写)。在C11标准中,引入了__VA_OPT__,但目前支持并不广泛。因此,在实际中,我们常常使用编译器扩展(如GCC的##__VA_ARGS__)来处理空参数。另外,引用[4]中提到的可变参数函数(如va_start,va_arg,va_end)与可变参数宏是不同的概念。可变参数宏是在预处理阶段展开,而可变参数函数是在运行时处理的。总结:可变参数宏允许我们定义接受可变数量参数的宏,使用省略号(...)和__VA_ARGS__。为了处理空参数的情况,可以使用编译器扩展(如##__VA_ARGS__)。下面,我们将按照用户要求,用清晰的结构解释可变参数宏,并给出示例代码。</think>### 可变参数宏详解(C语言) 可变参数宏(Variadic Macros)是C99标准引入的特性,允许宏定义接受**可变数量的参数**,类似于`printf()`函数的可变参数机制。其核心语法是使用省略号`...`表示可变参数,并通过`__VA_ARGS__`在宏展开时引用这些参数。 #### 📌 基本语法 ```c #define 宏名(...) 替换文本 __VA_ARGS__ #define 宏名(args, ...) 替换文本 __VA_ARGS__ // 带固定参数+可变参数 ``` #### 🔧 关键机制 1. **`__VA_ARGS__`** 预定义标识符,在宏展开时会被替换为传入的所有可变参数。 2. **`##__VA_ARGS__`扩展** 解决空可变参数导致的语法错误(GCC/Clang扩展),当可变参数为空时自动删除前面的逗号。 --- #### 🧪 用法示例 ##### 示例1:基础日志宏 ```c #define LOG(...) printf("[DEBUG] " __VA_ARGS__) // 使用 LOG("Value: %d\n", 42); // 展开:printf("[DEBUG] " "Value: %d\n", 42); ``` ##### 示例2:安全的空参数处理 ```c #define SAFE_LOG(format, ...) printf(format, ##__VA_ARGS__) // 使用 SAFE_LOG("Hello\n"); // 展开:printf("Hello\n"); (无多余逗号) ``` ##### 示例3:调试宏(带固定参数) ```c #define DBG(fmt, ...) fprintf(stderr, "[%s] " fmt, __func__, ##__VA_ARGS__) // 使用 void test() { DBG("x=%d\n", 10); } // 展开:fprintf(stderr, "[test] " "x=%d\n", 10); ``` ##### 示例4:编译期断言(C11扩展) ```c #define STATIC_ASSERT(...) _Static_assert(__VA_ARGS__) // 使用 STATIC_ASSERT(sizeof(int)==4, "int must be 4 bytes"); ``` --- #### ⚠️ 注意事项 1. **兼容性** `##__VA_ARGS__`是GCC/Clang扩展,严格C99需避免空参数场景。C11的`__VA_OPT__`可移植性更好: ```c #define SAFE_LOG(fmt, ...) printf(fmt __VA_OPT__(,) __VA_ARGS__) ``` 2. **参数展开规则** 宏参数在替换前**不会展开**,需通过中间转换宏强制展开(参考引用[3]): ```c #define _STR(s) #s #define STR(s) _STR(s) // 转换宏确保s完全展开 ``` 3. **与可变参数函数的区别** * 宏在预处理阶段展开,无运行时开销 * 函数需`va_list`机制处理参数(引用[4]) --- #### 💡 典型应用场景 1. **调试日志系统** 自动添加文件名、行号等上下文信息。 2. **类型泛型操作** 结合`_Generic`实现编译期多态。 3. **安全封装** 为库函数添加参数校验层。 > 可变参数宏显著提升了C语言的元编程能力,但需谨慎处理参数边界情况以避免未定义行为[^1][^2]。
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值