预处理
预处理的步骤:
1 把三连符替换成相应的单字符
替换规则:
??= #
??/ \
??’ ^
??( [
??) ]
??! |
??< {
??> }
??- ~
2 把\字符续行的多行代码接成一行
3 把注释替换成一个空格
4 预处理器把剩下的逻辑代码划分成预处理token和空白字符,
5 在token中识别出预处理指示,作相应动作
#inclucd 引入相应的源文件
宏定义作宏展开
6 替换字符常量和字符串中的转义字符
7 把代码中相邻的字符串连接起来
8 去掉空白字符(空格/换行/水平tab/垂直tab)
宏定义
变量宏定义:
示例代码:
#define N 10
#define STR "hello world!"
函数式宏定义
示例代码:
#define MAX(a,b) ((a)>b?(a):(b))
k=MAX(i&0x0f,j&0x0f)
展开宏定义:cpp test25.c或是gcc -E
与真正函数的区别:
1 参数没有类型,不作参数类型检查,只是形式上的替换
2 生成指令不同
3 内层括号不能省
4 调用函数时先求实参表达式的值再传给形参
内联函数 (inline)
调用时尽可能的快,可以当普通函数调用实现,也可以用宏展开
示例代码:
static inline void down_read(struct rw_semaphore *sem){
might_sleep();
rwsemtrace(sem,"Entering down_read");
_down_read(sem);
rwsemtrace(sem,"Leaving down_read")
}
示例代码如下:
inline int MAX(int a,int b){
return a>b?a:b;
}
int a[]={9,3,5,2,1,0,8,7,6,4};
int max(int n){
return n==0?a[0]:MAX(a[n],max(n-1));
}
int main(void){
max(9);
return 0;
}
编译代码:
gcc test25.c -g
反汇编:(MAX是作为普通函数调用的)
objdump -dS a.out
inline int MAX(int a,int b){
80483b4: 55 push %ebp
80483b5: 89 e5 mov %esp,%ebp
return a>b?a:b;
80483b7: 8b 45 08 mov 0x8(%ebp),%eax
80483ba: 39 45 0c cmp %eax,0xc(%ebp)
80483bd: 0f 4d 45 0c cmovge 0xc(%ebp),%eax
}
80483c1: 5d pop %ebp
80483c2: c3 ret
080483c3 <max>:
int a[]={9,3,5,2,1,0,8,7,6,4};
int max(int n){
80483c3: 55 push %ebp
80483c4: 89 e5 mov %esp,%ebp
80483c6: 83 ec 18 sub $0x18,%esp
return n==0?a[0]:MAX(a[n],max(n-1));
80483c9: 83 7d 08 00 cmpl $0x0,0x8(%ebp)
80483cd: 75 07 jne 80483d6 <max+0x13>
80483cf: a1 40 a0 04 08 mov 0x804a040,%eax
80483d4: eb 24 jmp 80483fa <max+0x37>
80483d6: 8b 45 08 mov 0x8(%ebp),%eax
80483d9: 83 e8 01 sub $0x1,%eax
80483dc: 89 04 24 mov %eax,(%esp)
80483df: e8 df ff ff ff call 80483c3 <max>
80483e4: 8b 55 08 mov 0x8(%ebp),%edx
80483e7: 8b 14 95 40 a0 04 08 mov 0x804a040(,%edx,4),%edx
80483ee: 89 44 24 04 mov %eax,0x4(%esp)
80483f2: 89 14 24 mov %edx,(%esp)
80483f5: e8 ba ff ff ff call 80483b4 <MAX>
}
80483fa: c9 leave
80483fb: c3 ret
080483fc <main>:
int main(void){
80483fc: 55 push %ebp
80483fd: 89 e5 mov %esp,%ebp
80483ff: 83 e4 f0 and $0xfffffff0,%esp
8048402: 83 ec 10 sub $0x10,%esp
max(9);
8048405: c7 04 24 09 00 00 00 movl $0x9,(%esp)
804840c: e8 b2 ff ff ff call 80483c3 <max>
return 0;
8048411: b8 00 00 00 00 mov $0x0,%eax
}
8048416: c9 leave
8048417: c3 ret
8048418: 90 nop
8048419: 90 nop
804841a: 90 nop
804841b: 90 nop
804841c: 90 nop
804841d: 90 nop
804841e: 90 nop
804841f: 90 nop
指定优代选项编译
gcc test25.c -g -O
反汇编:
objdump -dS a.out
可以看到MAX函数的指令被内联在max函数中
#include<stdio.h>
inline int MAX(int a,int b){
8048404: 55 push %ebp
8048405: 89 e5 mov %esp,%ebp
8048407: 8b 45 08 mov 0x8(%ebp),%eax
804840a: 8b 55 0c mov 0xc(%ebp),%edx
804840d: 39 c2 cmp %eax,%edx
804840f: 0f 4d c2 cmovge %edx,%eax
return a>b?a:b;
}
8048412: 5d pop %ebp
8048413: c3 ret
08048414 <max>:
int a[]={3,5,2,1,9,8,7,6,4,10};
int max(int n){
8048414: 55 push %ebp
8048415: 89 e5 mov %esp,%ebp
8048417: 53 push %ebx
8048418: 83 ec 14 sub $0x14,%esp
804841b: 8b 5d 08 mov 0x8(%ebp),%ebx
return n==0?a[0]:MAX(a[n],max(n-1));
804841e: 85 db test %ebx,%ebx
8048420: 75 07 jne 8048429 <max+0x15>
8048422: a1 40 a0 04 08 mov 0x804a040,%eax
8048427: eb 17 jmp 8048440 <max+0x2c>
8048429: 8d 43 ff lea -0x1(%ebx),%eax
804842c: 89 04 24 mov %eax,(%esp)
804842f: e8 e0 ff ff ff call 8048414 <max>
###################################################################
#include<stdio.h>
inline int MAX(int a,int b){
return a>b?a:b;
8048434: 8b 14 9d 40 a0 04 08 mov 0x804a040(,%ebx,4),%edx
804843b: 39 d0 cmp %edx,%eax
804843d: 0f 4c c2 cmovl %edx,%eax
####################################################################
}
int a[]={3,5,2,1,9,8,7,6,4,10};
int max(int n){
return n==0?a[0]:MAX(a[n],max(n-1));
}
8048440: 83 c4 14 add $0x14,%esp
8048443: 5b pop %ebx
8048444: 5d pop %ebp
8048445: c3 ret
08048446 <main>:
int main(void){
8048446: 55 push %ebp
8048447: 89 e5 mov %esp,%ebp
8048449: 83 e4 f0 and $0xfffffff0,%esp
804844c: 83 ec 10 sub $0x10,%esp
//查找集合中前n位的最大值
int temp=0;
temp=max(4);
804844f: c7 04 24 04 00 00 00 movl $0x4,(%esp)
8048456: e8 b9 ff ff ff ca
#,##运算符和可变参数
#用于创建字符串,#后面跟有人形参
示例代码如下:
#define STR(s) # s
STR(hello world)
处理后:"hello word"
用""括起来,多个空格变一个空格
如果形参中包含字符常量或是字符串,展开后"变\" \变\\
## 把前后两个预处理连接成一个预处理token,(函数式宏定义和变量宏定义都可以)
示例代码:
#define CONCAT(a,b) a##b
CONCAT(con,cat);
处理后为:concat
...可变参数, __VA_ARGS__代表可变参数部分
示例代码如下:
#define showlist(...) printf(#__VA_ARGS__)
#define report(test, ...) (test)?printf(#test):printf(__VA_ARGS__)
showlist(the first,second,and third items);
report(x>y,"x is %d but y is %d ",x,y);
处理后:
printf("the first,second,third items");
((x>y)?printf("x>y"):printf("x is %d but y is %d ",x,y));
宏展开的部骤:
示例代码:
#define sh(x) printf("n #x"=%d,or %d\n",n##x,alt[x])
#define sub_z 26
sh(sub_z)
过程如下:
1 #x要替换成"sub_z"
2 n##x 换成nsub_z
3 把sub_z 换成26后放到alt[x]的位置
4 结果: printf("n" "sub_z" "=%d,or %d\n",nsub_z,alt[26])
预处理的步骤:
1 把三连符替换成相应的单字符
替换规则:
??= #
??/ \
??’ ^
??( [
??) ]
??! |
??< {
??> }
??- ~
2 把\字符续行的多行代码接成一行
3 把注释替换成一个空格
4 预处理器把剩下的逻辑代码划分成预处理token和空白字符,
5 在token中识别出预处理指示,作相应动作
#inclucd 引入相应的源文件
宏定义作宏展开
6 替换字符常量和字符串中的转义字符
7 把代码中相邻的字符串连接起来
8 去掉空白字符(空格/换行/水平tab/垂直tab)
宏定义
变量宏定义:
示例代码:
#define N 10
#define STR "hello world!"
函数式宏定义
示例代码:
#define MAX(a,b) ((a)>b?(a):(b))
k=MAX(i&0x0f,j&0x0f)
展开宏定义:cpp test25.c或是gcc -E
与真正函数的区别:
1 参数没有类型,不作参数类型检查,只是形式上的替换
2 生成指令不同
3 内层括号不能省
4 调用函数时先求实参表达式的值再传给形参
内联函数 (inline)
调用时尽可能的快,可以当普通函数调用实现,也可以用宏展开
示例代码:
static inline void down_read(struct rw_semaphore *sem){
might_sleep();
rwsemtrace(sem,"Entering down_read");
_down_read(sem);
rwsemtrace(sem,"Leaving down_read")
}
示例代码如下:
inline int MAX(int a,int b){
return a>b?a:b;
}
int a[]={9,3,5,2,1,0,8,7,6,4};
int max(int n){
return n==0?a[0]:MAX(a[n],max(n-1));
}
int main(void){
max(9);
return 0;
}
编译代码:
gcc test25.c -g
反汇编:(MAX是作为普通函数调用的)
objdump -dS a.out
inline int MAX(int a,int b){
80483b4: 55 push %ebp
80483b5: 89 e5 mov %esp,%ebp
return a>b?a:b;
80483b7: 8b 45 08 mov 0x8(%ebp),%eax
80483ba: 39 45 0c cmp %eax,0xc(%ebp)
80483bd: 0f 4d 45 0c cmovge 0xc(%ebp),%eax
}
80483c1: 5d pop %ebp
80483c2: c3 ret
080483c3 <max>:
int a[]={9,3,5,2,1,0,8,7,6,4};
int max(int n){
80483c3: 55 push %ebp
80483c4: 89 e5 mov %esp,%ebp
80483c6: 83 ec 18 sub $0x18,%esp
return n==0?a[0]:MAX(a[n],max(n-1));
80483c9: 83 7d 08 00 cmpl $0x0,0x8(%ebp)
80483cd: 75 07 jne 80483d6 <max+0x13>
80483cf: a1 40 a0 04 08 mov 0x804a040,%eax
80483d4: eb 24 jmp 80483fa <max+0x37>
80483d6: 8b 45 08 mov 0x8(%ebp),%eax
80483d9: 83 e8 01 sub $0x1,%eax
80483dc: 89 04 24 mov %eax,(%esp)
80483df: e8 df ff ff ff call 80483c3 <max>
80483e4: 8b 55 08 mov 0x8(%ebp),%edx
80483e7: 8b 14 95 40 a0 04 08 mov 0x804a040(,%edx,4),%edx
80483ee: 89 44 24 04 mov %eax,0x4(%esp)
80483f2: 89 14 24 mov %edx,(%esp)
80483f5: e8 ba ff ff ff call 80483b4 <MAX>
}
80483fa: c9 leave
80483fb: c3 ret
080483fc <main>:
int main(void){
80483fc: 55 push %ebp
80483fd: 89 e5 mov %esp,%ebp
80483ff: 83 e4 f0 and $0xfffffff0,%esp
8048402: 83 ec 10 sub $0x10,%esp
max(9);
8048405: c7 04 24 09 00 00 00 movl $0x9,(%esp)
804840c: e8 b2 ff ff ff call 80483c3 <max>
return 0;
8048411: b8 00 00 00 00 mov $0x0,%eax
}
8048416: c9 leave
8048417: c3 ret
8048418: 90 nop
8048419: 90 nop
804841a: 90 nop
804841b: 90 nop
804841c: 90 nop
804841d: 90 nop
804841e: 90 nop
804841f: 90 nop
指定优代选项编译
gcc test25.c -g -O
反汇编:
objdump -dS a.out
可以看到MAX函数的指令被内联在max函数中
#include<stdio.h>
inline int MAX(int a,int b){
8048404: 55 push %ebp
8048405: 89 e5 mov %esp,%ebp
8048407: 8b 45 08 mov 0x8(%ebp),%eax
804840a: 8b 55 0c mov 0xc(%ebp),%edx
804840d: 39 c2 cmp %eax,%edx
804840f: 0f 4d c2 cmovge %edx,%eax
return a>b?a:b;
}
8048412: 5d pop %ebp
8048413: c3 ret
08048414 <max>:
int a[]={3,5,2,1,9,8,7,6,4,10};
int max(int n){
8048414: 55 push %ebp
8048415: 89 e5 mov %esp,%ebp
8048417: 53 push %ebx
8048418: 83 ec 14 sub $0x14,%esp
804841b: 8b 5d 08 mov 0x8(%ebp),%ebx
return n==0?a[0]:MAX(a[n],max(n-1));
804841e: 85 db test %ebx,%ebx
8048420: 75 07 jne 8048429 <max+0x15>
8048422: a1 40 a0 04 08 mov 0x804a040,%eax
8048427: eb 17 jmp 8048440 <max+0x2c>
8048429: 8d 43 ff lea -0x1(%ebx),%eax
804842c: 89 04 24 mov %eax,(%esp)
804842f: e8 e0 ff ff ff call 8048414 <max>
###################################################################
#include<stdio.h>
inline int MAX(int a,int b){
return a>b?a:b;
8048434: 8b 14 9d 40 a0 04 08 mov 0x804a040(,%ebx,4),%edx
804843b: 39 d0 cmp %edx,%eax
804843d: 0f 4c c2 cmovl %edx,%eax
####################################################################
}
int a[]={3,5,2,1,9,8,7,6,4,10};
int max(int n){
return n==0?a[0]:MAX(a[n],max(n-1));
}
8048440: 83 c4 14 add $0x14,%esp
8048443: 5b pop %ebx
8048444: 5d pop %ebp
8048445: c3 ret
08048446 <main>:
int main(void){
8048446: 55 push %ebp
8048447: 89 e5 mov %esp,%ebp
8048449: 83 e4 f0 and $0xfffffff0,%esp
804844c: 83 ec 10 sub $0x10,%esp
//查找集合中前n位的最大值
int temp=0;
temp=max(4);
804844f: c7 04 24 04 00 00 00 movl $0x4,(%esp)
8048456: e8 b9 ff ff ff ca
#,##运算符和可变参数
#用于创建字符串,#后面跟有人形参
示例代码如下:
#define STR(s) # s
STR(hello world)
处理后:"hello word"
用""括起来,多个空格变一个空格
如果形参中包含字符常量或是字符串,展开后"变\" \变\\
## 把前后两个预处理连接成一个预处理token,(函数式宏定义和变量宏定义都可以)
示例代码:
#define CONCAT(a,b) a##b
CONCAT(con,cat);
处理后为:concat
...可变参数, __VA_ARGS__代表可变参数部分
示例代码如下:
#define showlist(...) printf(#__VA_ARGS__)
#define report(test, ...) (test)?printf(#test):printf(__VA_ARGS__)
showlist(the first,second,and third items);
report(x>y,"x is %d but y is %d ",x,y);
处理后:
printf("the first,second,third items");
((x>y)?printf("x>y"):printf("x is %d but y is %d ",x,y));
宏展开的部骤:
示例代码:
#define sh(x) printf("n #x"=%d,or %d\n",n##x,alt[x])
#define sub_z 26
sh(sub_z)
过程如下:
1 #x要替换成"sub_z"
2 n##x 换成nsub_z
3 把sub_z 换成26后放到alt[x]的位置
4 结果: printf("n" "sub_z" "=%d,or %d\n",nsub_z,alt[26])