程序环境和预处理

KrisZhang102023-12-31 23:11

目录​​​​​​​

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

详解编译+链接

翻译环境（编译器和链接器）

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

运行环境

预处理详解

预定义符号

#define（不要吝啬括号）

[#define 定义标识符](#define 定义标识符)

[#define 定义宏](#define 定义宏)

[#define 替换规则](#define 替换规则)

#和##

​​​​​​​使用 #

[## 的作用](## 的作用)

带副作用的宏参数

宏和函数对比

宏的缺点：

宏和函数的一个对比

命名约定

#undef

命令行定义

条件编译

文件包含

头文件被包含的方式：

嵌套文件包含

其他预处理指令

读者参照我的Linux环境下编译代码

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

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

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

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

详解编译+链接

翻译环境（编译器和链接器）

在win的vs下编译器是cl.exe链接器是link.exe

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

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

如何查看编译期间的每一步发生了什么呢？

test.c

cpp 复制代码 
#include <stdio.h> 
int main() 
{
    int i = 0; 
    for(i=0; i<10; i++) 
    { 
        printf("%d ", i); 
    } 
    return 0;
}

在Linux环境下使用vim：

  1. 预处理 选项

gcc -E test.c -o test.i

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

  1. 编译 选项

gcc -S test.c

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

  1. 汇编

gcc -c test.c

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

VIM学习资料

简明VIM练级攻略：

https://coolshell.cn/articles/5426.html

给程序员的VIM速查卡

https://coolshell.cn/articles/5479.html

运行环境

程序执行的过程：

  1. 程序必须载入内存中。在有操作系统的环境中：一般这个由操作系统完成。在独立的环境中，程序的载入必须由手工安排，也可能是通过可执行代码置入只读内存来完成。

  2. 程序的执行便开始。接着便调用main函数。

  3. 开始执行程序代码。这个时候程序将使用一个运行时堆栈（stack）（栈帧），存储函数的局部变量和返回地址。程序同时也可以使用静态（static）内存，存储于静态内存中的变量在程序的整个执行过程 一直保留他们的值。

  4. 终止程序。正常终止main函数；也有可能是意外终止。

预处理详解

补充：

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

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

C++中会更加复杂

预定义符号

FILE //进行编译的源文件

LINE //文件当前的行号

DATE //文件被编译的日期

TIME //文件被编译的时间

STDC //如果编译器遵循ANSI C，其值为1，否则未定义

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

举个例子：

printf("file:%s line:%d\n", FILE, LINE);

#define（不要吝啬括号）

#define 定义标识符

语法：

#define name stuff

举个例子：

cpp 复制代码 
#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 机制包括了一个规定，允许把参数替换到文本中，这种实现通常称为宏（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) );

它将打印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));

打印的是55.

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

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

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

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

提示：

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

#define 替换规则

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

  1. 在调用宏时，首先对参数进行检查，看看是否包含任何由#define定义的符号。如果是，它们首先被替换。

  2. 替换文本随后被插入到程序中原来文本的位置。对于宏，参数名被他们的值所替换。

  3. 最后，再次对结果文件进行扫描，看看它是否包含任何由#define定义的符号。如果是，就重复上述处理过程。

注意：

​​​​​​​ 1. 宏参数和#define 定义中可以出现其他#define定义的符号。但是对于宏，不能出现递归。

  1. 当预处理器搜索#define定义的符号的时候，字符串常量的内容并不被搜索。
cpp 复制代码 
#include <stdio.h>

#define print_format(num,format) \
        printf("the value of num is "format, num)

int main()
{
    int a = 10;
    print_format(a,"%d\n");
    //printf("the value of num is %d\n",a);

    int b = 20;
    print_format(b,"%d\n");
    //printf("the value of num is %d\n",b);

    float f = 3.14f;
    print_format(f,"%f\n");
    //printf("the value of num is %f\n",f);
    return 0;
}

#和##

如何把参数插入到字符串中？

首先我们看看这样的代码：

cpp 复制代码 
char* p = "hello ""world\n"; 
printf("hello"" world\n"); 
printf("%s", p);

这里输出的是

hello world

我们发现字符串是有自动连接的特点的。

  1. 那我们是不是可以写这样的代码？
cpp 复制代码 
#define PRINT(FORMAT, VALUE)\ 
    printf("the value is "FORMAT"\n", VALUE); 
...

PRINT("%d", 10);

这里只有当字符串作为宏参数的时候才可以把字符串放在字符串中。

  1. 另外一个技巧是：
​​​​​​​使用

把一个宏参数变成对应的字符串。

比如：

cpp 复制代码 
int i = 10; 
    #define PRINT(FORMAT, VALUE)\ 
    printf("the value of " #VALUE "is "FORMAT "\n", VALUE);
 ...
PRINT("%d", i+3);//产生了什么效果？

代码中的#VALUE会预处理器处理为：

"VALUE"

最终的输出的结果应该是：

the value of i+3 is 13

cpp 复制代码 
改进：
#include <stdio.h>

#define print_format(num,format) \
        printf("the value of "#num" is " format, num)

// #不是替换进来，而是变成他的名字所对应的字符串
int main()
{
    int a = 10;
    print_format(a,"%d\n");
    //printf("the value of num is %d\n",a);

    int b = 20;
    print_format(b,"%d\n");
    //printf("the value of num is %d\n",b);

    float f = 3.14f;
    print_format(f,"%f\n");
    //printf("the value of num is %f\n",f);
    return 0;
}
## 的作用

##可以把位于它两边的符号合成一个符号。

它允许宏定义从分离的文本片段创建标识符。

cpp 复制代码 
#define ADD_TO_SUM(num, value) \ 
    sum##num += value; 
...

ADD_TO_SUM(5, 10);//作用是：给sum5增加10.

注： 这样的连接必须产生一个合法的标识符。否则其结果就是未定义的。

cpp 复制代码 
#include <stdio.h>

int Class110 = 2023;
#define CAT(x,y) x##y

int main()
{
    printf("%d\n", CAT(Class,110));
    return 0;
}

带副作用的宏参数

当宏参数在宏的定义中出现超过一次的时候，如果参数带有副作用，那么你在使用这个宏的时候就可能出现危险，导致不可预测的后果。副作用就是表达式求值的时候出现的永久性效果。

例如：

x+1;//不带副作用

x++;//带有副作用

MAX宏可以证明具有副作用的参数所引起的问题。

cpp 复制代码 
#define MAX(a, b) ( (a) > (b) ? (a) : (b) )
...
x = 5; 
y = 8; 
z = MAX(x++, y++); 
printf("x=%d y=%d z=%d\n", x, y, z);//输出的结果是什么？

这里我们得知道预处理器处理之后的结果是什么：

z = ( (x++) > (y++) ? (x++) : (y++));

所以输出的结果是：

x=6 y=10 z=9

补个点：

int a = 10；

a = 20;//这里使用的是a的空间，我们说a是左值

Int c = a;//这里使用的是a中存放的数据，这里a是右值

cpp 复制代码 
#include <stdio.h>

int main()
{
    //代码1
    int a = 10;
    int b = a+1;//b得到的是11，a还是10

    //代码2
    int a = 10;
    int b = ++a;//b得到了11，但是a也变了，变成了11
    //代码2是有副作用的
    
    return 0;
}

宏和函数对比

宏通常被应用于执行简单的运算。

比如在两个数中找出较大的一个。

#define MAX(a, b) ((a)>(b)?(a):(b))

那为什么不用函数来完成这个任务？

原因有二：

  1. 用于调用函数和从函数返回的代码可能比实际执行这个小型计算工作所需要的时间更多。 所以宏比函数在程序的规模和速度方面更胜一筹。

  2. 更为重要的是函数的参数必须声明为特定的类型。

所以函数只能在类型合适的表达式上使用。反之这个宏怎可以适用于整形、长整型、浮点型等可以用于比较的类型。

宏是类型无关的。

使用函数所需要开销的时间：

1、函数调用前准备（传参、函数栈帧空间的维护）

2、主要运算

3、函数返回，返回值的处理，函数栈帧的销毁

宏的缺点：

当然和函数相比宏也有劣势的地方：

  1. 每次使用宏的时候，一份宏定义的代码将插入到程序中。除非宏比较短，否则可能大幅度增加程序的长度。

  2. 宏是没法调试的。

  3. 宏由于类型无关，也就不够严谨。

  4. 宏可能会带来运算符优先级的问题，导致程容易出现错。

宏有时候可以做函数做不到的事情。比如：宏的参数可以出现类型，但是函数做不到。

cpp 复制代码 
#define MALLOC(num, type)\ 
    (type *)malloc(num * sizeof(type)) 
...

//使用 
MALLOC(10, int);//类型作为参数

//预处理器替换之后：

(int *)malloc(10 * sizeof(int));

宏和函数的一个对比

以后功能比较简单的时候，可以采用宏来实现

如果功能比较复杂，建议使用函数来实现

C/C++

引入了一个：inline的关键字

内联函数：具有了函数的优点，也具有宏的优点

|---------------|---------------------------------------------------------------------------|--------------------------------------------------|
| 属 性 | #define定义宏 | 函数 |
| 代 码 长度 | 每次使用时，宏代码都会被插入到程序中。除了非常小的宏之外，程序的长度会大幅度增长 | 函数代码只出现于一个地方；每次使用这个函数时，都调用那个 地方的同一份代码 |
| 执 行 速度 | 更快 | 存在函数的调用和返回的额外开 销，所以相对慢一些 |
| 操 作 符优 先 级 | 宏参数的求值是在所有周围表达式的上下文环境里， 除非加上括号，否则邻近操作符的优先级可能会产生 不可预料的后果，所以建议宏在书写的时候多些括 号。 | 函数参数只在函数调用的时候求 值一次，它的结果值传递给函 数。表达式的求值结果更容易预测。 |
| 带 有 副作 用 的参 数 | 参数可能被替换到宏体中的多个位置，所以带有副作 用的参数求值可能会产生不可预料的结果。 | 函数参数只在传参的时候求值一 次，结果更容易控制。 |
| 参 数 类型 | 宏的参数与类型无关，只要对参数的操作是合法的， 它就可以使用于任何参数类型。 | 函数的参数是与类型有关的，如 果参数的类型不同，就需要不同 的函数，即使他们执行的任务是相同的。 |
| 调 试 | 宏是不方便调试的 | 函数是可以逐语句调试的 |
| 递 归 | 宏是不能递归的 | 函数是可以递归的 |

命名约定

一般来讲函数的宏的使用语法很相似。所以语言本身没法帮我们区分二者。 那我们平时的一个习惯是：

把宏名全部大写

函数名不要全部大写

#undef

这条指令用于移除一个宏定义。

#undef NAME

//如果现存的一个名字需要被重新定义，那么它的旧名字首先要被移除。

命令行定义

许多C 的编译器提供了一种能力，允许在命令行中定义符号。用于启动编译过程。

例如：当我们根据同一个源文件要编译出一个程序的不同版本的时候，这个特性有点用处。（假定某个程序中声明了一个某个长度的数组，如果机器内存有限，我们需要一个很小的数组，但是另外一个机器内存大些，我们需要一个数组能够大些。）

cpp 复制代码 
#include <stdio.h>

//演示命令行定义

int main()
{
    int arr[SZ];
    int i = 0;
    for (i = 0;i < SZ;i++)
    {
        arr[i] = i;
    }
    for (i = 0;i < SZ;i++)
    {
        printf("%d ",arr[i]);
    }
    return 0;
}

编译指令：

//linux 环境演示

gcc -D ARRAY_SIZE=10 programe.c

条件编译

在编译一个程序的时候我们如果要将一条语句（一组语句）编译或者放弃是很方便的。因为我们有条件编译指令。

比如说：

调试性的代码，删除可惜，保留又碍事，所以我们可以选择性的编译。

cpp 复制代码 
#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 //__DEBUG__
    } 
    return 0;
}

如果前面定义了__DEBUG__那么这里将会失效，printf会进行编译，如果没有#define__DEBUG__那么这条语句将会失效，printf将不进行编译

常见的条件编译指令：

cpp 复制代码 
1. 
#if    常量表达式 
    //...
#endif 
//常量表达式由预处理器求值。 
如： 
#define __DEBUG__ 1 
#if __DEBUG__
    //.. 
#endif

2.多个分支的条件编译 
#if 常量表达式 
    //...
#elif 常量表达式 
    //...
#else 
    //...
#endif

3.判断是否被定义 
#if defined(symbol) 
#ifdef symbol

#if !defined(symbol) 
#ifndef symbol

4.嵌套指令 
#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

文件包含

​​​​​​​我们已经知道， #include指令可以使另外一个文件被编译。就像它实际出现于#include指令的地方一样。

这种替换的方式很简单：

预处理器先删除这条指令，并用包含文件的内容替换。

这样一个源文件被包含10次，那就实际被编译10次。

头文件被包含的方式：

  • 本地文件包含

#include "filename"

查找策略：先在源文件所在目录下查找，如果该头文件未找到，编译器就像查找库函数头文件一样在标准位置查找头文件。

如果找不到就提示编译错误。

Linux环境的标准头文件的路径：

/usr/include

Mac环境的标准头文件的路径：

/Library/Developer/CommandLineTools/SDKs/MacOSX14.0.sdk/System/Library/Frameworks/Kernel.framework/Versions/A/Headers/sys

注意按照自己的安装路径去找。

  • 库文件包含

#include <filename.h>

查找头文件直接去标准路径下去查找，如果找不到就提示编译错误。

这样对于库文件也可以使用""的形式包含。

但是这样做查找的效率就低些，当然这样也不容易区分是库文件还是本地文件了。

嵌套文件包含

如果出现这样的场景：

comm.h和comm.c是公共模块。

test1.h和test1.c使用了公共模块。

test2.h和test2.c使用了公共模块。

test.h和test.c使用了test1模块和test2模块。

这样最终程序中就会出现两份comm.h的内容。这样就造成了文件内容的重复。

如何解决这个问题？

条件编译。

每个头文件的开头写：

#ifndef TEST_H

#define TEST_H

//头文件的内容

#endif //TEST_H

如果后面再编译Add会发现前面define过了

所以直接不参与编译

#ifndef意思是如果没有定义的话

或者：

#pragma once

就可以避免头文件的重复引入。

注：

推荐《高质量C/C++编程指南》中附录的考试试卷（很重要）。

笔试题：

  1. 头文件中的 ifndef/define/endif是干什么用的?

  2. #include <filename.h> 和 #include "filename.h"有什么区别?

#pragma once也可以达到效果

防止头文件重复多次的包含

其他预处理指令

#error

#pragma

#line

...

不做介绍，自己去了解。

#pragma pack()在结构体部分介绍。

参考《C语言深度解剖》学习

相关推荐
lulu_gh_yu1 小时前
数据结构之排序补充
c语言·开发语言·数据结构·c++·学习·算法·排序算法
～yY…s<#>2 小时前
【刷题17】最小栈、栈的压入弹出、逆波兰表达式
c语言·数据结构·c++·算法·leetcode
EricWang13584 小时前
[OS] 项目三-2-proc.c: exit(int status)
服务器·c语言·前端
我是谁？？4 小时前
C/C++使用AddressSanitizer检测内存错误
c语言·c++
希言JY5 小时前
C字符串 | 字符串处理函数 | 使用 | 原理 | 实现
c语言·开发语言
午言若5 小时前
C语言比较两个字符串是否相同
c语言
TeYiToKu7 小时前
笔记整理—linux驱动开发部分（9）framebuffer驱动框架
linux·c语言·arm开发·驱动开发·笔记·嵌入式硬件·arm
互联网打工人no17 小时前
每日一题——第一百二十四题
c语言
爱吃生蚝的于勒7 小时前
深入学习指针（5）！！！！！！！！！！！！！！！
c语言·开发语言·数据结构·学习·计算机网络·算法
羊小猪~~7 小时前
数据结构C语言描述2(图文结合)--有头单链表，无头单链表(两种方法)，链表反转、有序链表构建、排序等操作，考研可看
c语言·数据结构·c++·考研·算法·链表·visual studio
热门推荐
01【HarmonyOS】HUAWEI DevEco Studio 下载地址汇总02(欧拉)openEuler系统添加网卡文件配置流程、(欧拉)openEuler系统手动配置ipv6地址流程、(欧拉)openEuler系统网络管理说明03组基轨迹建模 GBTM的介绍与实现（Stata 或 R）04【AIGC】重塑未来的科技巨轮05全面解析：构建基于深度学习的安全帽检测系统（UI界面+YOLO代码+数据集）06【经验分享】Ubuntu22.04安装微信(linux官方版)07基于YOLOv10深度学习的CT扫描图像肾结石智能检测系统【python源码+Pyqt5界面+数据集+训练代码】深度学习实战、目标检测08Ubuntu 20.04使用Livox mid 360 测试 FAST_LIO09RAG 实践- Ollama+RagFlow 部署本地知识库10【TC3xx芯片】TC3xx芯片电源管理系统PMS详解