文章目录
1.程序的运行环境
在ANSIC(标准C)中的任意一种实现都有两种不同的环境
1.翻译环境------这个环境中是将源代码转换成机器指令(二进制)
2.执行环境------这个环境中是执行代码
2.编译与链接
2.1翻译环境
自己的代码到可执行文件基本就是这个流程
2.2编译器都干了什么
下面看看编译器都干了些什么
2.2.1预编译
预编译其实就干了三件事
1.头文件的包含
2.注释的删除
3.#define的替换
这是我在Linux上写的一段代码,便于观察,VS观察不到生成的临时变量
下面是生成的预编译后的临时文件。在Linux中的指令gcc -E 文件名(test.c) -o -临时文件名(test.i)
看图中是预编译后生成的文件,在第900多行才看见我们熟悉的main()函数
1、前面900多行是什么呢---------是头文件的包含,在这个程序中也就是"stdio.h"这个函数的内容
2、int a前面好像有空行是什么呢---------是那两行注释,他们被删除用空格代替
3、原函数中int a = MAX,在这怎么变成了int a =100-----这是因为#define被替换了。
上面的内容也就是预编译所干的事情了。
2.2.2编译
把C语言代码转化成汇编代码
这其中做了四件事(目前不需要理解)
1、语法分析
2、词法分析
3、语义分析
4、符号汇总
不需要去管内容,反正就是将C语言代码变成了汇编代码(知道就行)
2.2.3汇编
将汇编代码变成机器指令(二进制代码)
并且形成了符号表(不用去管)
这是一堆乱码,其实是二进制代码只不过看的时候是乱码(可以二进制文件进行查看)
不要去管,反正就是将汇编代码变成了机器指令
2.2.4链接
就是将多个==.c==文件连在了一起
并且合成段表,符号表的合并与重定义
这些都不用去管是什么
目前我们只要知道它每一步都干了什么就好
2.3执行环境
程序执行的过程:
1、程序必须载入内存中。在有操作系统的环境中:一般这个由操作系统完成。在独立的环境中,程序
的载入必须由手工安排,也可能是通过可执行代码置入只读内存来完成。
2、 程序的执行便开始。接着便调用main函数。
3、 开始执行程序代码。这个时候程序将使用一个运行时堆栈(stack),存储函数的局部变量和返回
地址。程序同时也可以使用静态(static)内存,存储于静态内存中的变量在程序的整个执行过程
一直保留他们的值。
4、终止程序。正常终止main函数;也有可能是意外终止。
3.预处理详解
3.1预定义符号
FILE //进行编译的源文件
LINE //文件当前的行号
DATE //文件被编译的日期
TIME //文件被编译的时间
STDC //如果编译器遵循ANSI C,其值为1,否则未定义
这些预定义符号都是语言内置的。
举个栗子:
3.2#define定义的标识符常量
语法:
#define name stuff
举个栗子:
#defien MAX 100
#define u_int unsigned int //可以将长的无符号整型缩短
#define do_forever for(;;) //用更形象的符号来替换一种实现
提问:
在define定义标识符的时候,要不要在最后加上 : ?
例如:
#define MAX 1000;
#define MAX 1000
建议不要加上 ; ,这样容易导致问题。
例如:
#define MAX 100;
#include<stdio.h>
int main()
{
int max = 0;
if (1)
max = MAX;
else
max = 0;
}
这个程序是错误的
如果将MAX替换
#include<stdio.h>
int main()
{
int max = 0;
if (1)
max = 100;
;
else
max = 0;
}
这就会有语法错误,if和else语句中不可以有其他语句
3.3#define定义的宏
#define 机制包括了一个规定,允许把参数替换到文本中,这种实现通常称为宏(macro)或定义
宏(define macro)。
宏的声明
#define name( parament-list ) stuff
其中的 parament-list 是一个由逗号隔开的符号表,它们可能出现在stuff中
注意
参数列表的左括号必须与name紧邻。
如果两者之间有任何空白存在,参数列表就会被解释为stuff中的一部分
#define SQUARE(x) x*x
#include<stdio.h>
int main()
{
int x = 10;
x = SQUARE(x);
printf("%d\n", x);
return 0;
}
输出结果为:100
警告
这样写的宏是有危险的
#define SQUARE(x) x*x
#include<stdio.h>
int main()
{
int x = 10;
x = SQUARE(x + 1);
printf("%d\n", x);
return 0;
}
我们期待结果是121,但是事实输出的却是:21
为什么呢?
不妨将宏替换到main()函数内吧
#include<stdio.h>
int main()
{
int x = 10;
x = x+1*x+1; // 替换后的样子
printf("%d\n", x);
return 0;
}
显然和我们想要的结果不一样
改一改就好了
#define SQUARE(x) (x)*(x)//价格括号就解决了
#include<stdio.h>
int main()
{
int x = 10;
x = SQUARE(x+1);
printf("%d\n", x);
return 0;
}
再看个代码
#define ADD(x) (x)+(x)
#include<stdio.h>
int main()
{
int x = 10;
x = 10*ADD(x);
printf("%d\n", x);
return 0;
}
我们想要的结果是:200,但是得到的却是:110
我们替换一些看看
x = 10*(x)+(x)
我们需要再改改宏
#define ADD(x) ((x)+(x))//再加个括号
#include<stdio.h>
int main()
{
int x = 10;
x = 10*ADD(x);
printf("%d\n", x);
return 0;
}
在最外面载加一个括号,这样就不会出错了
建议
所以用于对数值表达式进行求值的宏定义都应该用这种方式加上括号,避免在使用宏时由于参数中
的操作符或邻近操作符之间不可预料的相互作用。
3.4#define替换的规则
在程序中扩展#define定义符号和宏时,需要涉及几个步骤。
1、在调用宏时,首先对参数进行检查,看看是否包含任何由#define定义的符号。如果是,它们首先
被替换。
2、替换文本随后被插入到程序中原来文本的位置。对于宏,参数名被他们的值所替换。
3、 最后,再次对结果文件进行扫描,看看它是否包含任何由#define定义的符号。如果是,就重复上
述处理过程
注意:
1、宏参数和#define 定义中可以出现其他#define定义的符号。但是对于宏,不能出现递归。
2、当预处理器搜索#define定义的符号的时候,字符串常量的内容并不被搜索。
3.5#和##
我们先看一个代码
#include<stdio.h>
int main()
{
printf("hello"" world""\n");
return 0;
}
大家觉得这个代码运行的结果会是什么呢?
没错就是我们学习C语言的第一个代码。
这是因为:字符串是有自动连接的特点的。
我们可以这样写代码吗?
#define PRINT(FORMAT, VALUE) printf("the value is "FORMAT"\n", VALUE);
#include<stdio.h>
int main()
{
PRINT("%d", 10);
return 0;
}
大家可以猜猜看这个程序运行的结果
运行的结果就是这样
这里只有当字符串作为宏参数的时候才可以把字符串放在字符串中
有人说:我就想把不是字符串的值放进字符串中,不行吗?
答:当然可以,C语言为我们设计了这个操作,用==#==
#define PRINT(FORMAT, VALUE) printf("the value " #VALUE " is " FORMAT "\n", VALUE);
#include<stdio.h>
int main()
{
int i = 10;
PRINT("%d", i);
return 0;
}
代码中的 #VALUE 会预处理器处理为: ==“VALUE”==把它当成字符串
学完#我们看看##是干啥的
##可以把位于它两边的符号合成一个符号。
它允许宏定义从分离的文本片段创建标识符。
#define ADD_TO_SUM(num, value) sum##num += value;
#include<stdio.h>
int main()
{
int sum5 = 0;
ADD_TO_SUM(5, 10); //作用是:给sum5增加10.
printf("%d\n", sum5);
return 0;
}
注:
这样的连接必须产生一个合法的标识符。否则其结果就是未定义的。
==sum##5 实际上就变成了 sum5。==将这个两个标识符结合形成一个新的标识符
3.6带副作用的宏参数
当宏参数在宏的定义中出现超过一次的时候,如果参数带有副作用,那么你在使用这个宏的时候就可能
出现危险,导致不可预测的后果。副作用就是表达式求值的时候出现的永久性效果。
例如:
x+1;//不带副作用
x++;//带有副作用
#define MAX(a, b) ( (a) > (b) ? (a) : (b) )
#include<stdio.h>
int main()
{
int x = 5;
int y = 8;;
int z = MAX(x++, y++);
printf("x=%d y=%d z=%d\n", x, y, z);//输出的结果是什么?
return 0;
}
将宏替换后的:
z = ((x++) > (y++) ? (x++) : (y++));
3.7宏与函数的对比
宏通常被应用于执行简单的运算。
比如在两个数中找最大数
例如:
#define MAX(a, b) ((a)>(b)?(a):(b))
宏的优点
函数也可以完成啊,为什么要用宏呢?
原因一:
用于调用函数和从函数返回的代码可能比实际执行这个小型计算工作所需要的时间更多。
所以宏比函数在程序的规模和速度方面更胜一筹。
原因二:
更为重要的是函数的参数必须声明为特定的类型。
所以函数只能在类型合适的表达式上使用。
反之这个宏怎可以适用于整形、长整型、浮点型等可以 用于>来比较的类型。
宏是类型无关的。
宏的缺点
- 每次使用宏的时候,一份宏定义的代码将插入到程序中。除非宏比较短,否则可能大幅度增加程序
的长度。
- 宏是没法调试的。
- 宏由于类型无关,也就不够严谨。
- 宏可能会带来运算符优先级的问题,导致程容易出现错。
但是宏在有些方面是函数实现不了的
比如:宏的参数可以出现类型,但是函数做不到。
函数必须传变量,而宏却可以传类型
宏与函数的对比
属性 | #define宏定义 | 函数 |
---|---|---|
代码长度 | 每次使用时,宏代码都会被插入到程序中。除了非常 小的宏外,程序的长度会大幅度增长 | 函数代码只出现于一个地方;每次使用这个函数时,都调用那个地方的同一份代码 |
执行速度 | 更快 | 存在函数的调用和返回的额外开销,所以相对慢一些 |
操作符优先级 | 宏参数的求值是在所有周围表达式的上下文环境里,除非加上括号,否则邻近操作符的优先级可能会产生不可预料的后果,所以建议宏在书写的时候多些括号。 | 函数参数只在函数调用的时候求值一次,它的结果值传递给函数。表达式的求值结果更容易预测 |
带有副作用的参数 | 参数可能被替换到宏体中的多个位置,所以带有副作用的参数求值可能会产生不可预料的结果 | 函数只在传参的时候求值一次,结果更容易控制 |
参数类型 | 宏的参数与类型无关,只要对参数的操作是合法的,它就可以使用任意参数类型 | 函数的参数是与类型有关的,如 果参数的类型不同,就需要不同的函数,即使他们执行的任务是相同的。 |
调试 | 宏不方便调试 | 函数可以逐语句调试 |
递归 | 宏是不能递归的 | 函数是可以递归的 |
3.8命名约定
把宏名全部大写
函数名不要全部大写
3.9#undef
这条指令用于移除一个宏定义。
使用后这个宏在后面就不可以使用了
3.10条件编译
调试性的代码,删除可惜,保留又碍事,我们应该怎么办呢?
在编译一个程序的时候我们如果要将一条语句(一组语句)编译或者放弃是很方便的。因为我们有条件
编译指令。
#ifdef -----判断是否被定义,如果定义了就执行下面代码,和(if)基本一样
#endif决定#ifdef的作用区间
一个#ifdef必须跟一个#endif
#include <stdio.h>
#define __DEBUG__
int main()
{
int i = 0;
int arr[10] = { 0 };
for (i = 0; i < 10; i++)
{
arr[i] = i;
#ifdef __DEBUG__
printf("%d\n", arr[i]);//为了观察数组是否赋值成功。
#endif
}
return 0;
}
如果不定义____DEBUG____呢
它就不会输出范围内的代码
1.多个分支的条件编译
#if 常量表达式
//…
#elif 常量表达式
//…
#else
//…
#endif
2.判断是否被定义
#if defined(symbol) == #ifdef symbol (相同效果)
#if !defined(symbol) == #ifndef symbol(相同效果)
3.嵌套指令
#if defined(OS_UNIX)
#ifdef OPTION1
unix_version_option1();
#endif
#ifdef OPTION2
unix_version_option2();
#endif
#elif defined(OS_MSDOS)
#ifdef OPTION2
msdos_version_option2();
#endif
#endif
3.11文件包含
我们已经知道, #include 指令可以使另外一个文件被编译。就像它实际出现于 #include 指令的地方
一样。
这种替换的方式很简单:
预处理器先删除这条指令,并用包含文件的内容替换。
3.11.1头文件被包含的方式
-
本地包含
#include “filename”
查找策略:先在源文件所在目录下查找,如果该头文件未找到,编译器就像查找库函数头文件一样在标
准位置查找头文件。
如果找不到就提示编译错误。
-
库包含
#include <filename.h>
查找头文件直接去标准路径下去查找,如果找不到就提示编译错误。
这样是不是可以说,对于库文件也可以使用 “” 的形式包含?
答案是肯定的-------可以
但是这样做查找的效率就低些,当然这样也不容易区分是库文件还是本地文件了。
3.11.2嵌套文件
从这幅图片可以看出comm.c调用了test.h两次
多次调用是不会是程序报错,但是会使程序在中的代码量增加------导致需要空间增大
如何解决呢
1、条件编译
#ifndef __TEST_H__ //如果没有定义__TEST_H__执行下面代码
#define __TEST_H__
//头文件的内容
#endif
2、
#pragma once
在文件中开始加上这个指令,会使文件只被调用一次
ude 指令的地方
一样。
这种替换的方式很简单:
预处理器先删除这条指令,并用包含文件的内容替换。
3.11.3头文件被包含的方式
-
本地包含
#include “filename”
查找策略:先在源文件所在目录下查找,如果该头文件未找到,编译器就像查找库函数头文件一样在标
准位置查找头文件。
如果找不到就提示编译错误。
-
库包含
#include <filename.h>
查找头文件直接去标准路径下去查找,如果找不到就提示编译错误。
这样是不是可以说,对于库文件也可以使用 “” 的形式包含?
答案是肯定的-------可以
但是这样做查找的效率就低些,当然这样也不容易区分是库文件还是本地文件了。
3.11.4嵌套文件
[外链图片转存中…(img-2sqeCeQF-1666364527728)]
从这幅图片可以看出comm.c调用了test.h两次
多次调用是不会是程序报错,但是会使程序在中的代码量增加------导致需要空间增大
如何解决呢
1、条件编译
#ifndef __TEST_H__ //如果没有定义__TEST_H__执行下面代码
#define __TEST_H__
//头文件的内容
#endif
2、
#pragma once
在文件中开始加上这个指令,会使文件只被调用一次