详解C语言中函数宏的三种封装方式

 更新时间:2023年03月20日 08:31:35   作者:☆星轨★  
函数宏,即包含多条语句的宏定义,其通常为某一被频繁调用的功能的语句封装,且不想通过函数方式封装来降低额外的弹栈压栈开销。本文就来聊聊函数宏的三种封装方式吧

1. 函数宏介绍

函数宏,即包含多条语句的宏定义,其通常为某一被频繁调用的功能的语句封装,且不想通过函数方式封装来降低额外的弹栈压栈开销。

函数宏本质上为宏,可以直接进行定义,例如:

#define INT_SWAP(a,b) \
    int tmp = a;    \
    a = b;          \
    b = tmp

但上述的宏具有一个明显的缺点:当遇到 if、while 等语句且不使用花括号仅调用宏时,实际作用范围在宏的第一个分号后便结束。即 a = b 和 b = tmp 均不受控制语句所作用。

因此,在工程中,一般使用三种方式来对函数宏进行封装,分别为 {}、do{...}while(0) 和 ({})。下文将一一对三种方式进行分析,比较各自的优劣点。

2. {} 方式

INT_SWAP 宏使用 {} 封装后形态如下:

#define INT_SWAP(a,b)\
{                   \
    int tmp = a;    \
    a = b;          \
    b = tmp;        \
}

此时,直接调用与在无花括号的控制语句(如 if、while)中调用均能正常运行,例如:

#define INT_SWAP(a,b) \
{                   \
    int tmp = a;    \
    a = b;          \
    b = tmp;        \
}

int main()
{
	int var_a = 1;
	int var_b = 2;

	INT_SWAP(var_a, var_b);
	printf("var_a = %d, var_b = %d\n", var_a, var_b);   // var_a = 2, var_b = 1
	
	if (1)
	   INT_SWAP(var_a, var_b);
	printf("var_a = %d, var_b = %d\n", var_a, var_b);   // var_a = 1, var_b = 2
}

但当无花括号的 if 语句存在其他分支(else if、else 等)如:

if (1)
   INT_SWAP(var_a, var_b);
else
    printf("hello world!\n");

会发现编译出错:

...
/mnt/hgfs/share/pr_c/src/main.c: In function ‘main’:
/mnt/hgfs/share/pr_c/src/main.c:18:2: error: ‘else’ without a previous ‘if’
  else

这是因为 INT_SWAP(var_a, var_b); 最后的 ; 已经把 if 的作用域终结了,后续的 else 当然没有找到与之匹配的 if 了。

因此,解决方法有两种,分别为不使用 ;(port.1)或规定必须使用带花括号的 if(port.2),例如:

/* port.1 */
if (1)
   INT_SWAP(var_a, var_b)
else
{
    printf("hello world!\n");
}

/* port.2 */
if (1)
{
   INT_SWAP(var_a, var_b);
}
else
{
    printf("hello world!\n");
}

可见,不使用 ; 的调用方式无论从程序阅读还是使用方法方面都是十分别扭的;而规定必须使用带花括号的 if 的调用方式有违常理的,因为宏函数应该适用于任何语法。

优缺点总结:

  • 优点:简单粗暴。
  • 缺点:不能在无花括号且有分支的 if 语句中直接调用;能够不带 ; 直接调用。

3. do{...}while(0) 方式

INT_SWAP 宏使用 do{...}while(0) 封装后形态如下:

#define INT_SWAP(a,b)   \
do{                     \
    int tmp = a;        \
    a = b;              \
    b = tmp;            \
}while(0)

do{...}while(0) 表示只执行一遍 {} 内的语句,表象来说与 {} 的功能是一致的。不同的是,do{...}while(0) 可以提前退出函数宏、整合为一条语句与强制调用时必须使用 ;。

由于 do{...}while(0) 实际为 while 循环,因此可以使用关键字 break 提前结束循环。利用该特性,可以为函数宏添加参数检测。例如:

#define INT_SWAP(a,b)     \
do{                       \
    if (a < 0 || b < 0)    \
        break;            \
    int tmp = a;        \
    a = b;              \
    b = tmp;            \
}while(0)

由于 do{...}while(0); 实际为一种语法,编译器会把 do{...}while(0); 认为为一条语句。因此,do{...}while(0) 方式的函数宏可以在无花括号且有分支的 if 语句中直接调用。例如:

#define INT_SWAP(a,b) 	\
do{       		        \
	if (a < 0 || b < 0)	\
		break;			\
    int tmp = a;    	\
    a = b;          	\
    b = tmp;        	\
}while(0)

int main()
{
	int var_a = 1;
	int var_b = 2;

	if (1)
	   INT_SWAP(var_a, var_b);
	else
		printf("hello world!\n");	
	printf("var_a = %d, var_b = %d\n", var_a, var_b);	// var_a = 2, var_b = 1

	return 0;
}

C 语言规定,do{...}while(0) 语法必须使用 ; 作为语句结尾。因此不可能存在以下语句的程序出现:

if (1)
   INT_SWAP(var_a, var_b)
else
{
    printf("hello world!\n");    
}

优缺点总结:

  • 优点:支持在无花括号且有分支的 if 语句中直接调用;支持提前退出函数宏;强制调用时必须使用 ;。
  • 缺点:无返回值,不能作为表达式的右值使用。

4. ({}) 方式

({}) 为 GNU C 扩展的语法,非 C 语言的原生语法。

INT_SWAP 宏使用 ({}) 封装后形态如下:

