【C语言】#define宏与函数的优劣对比

本篇文章目录

  • 1. 预处理指令#define宏
  • 2. #define定义标识符或宏,要不要最后加上分号?
  • 3.宏的参数替换后产生的运算符优先级问题
    • 3.1 问题产生
    • 3.2 不太完美的解决办法
    • 3.3 完美的解决办法
  • 4.#define的替换规则
  • 5. 有副作用的宏参数
  • 6. 宏与函数的优劣对比
    • 6.1 宏的优点
      • 6.1.1 宏的执行速度更快
      • 6.1.2 宏不关心参数类型
      • 6.1.2 宏的参数可以出现数据类型
    • 6.2 宏的缺点
  • 7. 总结宏和函数的对比
  • 8. 宏的命名约定

1. 预处理指令#define宏

#define除了能定义标识符常量外,还允许把参数替换到文本中,这种实现通常称为(macro)或定义宏(define macro)。

下面是宏的申明方式:

#define name(parament-list) statement

其中的 parament-list 是一个由逗号隔开的符号表,它们可能出现在statement中。

例如实现一个宏,求两个数中的最大值:

#define MAX(x, y) ((x) > (y) ? (x) : (y))

参数列表的左括号必须与name紧邻。如果两者之间有任何空白存在,参数列表就会被解释为statement的一部分。

如:

#define MAX (x, y) ((x) > (y) ? (x) : (y))

MAX后面加了一个空格,这样写的话是没法使用的,(x, y)会被误认为是表达式而不是宏的参数。

2. #define定义标识符或宏,要不要最后加上分号?

比如:

#define PI 3.14;
#define MAX(x, y) ((x) > (y) ? (x) : (y));

建议不要加上分号,这样容易导致问题,比如下面的场景:

int max;
int a = 10;
int b = 20;
if(condition)max = MAX(a, b); // error
elsemax = 0;

我们都知道#define在预编译后就会完成符号的替换,在代码中所有出现过#define定义的标识符或宏,都会被替换成所代表的常量或宏参数。

那么上面这么写的话,实际上就变成了这样:

int max;
int a = 10;
int b = 20;
if(condition)max = MAX((a) > (b) ? (a) : (b));;
elsemax = 0;

那么后面会有两个分号,一个分号是#define后面带上的,另一个是编码习惯性地带上一个分号。

最关键的是这样替换后的代码,在你实际编写的.c源文件中是看不到的,所以在你的眼中代码任然长这样:

int max;
int a = 10;
int b = 20;
if(condition)max = MAX(a, b); 
elsemax = 0;

这样甚至都不需要去编译运行,IDE就能早早发现错误给你报错了,if后没接大括号只能有一条语句,而实际上宏参数被替换后多了个分号,这个分号虽然没有实际的意义,但它也是一条语句。

在这里插入图片描述

3.宏的参数替换后产生的运算符优先级问题

3.1 问题产生

如果你写了一个这样的宏,求一个数的平方:

#define SQUARE(n) n * n

然后使用这个宏:

int ret = SQUARE(4);
printf("%d", ret);

咋一看肯定没毛病,能得出正确的结果:
在这里插入图片描述

但如果这么使用:

int ret = SQUARE(4 + 1);
printf("%d", ret);

这时你心里想结果是25,实际运行后的结果却是:
在这里插入图片描述
为啥呢?其实表达式预编译后长这样:

int ret = 4 + 1 * 4 + 1;
printf("%d", ret);

#define完成的是符号的替换,无论是定义的标识符常量还是宏,要么就是把标识符替换成常量,要么就是将宏表达式的参数替换成你传入的参数。仅仅只是替换工作,并不会帮你计算好再传参,要知道计算的工作是真正在程序运行后才能执行的,预编译阶段才仅仅是编译的第一个阶段呢!文章:.c源文件从编译到链接生成可执行程序的过程

3.2 不太完美的解决办法

解决的办法就是在宏体表达式中,给每个参数加上括号:

#define SQUARE(n) (n) * (n)

这样就确实能得到正确的结果:
在这里插入图片描述

3.3 完美的解决办法

