0.对于宏的第一印象:
- 可以定义一个常量,如:#define PI 3.14159
- 可以定义一个代码块,将宏作为函数使用,如:
# include <stdio.h>
// 此处将交换两个变量的函数用宏来定义
#define SWAP(a, b) \
{ \
int temp = a; \
a = b; \
b = temp; \
}
int main()
{
int a = 1;
int b = 2;
printf("a = %d\n", a);
printf("b = %d\n", b);
SWAP(a,b);
printf("a = %d\n", a);
printf("b = %d\n", b);
return 0;
}
-
1. 思考问题:
- 宏定义的常量和const定义的常量有什么区别? const 定义的常量本质还是变量,需要占用内存;宏常量的本质是常量,不需要占用内存。
- 宏代码块和真正的函数有什么区别?
2.C语言中的宏定义
- #define是预处理器处理的单元实体之—
- #define定义的宏可以出现在程序的任意位置
- #define定义之后的代码都可以使用这个宏
3.定义宏常量
- #define定义的宏常量可以直接使用
- #define定义的宏常量本质为字面量
- 下面的宏常量定义正确吗?
#define ERROR -1
#define PATHl "D:\test\test.c"
#define PATH2 D:\test\test.c
#define PATH3 D:\test\
test.c
4.编程实验
- 宏定义分析
- test.c
#define ERROR -1
#define PATH1 "D:\test\test.c"
#define PATH2 D:\test\test.c
#define PATH3 D:\test\
test.c
int main()
{
int err = ERROR;
char* path1 = PATH1;
char* path2 = PATH2;
char* path3 = PATH3;
return 0;
}
- 由于宏被预处理器所处理,因此需要通过单步编译,查看预处理器后的.i文件。
- 单步编译代码如下:gcc -E test.c -o test.i
- test.i
# 1 "test.c"
# 1 "<built-in>"
# 1 "<command-line>"
# 1 "/usr/include/stdc-predef.h" 1 3 4
# 1 "<command-line>" 2
# 1 "test.c"
int main()
{
int err = -1;
char* path1 = "D:\test\test.c";
char* path2 = D:\test\test.c;
char* path3 = D:\testtest.c;
return 0;
}
- 预处理器不会进行语法检查只是简单的文本替换,即这些宏定义都正确
- 宏定义正确,不代表编译就正确。预处理器直接进行文本替换,不做语法检查,它只将宏做了文本替换,没有进行语法检查。当预处理完之后,编译过程编译器才对语法做检查。
5.宏定义表达式
- #define表达式的使用类似函数调用
- #define表达式可以比函数更强大
- #define表达式比函数更容易出错
判断下面的红表达式定义正确吗?
#define _SUM_(a, b) (a) + (b)
#define _MIN_(a, b) ((a) < (b) ? (a) : (b))
#define _DIM_(a) sizeof(a)/sizeof(*a)
- 宏表达式分析
#include<stdio.h>
#define _SUM_(a, b) (a) + (b)
#define _MIN_(a, b) ((a) < (b) ? (a) : (b))
#define _DIM_(a) sizeof(a)/sizeof(*a)
int main()
{
int a = 1;
int b = 2;
int c[4] = {0};
int s1 = _SUM_(a,b);
int s2 = _SUM_(a,b) * _SUM_(a,b);
int m = _MIN_(a++, b);
int d = _DIM_(c);
printf("s1 = %d\n", s1);
printf("s2 = %d\n", s2);
printf("m = %d\n", m);
printf("d = %d\n", d)
return 0;
}
- 查看预处理后的结果,通过单步编译得到test.i文件:
# 1 "test.c"
# 1 "<built-in>"
# 1 "<command-line>"
# 1 "/usr/include/stdc-predef.h" 1 3 4
# 1 "<command-line>" 2
# 1 "test.c"
int main()
{
int a = 1;
int b = 2;
int c[4] = {0};
int s1 = (a) + (b);
int s2 = (a) + (b) * (a) + (b);
int m = ((a++) < (b) ? (a++) : (b));
int d = sizeof(c)/sizeof(*c);
printf("s1 = %d\n", s1);
printf("s2 = %d\n", s2);
printf("m = %d\n", m);
printf("d = %d\n", d)
return 0;
}
- 分析代码可知: s2和m的结果和我们预期的结果不一致。
- 总结:宏被预处理器所处理,预处理器直接进行文本替换,不做语法检查,得到的中间结果可能会在语义上发生变换,如上述实例中的s2。这就类似与我们的预编译器是一个传话筒,它将我们编写的源代码传递给真正进行语法和语义分析的编译器,而在传递过程中有可能产生歧义。这就是宏的副作用。
6.宏表达式与函数的对比
- 宏表达式被预处理器处理,编表译器不知道宏达式的存在
- 宏表达式用“实参“完全替代形参,不进行任何运算
- 宏表达式没有任何的“调用”开销
- 宏表达式中不能出现递归定义
#define _SUM_(n) ((n > 0) ? (_SUM_(n-1) + n): 0) //error
int s = _SUM_(10);
7.有趣的问题
- 宏定义的常量或表达式是否有作用域限制?
- 下面的程序合法吗?
void def()
{
#define PI 3.1415926
#define AREA(r) r*r*PI
}
double area(double r)
{
return AREA(r);
}
- 宏的作用域分析
#include <stdio.h>
#include <stdlib.h>
void def()
{
#define PI 3.1415926
#define AREA(r) r * r * PI
}
double area(double r)
{
return AREA(r);
}
int main()
{
double r = area(5);
printf("PI = %f\n", PI);
printf("d = 5; a = %f\n", r);
system("pause");
return 0;
}
- 编译结果如下:
- 预处理没有报错,这说明对于宏而言是没有作用域限制的。
- 作用域的概念是针对C语言里面的变量和函数的,它不针对宏,因为宏是被预处理器处理的。编译器不知道宏的存在。
8.强大的内置宏
- 宏使用综合示例
#include <stdio.h>
#include <malloc.h>
#define MALLOC(type, x) (type*)malloc(sizeof(type)*x)
#define FREE(p) (free(p), p=NULL)
#define LOG(s) printf("[%s] {%s:%d} %s \n", __DATE__, __FILE__, __LINE__, s)
#define FOREACH(i, m) for(i=0; i<m; i++)
#define BEGIN {
#define END }
int main()
{
int x = 0;
int* p = MALLOC(int, 5);
LOG("Begin to run main code...");
FOREACH(x, 5)
BEGIN
p[x] = x;
END
FOREACH(x, 5)
BEGIN
printf("%d\n", p[x]);
END
FREE(p);
LOG("End");
return 0;
}
- 预处理后的结果
# 1 "test.c"
# 1 "<built-in>"
# 1 "<命令行>"
# 1 "test.c"
# 14 "test.c"
int main()
{
int x = 0;
int* p = (int*)malloc(sizeof(int)*5);
printf("[%s] {%s:%d} %s \n", "Aug 8 2019", "test.c", 19, "Begin to run main code..."); // 预处理后日期、文件名和行号为当前的时间、当前的文件名和当前的行号。
for(x=0; x<5; x++)
{
p[x] = x;
}
for(x=0; x<5; x++)
{
printf("%d\n", p[x]);
}
(free(p), p=NULL);
printf("[%s] {%s:%d} %s \n", "Aug 8 2019", "test.c", 33, "End");
return 0;
}
- 运行结果:
- 宏的强大之处,这些宏都是无法用函数替代的
9.小结
- 预处理器直接对宏进行文本替换
- 宏使用时的参数不会进行求值和运算
- 预处理器不会对宏定义进行语法检查
- 宏定义是出现的语法错误只能被编译器检测
- 宏定义的效率高于函数调用
- 宏的使用会带来一定的副作用