#define INT_SWAP(a,b)   \
({                      \
    int tmp = a;        \
    a = b;              \
    b = tmp;            \
})

与 do{...}while(0) 相同,({}) 支持在无花括号且有分支的 if 语句中直接调用。例如:

#define INT_SWAP(a,b) 	\
({       		        \
	int tmp = a;    \
	a = b;          \
	b = tmp;        \
})

int main()
{
	int var_a = 1;
	int var_b = 2;
	
	if (1)
	   INT_SWAP(var_a, var_b);
	else
		printf("hello world!\n");
	printf("var_a = %d, var_b = %d\n", var_a, var_b);	// var_a = 2, var_b = 1
	
	return 0;
}

与 do{...}while(0) 不同的是,({}) 不能提前退出函数宏与支持返回值。({}) 毕竟不是 while 循环,不能直接使用 break 退出函数宏是比较容易理解。那支持返回值是什么意思呢?

答案是 C 语言规定 ({}) 中的最后一条语句的结果为该双括号体的返回值。例如:

int main()
{
    int a = ({
        10;
        1000;
    });
    printf("a = %d\n", a);      // a = 1000
}

因此,({}) 可以为函数宏提供返回值。例如:

#define INT_SWAP(a,b) 	\
({       		        \
	int ret = 0;		\
	if (a < 0 || b < 0)	\
	{					\
		ret = -1;		\
	}					\
	else				\
	{					\
		int tmp = a;    \
		a = b;          \
		b = tmp;        \
	}					\
	ret;				\
})

int main()
{
	int var_a = 1;
	int var_b = 2;
	
	if (INT_SWAP(var_a, var_b) != -1)
		printf("swap success !!\n");					// swap success !!
	else
		printf("swap fail !!\n");	
	printf("var_a = %d, var_b = %d\n", var_a, var_b);	// var_a = 2, var_b = 1
	
	return 0;
}

可见,此时的 INT_SWAP 宏已与函数十分接近。

优缺点总结:

  • 优点:支持在无花括号且有分支的 if 语句中直接调用;有返回值,支持作为表达式的右值。
  • 缺点:不支持提前退出函数宏;非 C 的原生语法,编译器可能不支持。

5. 总结

综上,在 {}、do{...}while(0) 和 ({}) 这三种函数宏的封装方式之中,应尽可能不使用 {},考虑兼容性一般选择使用 do{...}while(0),当需要函数宏返回时可以考虑使用 ({}) 或直接定义函数。

到此这篇关于详解C语言中函数宏的三种封装方式的文章就介绍到这了,更多相关C语言函数宏内容请搜索脚本之家以前的文章或继续浏览下面的相关文章希望大家以后多多支持脚本之家!

相关文章

  • C 二分查找 递归与非递归的实现代码

    C 二分查找 递归与非递归的实现代码

    C 二分查找 递归与非递归的实现代码,需要的朋友可以参考一下
    2013-03-03
  • 利用C/C++实现贪吃蛇游戏

    利用C/C++实现贪吃蛇游戏

    这篇文章主要为大家详细介绍了利用C/C++实现贪吃蛇游戏,文中示例代码介绍的非常详细,具有一定的参考价值,感兴趣的小伙伴们可以参考一下
    2021-10-10
  • C++ 智能指针代码解析

    C++ 智能指针代码解析

    这篇文章主要介绍了c++ 智能指针基础的相关资料,帮助大家更好的理解和学习使用c++,感兴趣的朋友可以了解下,希望能给你带来帮助
    2021-10-10
  • C语言中位域的使用详解

    C语言中位域的使用详解

    位域是C语言中的一种高级功能,允许程序员为结构体的成员分配特定数量的位,本文主要为大家介绍了位域的使用以及优缺点,希望对大家有所帮助
    2023-07-07
  • c++11中关于std::thread的join的详解

    c++11中关于std::thread的join的详解

    这篇文章主要介绍了c++11中关于std::thread的join详解,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一起学习学习吧
    2019-03-03
  • Ubuntu18.04上安装Qt5.10的步骤实践

    Ubuntu18.04上安装Qt5.10的步骤实践

    Qt是一个跨平台的C++图形用户界面库,本文就介绍了Ubuntu18.04上安装Qt5.10的步骤实践,具有一定的参考价值,感兴趣的小伙伴们可以参考一下
    2021-11-11
  • C语言数据结构二叉树先序、中序、后序及层次四种遍历

    C语言数据结构二叉树先序、中序、后序及层次四种遍历

    这篇文章主要介绍了C语言数据结构二叉树先序、中序、后序及层次四种遍历方式,具有一定的知识性参考价值,需要的小伙伴可以先看一下
    2022-02-02
  • C++如何将字符串颠倒输出

    C++如何将字符串颠倒输出

    这篇文章主要介绍了C++如何将字符串颠倒输出,具有很好的参考价值,希望对大家有所帮助。如有错误或未考虑完全的地方,望不吝赐教
    2022-11-11
  • VS中scanf函数报错问题的几种解决方法

    VS中scanf函数报错问题的几种解决方法

    本文主要介绍了VS中scanf函数报错问题的几种解决方法,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一起学习学习吧
    2023-07-07
  • 一文带你掌握C语言中的文件操作

    一文带你掌握C语言中的文件操作

    文件通常是驻留在外部介质(如磁盘等)上的,在使用时才调入内存中来,本文主要来和大家介绍一下C语言中的文件操作,有需要的可以了解下
    2024-02-02

最新评论