但实际上像上面这样加上括号任然存在问题!比如有这么一个宏:

#define DOUBLE(n) (n) + (n)

然后我这么使用:

int ret = 10 * DOUBLE(5);
printf("%d", ret);

预测结果是100,结果却是:
在这里插入图片描述
经过前面的分析,大伙也不难分析出问题是怎样产生的,原因就是预编译后替换成了这样:

int ret = 10 * (5) + (5);
printf("%d", ret);

这个问题,的解决办法是在宏定义表达式两边加上一对括号就可以了。

// #define DOUBLE(n) (n) + (n)
#define DOUBLE(n) ((n) + (n))

所以用于对数值表达式进行求值的宏定义都应该用这种方式加上括号,避免在使用宏时由于参数中的操作符或邻近操作符之间不可预料的相互作用。

4.#define的替换规则

在程序中扩展#define定义符号和宏时,需要涉及几个步骤。

  1. 在调用宏时,首先对参数进行检查,看看是否包含任何由#define定义的符号。如果是,它们首先被替换。
  2. 替换文本随后被插入到程序中原来文本的位置。对于宏,参数名被他们的值所替换。
  3. 最后,再次对结果文件进行扫描,看看它是否包含任何由#define定义的符号。如果是,就重复上述处理过程。

其它:

  1. 宏参数和#define 定义中可以出现其他#define定义的符号。
#define N 10
#define CAL(x) ((x) + N) 
  1. 当预处理器搜索#define定义的符号的时候,字符串常量的内容并不被搜索。
#define N 10
#define STR "NOT"
printf("No");

"NOT"中的N并不会被替换,"No"中的N也不会被替换。

  1. 对于宏,不能出现递归。

5. 有副作用的宏参数

宏参数在宏的定义中出现超过一次的时候,如果参数带有副作用,那么你在使用这个宏的时候就可能出现危险,导致不可预测的后果。副作用就是表达式求值的时候出现的永久性效果。

#include <stdio.h>
#define MAX(x,y) ((x) > (y) ? (x) : (y))
int main() {int a = 10;int b = 20;int max = MAX(a++, b++);printf("%d\n", max);printf("%d\n", a);printf("%d\n", b);
}

你可能会认为三个输出的结果分别是:20、11和21,理由是a++和b++都是后置++,那么传入的理应是10和20,求出较大值是20,然后a和b自增后分别是11和21,而实际结果是:
在这里插入图片描述
将参数替换后倒也很容易发现问题的产生原因:

//int max = MAX(a++, b++);
int max = ((a++) > (b++) ? (a++) : (b++));

(a++) > (b++)比较后肯定为假,但是a和b的值都要被自增为11和21,然后整个表达式的值是b++,b++这个表达式的结果也是b,所以整个表达式的结果是21,但是b++后b要自增为22。

所以在使用宏传参时,应该这么写更合适:

int max = MAX(a + 1, b + 1);

6. 宏与函数的优劣对比

先总结:宏通常被应用于执行简单的运算,比如这种:

#define MAX(a, b) ((a)>(b)?(a):(b))

那为什么不用函数来完成这个任务?

6.1 宏的优点

6.1.1 宏的执行速度更快

用于调用函数和从函数返回的代码可能比实际执行这个小型计算工作所需要的时间更多,所以宏比函数在程序的规模和速度方面更胜一筹。

说简单点就是调用函数也需要时间,函数返回也需要时间,如果计算工作过于简单,可能函数调用和函数返回的时间都比计算过程花费的时间要长。

①这里使用反汇编直接看汇编代码的行数进行对比,在VS中对下面这段程序进行debug:

在这里插入图片描述

②然后右击鼠标,转到反汇编代码:

在这里插入图片描述

③查看执行这个宏的汇编代码:

在这里插入图片描述

④查看执行这个函数的汇编代码:

在这里插入图片描述

⑤这咋一看你会认为好像代码行数更少啊!但仔细看其中有个call指令,这是函数调用指令,所以这并不是真正的函数内部,我们执行到call这一行,f11进入函数内部:

在这里插入图片描述

⑥调用函数要进行跳转,这也是一行汇编代码!然后再f11就是真正的函数内部了:
在这里插入图片描述

