目录
一、程序的翻译环境和执行环境
在ANSI C的任何一种实现中,存在两个不同的环境。
第 1 种是翻译环境,在这个环境中源代码被转换为可执行的机器指令。第 2 种是执行环境,它用于实际执行代码。
二、详解编译+链接
2.1 翻译环境
组成一个程序的每个源文件通过编译过程分别转换成目标代码(object code)。
每个目标文件由链接器( linker )捆绑在一起,形成一个单一而完整的可执行程序。链接器同时也会引入标准 C 函数库中任何被该程序所用到的函数,而且它可以搜索程序员个人的程序库,将其需要的函数也链接到程序中。
2.2 编译本身也分为几个阶段
1. 预处理 选项 gcc -E test.c -o test.i
预处理完成之后就停下来,预处理之后产生的结果都放在 test.i 文件中。2. 编译 选项 gcc - S test.c编译完成之后就停下来,结果保存在 test.s 中。3. 汇编 gcc - c test.c汇编完成之后就停下来,结果保存在 test.o 中。
2.3 运行环境
三、 预处理详解
3.1 预定义符号
__FILE__ // 进行编译的源文件__LINE__ // 文件当前的行号__DATE__ // 文件被编译的日期__TIME__ // 文件被编译的时间__STDC__ // 如果编译器遵循 ANSI C ,其值为 1 ,否则未定义
这些预定义符号都是语言内置的,可以尝试运行下面这行代码
printf("file:%s \nline:%d \ndate:%s\n", __FILE__, __LINE__,__DATE__);
3.2 #define
3.2.1 #define 定义标识符
语法: #define name stuff
举例:
#define MAX 1000#define reg register // 为 register 这个关键字,创建一个简短的名字#define do_forever for(;;) // 用更形象的符号来替换一种实现#define CASE break;case // 在写 case 语句的时候自动把 break 写上。// 如果定义的 stuff 过长,可以分成几行写,除了最后一行外,每行的后面都加一个反斜杠 ( 续行符 ) 。#define DEBUG_PRINT printf("file:%s\tline:%d\t \date:%s\ttime:%s\n" ,\__FILE__,__LINE__ , \__DATE__,__TIME__ )
#define MAX 1000;#define MAX 1000
3.2.2 #define 定义宏
#define 机制包括了一个规定,允许把参数替换到文本中,这种实现通常称为宏(macro)或定义宏(define macro)。
#define name( parament-list ) stuff
其中的 parament-list 是一个由逗号隔开的符号表,它们可能出现在stuff中
参数列表的左括号必须与 name 紧邻。如果两者之间有任何空白存在,参数列表就会被解释为 stuff 的一部分。#define SQUARE( x ) x * x
声明上述代码后,将SQUARE( 5 ); 置于程序中,预处理器就会用下面这个表达式替换上面的表达式:
5 * 5
但是使用时也需要注意,参数x会被替换成输入的值,如果传入a+1,则语句被替换为a+1*a+1=2a+1;和预想的不一样,如果加()就可以解决:
(a+1)*(a+1)
宏定义为
#define SQUARE(x) (x) * (x)最好在在宏定义表达式两边加上一对括号#define SQUARE(x) ((x) * (x))
所以用于对数值表达式进行求值的宏定义都应该用这种方式加上括号,避免在使用宏时由于参数中的操作符或邻近操作符之间不可预料的相互作用。
3.2.3 #define 替换规则
在程序中扩展#define定义符号和宏时,需要涉及几个步骤。
3.2.4 #和##
1.使用 # ,把一个宏参数变成对应的字符串
int i = 10 ;#define PRINT(FORMAT, VALUE)\printf("the value of " #VALUE "is "FORMAT "\n", VALUE);...PRINT ( "%d" , i + 3 ); // 产生了什么效果?
the value of i + 3 is 13
2.##可以把位于它两边的符号合成一个符号。它允许宏定义从分离的文本片段创建标识符。
#define ADD_TO_SUM(num, value) \sum##num += value;...ADD_TO_SUM ( 5 , 10 ); // 作用是:给 sum5 增加 10.
这样的连接必须产生一个合法的标识符。否则其结果就是未定义的。
3.2.5 带副作用的宏参数
3.2.6 宏和函数对比
宏和函数的一个对比
属
性
|
#define
定义宏
|
函数
|
代
码
长
度
|
每次使用时,宏代码都会被插入到程序中。除了非常小的宏之外,程序的长度会大幅度增长
|
函数代码只出现于一个地方;每次使用这个函数时,都调用那个地方的同一份代码
|
执
行
速
度
|
更快
|
存在函数的调用和返回的额外开销,所以相对慢一些
|
操
作
符
优
先
级
|
宏参数的求值是在所有周围表达式的上下文环境里,
除非加上括号,否则邻近操作符的优先级可能会产生不可预料的后果,所以建议宏在书写的时候多些括号。
|
函数参数只在函数调用的时候求值一次,它的结果值传递给函数。表达式的求值结果更容易预测。
|
带
有
副
作
用
的
参
数
|
参数可能被替换到宏体中的多个位置,所以带有副作用的参数求值可能会产生不可预料的结果。
|
函数参数只在传参的时候求值一次,结果更容易控制。
|
参
数
类
型
|
宏的参数与类型无关,只要对参数的操作是合法的,它就可以使用于任何参数类型。
|
函数的参数是与类型有关的,如果参数的类型不同,就需要不同的函数,即使他们执行的任务是相同的。
|
调
试
|
宏是不方便调试的
|
函数是可以逐语句调试的
|
递
归
|
宏是不能递归的
|
函数是可以递归的
|
3.2.7 命名约定
3.3 #undef
#undef NAME// 如果现存的一个名字需要被重新定义,那么它的旧名字首先要被移除。
3.4 命令行定义
3.5 条件编译
1.#if 常量表达式//...#endif// 常量表达式由预处理器求值。如:#define __DEBUG__ 1#if __DEBUG__//..#endif2. 多个分支的条件编译#if 常量表达式//...#elif 常量表达式//...#else//...#endif3. 判断是否被定义#if defined(symbol)#ifdef symbol#if !defined(symbol)#ifndef symbol4. 嵌套指令#if defined(OS_UNIX)#ifdef OPTION1unix_version_option1 ();#endif#ifdef OPTION2unix_version_option2 ();#endif#elif defined(OS_MSDOS)#ifdef OPTION2msdos_version_option2 ();#endif#endif
3.6 文件包含
#include 指令可以使另外一个文件被编译。就像它实际出现于 #include 指令的地方一样。
这种替换的方式很简单:
预处理器先删除这条指令,并用包含文件的内容替换。
3.6.1 头文件被包含的方式:
#include "filename"
查找策略:先在源文件所在目录下查找,如果该头文件未找到,编译器就像查找库函数头文件一样在标准位置查找头文件。如果找不到就提示编译错误。
Linux环境的标准头文件的路径:
/ usr / include
VS环境的标准头文件的路径:
C : \Program Files ( x86 ) \Microsoft Visual Studio 12.0 \VC\include
#include <filename.h>
3.6.2 嵌套文件包含
#ifndef __TEST_H__#define __TEST_H__// 头文件的内容#endif //__TEST_H__
或者:
#pragma once
就可以避免头文件的重复引入。