各位CSDN的uu们你们好呀,今天小雅兰的内容是C语言中的程序环境和预处理这个知识点,这块知识点是小雅兰地C语言的最后一块知识点了,以后可能会更新一些C语言的书籍的阅读,比如:《C Primer Plus》和《C语言深度剖析》。好啦,让我们进入程序环境和预处理的世界吧。


程序的翻译环境和执行环境

详解编译+链接

预处理详解


程序的翻译环境和执行环境

之前我们就已经了解过了:一个test.c的文件,经过编译+链接,生成一个可执行程序

但是,在这个过程中,具体的过程究竟是什么样的,以我们现有的知识,我们无从得知,那么,此篇博客,让小雅兰带你们一起来学习这个过程!!!

在ANSI C的任何一种实现中,存在两个不同的环境。

第1种是翻译环境,在这个环境中源代码被转换为可执行的机器指令。

第2种是执行环境,它用于实际执行代码。

翻译环境包括编译器和链接器

在VS中,编译器叫cl.exe,链接器叫link.exe


详解编译+链接

翻译环境

一个工程中,可能有多个.c和.h

例如:contact.h contact.c test.c

add.c的内容:

#define _CRT_SECURE_NO_WARNINGS 1int add(int x, int y){return x + y;}

test.c的内容:

#define _CRT_SECURE_NO_WARNINGS 1#include//声明extern int add(int x,int y);int main(){int a = 0;int b = 0;scanf("%d %d", &a, &b);int c = add(a, b);printf("%d\n", c);return 0;}

VScode的使用——“VSCode”_认真学习的小雅兰.的博客-CSDN博客

指令:

会发现出现了很多代码

这个就是#include包含的头文件stdio.h的内容

下面来看看:符号汇总是什么、形成符号表是什么、符号表的合并和重定位

符号表的合并

再来看一个符号表合并的例子:

  • 组成一个程序的每个源文件通过编译过程分别转换成目标代码(object code)。
  • 每个目标文件由链接器(linker)捆绑在一起,形成一个单一而完整的可执行程序。
  • 链接器同时也会引入标准C函数库中任何被该程序所用到的函数,而且它可以搜索程序员个人 的程序库,将其需要的函数也链接到程序中。

编译本身也分为几个阶段:

看代码:

sum.c

int g_val = 2016;void print(const char *str){ printf("%s\n", str);}

test.c

#include int main(){ extern void print(char *str); extern int g_val; printf("%d\n", g_val); print("hello bit.\n"); return 0;}

1. 预处理 选项 gcc -E test.c -o test.i

预处理完成之后就停下来,预处理之后产生的结果都放在test.i文件中。

2. 编译 选项 gcc -S test.c

编译完成之后就停下来,结果保存在test.s中。

3. 汇编 gcc -c test.c

汇编完成之后就停下来,结果保存在test.o中。

运行环境

程序执行的过程:

  • 程序必须载入内存中。在有操作系统的环境中:一般这个由操作系统完成。在独立的环境中,程序的载入必须由手工安排,也可能是通过可执行代码置入只读内存来完成。
  • 程序的执行便开始。接着便调用main函数。
  • 开始执行程序代码。这个时候程序将使用一个运行时堆栈(stack),存储函数的局部变量和返回地址。程序同时也可以使用静态(static)内存,存储于静态内存中的变量在程序的整个执行过程 一直保留他们的值。
  • 终止程序。正常终止main函数;也有可能是意外终止。

运行时堆栈就是函数栈帧!!!


预处理详解

预定义符号

__FILE__   //进行编译的源文件__LINE__   //文件当前的行号__DATE__  //文件被编译的日期__TIME__  //文件被编译的时间__STDC__  //如果编译器遵循ANSI C,其值为1,否则未定义

这些预定义符号都是语言内置的。

下面,来看一个例子:

#define _CRT_SECURE_NO_WARNINGS 1#includeint main(){int i = 0;int arr[10] = { 1,2,3,4,5,6,7,8,9,10 };for (i = 0; i < 10; i++){printf("%d----%s,%s,%s,line=%d\n", arr[i], __FILE__, __DATE__, __TIME__, __LINE__);}return 0;}

说明VS不是严格遵循C语言标准的

其实编译器在代码编译的时候,会对函数和变量名重命名的

在C语言中,重命名的规则基本就是:加_

C++中会更加复杂

#define

#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定义标识符的时候,要不要在最后加上 ;

比如:

#define MAX 1000;#define MAX 1000

建议不要加上 ; ,这样容易导致问题。

比如下面的场景:

if (condition)  max = MAX;else  max = 0;

这里会出现语法错误。

#define 定义宏

#define 机制包括了一个规定,允许把参数替换到文本中,这种实现通常称为宏(macro)或定义宏(define macro)。

下面是宏的申明方式:

#define name( parament-list ) stuff

其中的 parament-list 是一个由逗号隔开的符号表,它们可能出现在stuff中。

注意:

参数列表的左括号必须与name紧邻。

如果两者之间有任何空白存在,参数列表就会被解释为stuff的一部分。

如:

#define SQUARE( x ) x * x

这个宏接收一个参数 x ,如果在上述声明之后,你把

SQUARE( 5 );

置于程序中,预处理器就会用下面这个表达式替换上面的表达式:

5 * 5

警告:

这个宏存在一个问题:

观察下面的代码段:

int a = 5;printf("%d\n" ,SQUARE( a + 1) );

乍一看,你可能觉得这段代码将打印36这个值。

事实上,它将打印11.

为什么?

替换文本时,参数x被替换成a + 1,所以这条语句实际上变成了:

printf (“%d\n”,a + 1 * a + 1 );

这样就比较清晰了,由替换产生的表达式并没有按照预想的次序进行求值。

在宏定义上加上两个括号,这个问题便轻松的解决了:

#define SQUARE(x) (x) * (x)

这样预处理之后就产生了预期的效果:

printf ("%d\n",(a + 1) * (a + 1) );

这里还有一个宏定义:

#define DOUBLE(x) (x) + (x)

定义中我们使用了括号,想避免之前的问题,但是这个宏可能会出现新的错误。

int a = 5;printf("%d\n" ,10 * DOUBLE(a));

这将打印什么值呢?

看上去,好像打印100,但事实上打印的是55.

我们发现替换之后:

printf ("%d\n",10 * (5) + (5));

乘法运算先于宏定义的加法,所以出现了55 。

这个问题的解决办法是在宏定义表达式两边加上一对括号就可以了。

#define DOUBLE( x)  ( ( x ) + ( x ) )

提示:

所以用于对数值表达式进行求值的宏定义都应该用这种方式加上括号,避免在使用宏时由于参数中的操作符或邻近操作符之间不可预料的相互作用。

#define 替换规则

在程序中扩展#define定义符号和宏时,需要涉及几个步骤。

  • 在调用宏时,首先对参数进行检查,看看是否包含任何由#define定义的符号。如果是,它们首先被替换。
  • 替换文本随后被插入到程序中原来文本的位置。对于宏,参数名被他们的值所替换。
  • 最后,再次对结果文件进行扫描,看看它是否包含任何由#define定义的符号。如果是,就重复上述处理过程。

注意:

  • 宏参数和#define 定义中可以出现其他#define定义的符号。但是对于宏,不能出现递归。
  • 当预处理器搜索#define定义的符号的时候,字符串常量的内容并不被搜索。

好啦各位uu们,今天的知识点就到这里啦,其实这些知识点挺抽象的,尤其是汇编那里,剩下的预处理的知识点小雅兰下一篇博客再来分享,继续加油呀!!!