⑦在这里你会发现还没执行到真正的计算,在计算前就存在着某些操作,这些操作实际上是:参数传递、栈空间的创建,然后才是真正的计算!计算的汇编代码才是和宏的汇编代码一样,但是这还没完,函数还有返回,这也是要执行的!

那从函数调用的汇编代码开始算,4行 + 函数跳转1行,+ 函数执行的21行,总共26行,这里实际计算工作其实只有9行。。。。。。

而宏只有十行汇编代码,可以算是只有计算,不存在其它的工作,所以比较高效。

小结一下宏和函数的执行过程:

宏的执行函数的执行
计算函数调用与跳转
-申请创建栈内存空间
-参数传递
-计算
-函数返回

6.1.2 宏不关心参数类型

函数的参数必须声明为特定的类型,而宏是类型无关的。所以函数只能在类型合适的表达式上使用。反之这个宏怎可以适用于整形、长整型、浮点型等可以用于比较操作符来比较的类型。

6.1.2 宏的参数可以出现数据类型

宏有时候可以做函数做不到的事情,比如:宏的参数可以出现类型,但是函数做不到。

例如stddef.h头文件中的宏:offsetof(求结构体成员相对于起始点的字节数)
在这里插入图片描述
offsetof宏的使用:

#include <stdio.h>
#include <stddef.h>struct Test {char c;int a;
};int main() {printf("%zd\n", offsetof(struct Test, c));printf("%zd\n", offsetof(struct Test, a));return 0;
}

在这里插入图片描述

利用宏简化malloc的使用:

#include <stdio.h>
#include <stdlib.h>#define MALLOC(num, type) (type*)malloc((num) * sizeof(type))int main() {int* pArr1 = (int*)malloc(10 * sizeof(int));// 对比一下int* pArr2 = MALLOC(10, int);return 0;
}

6.2 宏的缺点

  1. 每次使用宏的时候,一份宏定义的代码将插入到程序中,除非宏比较短,否则可能大幅度增加程序的长度。
  2. 宏是没法调试的,宏在预处理阶段就完成了,不在运行阶段,所以从肉眼上根本无法查看替换后的内容。
  3. 宏由于类型无关,也就不够严谨,这个既是优点也是缺点。
  4. 宏可能会带来运算符优先级的问题,导致程容易出现错。

7. 总结宏和函数的对比

角度函数
代码长度每次使用时,宏代码都会被插入到程序中,除了非常小的宏之外,程序的长度会大幅度增长。函数代码只出现于一个地方,每次使用这个函数时,都调用那个地方的同一份代码。√
执行速度更快。√存在函数的调用和返回的额外开销,所以相对慢一些
操作符优先级宏参数的求值是在所有周围表达式的上下文环境里,除非加上括号,否则邻近操作符的优先级可能会产生不可预料的后果,所以建议宏在书写的时候多些括号。函数参数只在函数调用的时候求值一次,它的结果值传递给函数,表达式的求值结果更容易预测。√
参数参数可能被替换到宏体中的多个位置,所以带有副作用的参数求值可能会产生不可预料的结果。函数参数只在传参的时候求值一次,结果更容易控制。√
参数类型宏的参数与类型无关,只要对参数的操作是合法的,它就可以使用于任何参数类型,更加灵活,但不够严谨。√函数的参数是与类型有关的,如果参数的类型不同,就需要不同的函数,即使他们执行的任务是不同的。
调试宏是不方便调试的。函数是可以逐语句调试的。√
递归宏是不能递归的。函数是可以递归的。√

这么看下来,函数的优势更多,那么是否是直接无脑使用函数就行了呢?还是开头的那句话,如果执行的任务简单,一行代码就能解决的事,还是用宏好一些。

8. 宏的命名约定

一般来讲函数的宏的使用语法很相似,所以语言本身没法帮我们区分二者。

  1. 把宏名全部大写
  2. 函数名不要全部大写

函数名怎么命名,推荐看《高质量的C/C++编程》这本书!简单来说就是首字母大写,如AddXxx(windows编程风格);或全小写+下划线_,如add_xxx(Linux编程风格)。

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/111483.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

