程序环境和预处理
1.程序的环境
在ANSI C的任何一种实现中,存在两个不同的环境。
第1种是翻译环境,源代码被转换为可执行的机器指令。
第2种是执行环境,用于实际执行代码。
2.翻译环境
组成一个程序的每个源文件通过编译过程分别转换成目标代码。
每个目标文件由链接器捆绑在一起,形成一个单一而完整的可执行程序。
链接器同时也会引入标准C函数库中任何被该程序所用到的函数,而且它可以搜索程序员个人的程序库,将其需要的函数也链接到程序中。
2.1翻译环境四阶段
预编译阶段 | 编译 | 汇编 | 连接 | |
---|---|---|---|---|
内容 | 预处理指令 | 语法分析、词法分析、语义分析、符号汇总 | 形成符号表、将汇编指令变成二进制指令 | 合并段表、符号表的合并和符号表的重定位 |
test.c | test.c->test.i | test.i->test.s | test.s->test.o |
3.执行环境
程序执行的过程:
1.程序必须载入内存中
在有操作系统的环境中,一般由操作系统完成。在独立的环境中,程序的载入必须手工安排。
2.程序执行开始
调用main函数。
3.开始执行程序代码
此时程序使用一个运行堆栈,存储函数的局部变量和返回地址。同时程序也使用静态内存,存储在静态内存中的变量在整个执行过程中一直保留他们的值。
4.程序终止
正常终止main函数;也可能是意外终止。
4.预处理详细解析
4.1预定义符号
__FILE__//进行编译的源文件
__LINE__//文件当前的行号
__DATE__//文件被编译的日期
__TIME__//文件被编译的时间
__STDC__ //如果编译器遵循ANSIC,其值为1,否则未定义
//例子:
int main()
{
printf("%d\n",__FILE__,__LINE__);
return 0;
}
4.2#define
4.2.1#define 定义标识符
#define MAX 100//在程序中用MAX代替100,当我们想修改数字时,就不需要到程序中去一个个找,只需要在此处改变
#define reg register //为register这个关键字创建一个更简短的名字
4.2.2#define 定义宏
允许把参数替换到文本中
#define name(parament-list) stuff
#define SQUARE(x) (x)*(x)
//注意:参数列表的左括号必须与name紧邻
//如果x未知数本身就有加减等运算,会和宏定义中的操作符产生冲突。为了避免这种情况,要对用数值表达式求值的宏定义加上括号
4.2.3 #define 替换规则
在程序中扩展#define定义符号和宏时,有三个步骤:
1.在调用宏时,首先对参数进行检查,看看是否包含#define定义的符号,如果包含,它们首先被替换。
2.替换文本随后被插入到程序中原本到文本的位置。
3.最后,再次对结果文件进行扫描,看看是否包含#define定义的符号,如果有就重复上述过程。
注意:#define定义标识符和宏可以出现其他#define定义的符号,宏不能递归。当预处理器搜索#define定义的符号时,字符串常量的内容不被搜索。
4.2.4 #和##
字符串有自动连接的特点。
#value - "value"
//##把位于它两边的符号合成一个符号
4.2.5带副作用的宏参数
x+1;//不带副作用
x++;//带有副作用
4.2.6宏和函数的对比
属性 | #define定义宏 | 函数 |
---|---|---|
代码长度 | 每次使用都将宏代码插入到程序中,程序长度大大增加 | 函数代码只存在一个地方,每次使用函数,调用这个地方的同一份代码 |
执行速度 | 更快 | 存在函数的调用和返回的开销,相对慢一些 |
带有副作用的参数 | 参数可能被替换到程序中多个位置,带有副作用的参数求值可能会产生不好的结果 | 函数参数只在传参的时候求值一次,结果易控制 |
递归 | 不能 | 能 |
参数类型 | 宏的参数和类型无关 | 与类型有关 |
调试 | 不方便调试 | 可以逐语句调试 |
4.2.7命名约定
宏名全部大写,函数名不要全部大写
4.3#undef
//这条指令用于移除一个宏定义
#undef NAME
4.4条件编译
//常见的条件编译指令
1.
#if 常量表达式
//...
#endif
2.多个分支的条件编译
#if 常量表达式
//...
#elif 常量表达式
//...
#else
//...
#endif
3.判断是否被定义
#if defined(symbol)
#ifdef symbol
#if !defined(symbol)
#ifndef symbol
4.5头文件包含方式
1.本地文件包含
#include "filename"
2.库文件包含
#include <filename.h>
3.嵌套头文件包含
为了避免头文件的重复引用,有以下两种方式:
1.
#pragma once
2.
#ifndef __TEST_H__
#define __TEST_H__
//头文件的内容
#endif