向量数据库Transwarp Hippo1.1多个新特性升级,帮助用户实现降本增效

例如,当查询“A公司业务发展情况”时,通过向量检索可以检索出A公司“主要业务”、“经营模式”、“财务情况”、“市场地位”等信息,通过全文检索可以检索出知识库中和关键字“业务”、“发展”相关的结果作为补充,通过将两者检索的结果进行结合,可以使得大模型回答的结果…

438. 找到字符串中所有字母异位词

给定两个字符串 s 和 p&#xff0c;找到 s 中所有 p 的 异位词 的子串&#xff0c;返回这些子串的起始索引。不考虑答案输出的顺序。 异位词 指由相同字母重排列形成的字符串&#xff08;包括相同的字符串&#xff09;。 示例 1: 输入: s "cbaebabacd", p "…

分类预测 | Matlab实现WOA-GRU鲸鱼算法优化门控循环单元的数据多输入分类预测

分类预测 | Matlab实现WOA-GRU鲸鱼算法优化门控循环单元的数据多输入分类预测 目录 分类预测 | Matlab实现WOA-GRU鲸鱼算法优化门控循环单元的数据多输入分类预测分类效果基本描述程序设计参考资料 分类效果 基本描述 1.Matlab实现WOA-GRU鲸鱼算法优化门控循环单元的数据多输入…

【Qt】常见控件

文章目录 按钮组QListWidget列表容器TreeWidget树控件TableWidget 表格控件其它控件介绍下拉框QLabel显示图片和动图 自定义控件封装 按钮组 QPushButton 常用按钮 QToolButton 工具按钮&#xff1a; 用于显示图片 如果想显示文字&#xff1a;修改风格&#xff1a;toolButto…

文档外发控制与安全:实现高效协作与数据安全的关键

随着企业数据量的不断增加&#xff0c;文档外发成为了一个不可避免的需求。然而&#xff0c;很多企业在文档外发过程中存在着很多问题&#xff0c;如数据泄露、信息误用等。因此&#xff0c;如何保证文档外发的安全性和高效性成为了企业亟待解决的问题。飞驰云联Ftrans的文件收…

Kafka Tool(Kafka 可视化工具)安装及使用教程

Kafka Tool&#xff08;Kafka 可视化工具&#xff09;安装及使用教程 Kafka Tool 工具下载 下载地址 http://www.kafkatool.com/download.html 下载界面 不同版本的Kafka对应不同版本的工具&#xff0c;个人使用的是2.11&#xff0c;所以下载的是最新的2.0.8版本&#xff…

C++初阶--C++入门(2)

C入门&#xff08;1&#xff09;链接入口 文章目录 内联函数auto关键字注意事项 基于范围的for循环(C11)nullptr 内联函数 以inline修饰的函数叫做内联函数&#xff0c;编译时C编译器会在调用内联函数的地方展开&#xff0c;没有函数调用建立栈帧的开销&#xff0c;内联函数提…

Spring学习笔记(2)

Spring学习笔记&#xff08;2&#xff09; 一、Spring配置非定义Bean1.1 DruidDataSource1.2、Connection1.3、Date1.4、SqlSessionFactory 二、Bean实例化的基本流程2.1 BeanDefinition2.2 单例池和流程总结 三、Spring的bean工厂后处理器3.1 bean工厂后处理器入门3.2、注册Be…

Flutter的Invalid use of a private type in a public API警告

文章目录 问题描述有问题的源码 问题原因解决方法 问题描述 自己在写Flutter 应用时发现了一个Invalid use of a private type in a public API警告。 发现很多官方的例子也有这个问题。 有问题的源码 有问题的源码如下&#xff1a; class MyTabPage extends StatefulWid…

【Linux学习笔记】代码编辑工具vim

1. vim工具基本模式的转换2. vim命令模式下的各种编辑命令2.1. 光标行定位2.2. 光标自由定位2.3. 复制粘贴2.4. 删除2.5. 文本的大小写替换2.6. 文本的替换2.7. 文本的前删后删2.8. 撤销操作 3. vim底行模式下的命令3.1. 设置行号与取消设置行号3.2. 分屏操作3.3. 在不退出vim的…

【Mac使用技巧】Mac和iPhone间接力功能失效解决总结

问题 Mac OS升级到Monterey版本后&#xff0c;遇到iPhone复制内容后&#xff0c;在Mac无法接力粘贴&#xff0c;此时“接力”功能失效了。 解决过程 参考官网接力功能配置说明 1、重启Mac和iPhone&#xff0c;仍无法接力粘贴 2、重新登录2台设备的iCloud&#xff0c;仍无法…

01、Python 安装 ,Pycharm 安装

目录 安装安装 Python安装 Pycharm 创建项目简单添加文件运行 简单爬取下载小视频 安装 python-3.8.10-amd64.exe – 先安装这个 pycharm-community-2022.2.exe 再安装这个 安装 Python python-3.8.10-amd64.exe 安装&#xff08;这个是其他版本的安装&#xff0c;步骤一样…

ZXing.Net 的Core平台生成二维码

一、引用 二、代码 帮助类 /// <summary>/// ZXing.NET 二维码帮助类/// </summary>public class ZXingHelper{/// <summary>/// 站点二维码的目录/// </summary>private static string QRCodeDirectory "QRCode";/// <summary>/// 使…

MySQL数据库——视图-介绍及基本语法(创建、查询、修改、删除、演示示例)

目录 介绍 语法 创建 查询 修改 删除 演示示例 介绍 视图&#xff08;View&#xff09;是一种虚拟存在的表。视图中的数据并不在数据库中实际存在&#xff0c;行和列数据来自定义视图的查询中使用的表&#xff08;称为基表&#xff09;&#xff0c;并且是在使用视图时动…

爬虫基础 JS逆向

爬虫核心 1. HTTP协议与WEB开发 1. 什么是请求头请求体&#xff0c;响应头响应体 2. URL地址包括什么 3. get请求和post请求到底是什么 4. Content-Type是什么 &#xff08;1&#xff09;简介 HTTP协议是Hyper Text Transfer Protocol&#xff08;超文本传输协议&#xff09;…

SpringBoot+Mybatis实现多数据源+分页

1 主要依赖版本 &#xff08;1&#xff09;SpringBoot 2.7.8 &#xff08;2&#xff09;Mybatis 2.2.2 &#xff08;3&#xff09;Pagehelper 1.3.0 &#xff08;4&#xff09;MySQL 8.0.26 &#xff08;5&#xff09;Oracle 11.2.0.3 2 概述 &#xff08;1&#xff09;…

List集合拆分为多个List

list 拆分 目录概述需求&#xff1a; 设计思路实现思路分析1.list 拆分是2.用stream的parallel实现list的分批处理3.使用stream的parallel实现list的分批处理 参考资料和推荐阅读 Survive by day and develop by night. talk for import biz , show your perfect code,full bus…

[架构之路-239]:目标系统 - 纵向分层 - 中间件middleware

目录 前言&#xff1a; 一、中间件概述 1.1 中间件在软件层次中的位置 1.2 什么是中间件 1.3 为什么需要中间件 1.4 中间件应用场合&#xff08;应用程序不用的底层需求&#xff1a;计算、存储、通信&#xff09; 1.5 中间件分类 - 按内容分 二、嵌入式系统的中间件 2…

ubuntu 修改磁盘名称

前言&#xff1a; 最近重装了ubuntu系统&#xff0c;硬盘名称是一个很长的数字-字母序列&#xff0c;不太好看&#xff0c;根据磁盘的内存&#xff0c;把磁盘重命名了一下。 步骤1&#xff1a;查看当前所有磁盘及分区 sudo fdisk -l 根据存储容量的大小&#xff0c;找到对应…

MTK LCM调试总结

点亮新lcm 1. 修改vendor\mediatek\proprietary\bootable\bootloader\lk\project\len6737m_35_m0.mk CUSTOM_LK_LCM"rm68200_hd720_dsi_vdo"(该为指定LCM) 2. 修改kernel-3.18\arch\arm\configs\len6737m_35_m0_debug_defconfig、len6737m_35_…