C语言笔记-1 编译过程&字节数

VengaZ

已于 2023-07-05 18:45:11 修改

阅读量379

点赞数 1

分类专栏： C语言笔记文章标签： c语言笔记开发语言学习

于 2023-06-25 20:54:09 首次发布

本文链接：https://blog.csdn.net/m0_56091756/article/details/131385843

版权

C语言笔记专栏收录该内容

6 篇文章 1 订阅

订阅专栏

文章目录

C 基础语法

概述

C语言编译过程包括了预处理、编译、汇编和链接四个主要阶段。下面是对每个阶段的简要介绍：

预处理（Preprocessing）：在这个阶段，预处理器根据预处理指令（以 # 开头的指令）对源代码进行处理。预处理器执行宏展开、条件编译、头文件包含等操作，生成经过预处理的代码。
编译（Compilation）：编译器将经过预处理的代码进行词法分析、语法分析和语义分析，生成中间代码（通常是汇编代码）。
汇编（Assembly）：汇编器将中间代码转换为机器语言指令，生成目标文件。目标文件包含机器指令的二进制表示形式以及相关的符号信息。
链接（Linking）：链接器将目标文件与其他需要的目标文件（例如库文件）进行链接，解析符号引用和重定位，生成最终的可执行文件。

下面是一个简单的示例代码，展示了一个C语言程序的基本结构和编译过程的几个阶段：

#include <stdio.h>

#define PI 3.14159

int main() {
    int radius = 5;
    float area;

    area = PI * radius * radius;
    printf("The area of the circle is: %f\n", area);

    return 0;
}

在这个示例中，#include <stdio.h>是一个预处理指令，用于包含标准输入输出库的头文件。#define PI 3.14159定义了一个宏常量。

编译器会对源代码进行词法分析、语法分析和语义分析，生成汇编代码。汇编器将汇编代码转换为机器指令，生成目标文件。链接器将目标文件与标准库等进行链接，生成可执行文件。

请注意，具体的编译过程可能因编译器和操作系统而异。上述过程是一个典型的编译过程示例，但实际情况可能会有所不同。

注意

if(a=表达式) 判断的就是a的值，而不是判断这个赋值操作的成功与否。
- 查看对应的汇编代码，它是直接用a的地址里的值来和0做比较，就是把左边的a地址里的值作为if中的判断条件。
scanf("%c", &p[i].job); //当读入一个字符时，要注意加&

C 其他知识点

编译过程

在这里插入图片描述

编译器数据模型区别

在这里插入图片描述

32/64位机器中，各数据类型所占位数

下图32位与64位类型所占字节数是在linux系统下的字节数，如果是windows下个别会有所变化，比如windows 64位下的long与unsigned long均为4字节

在这里插入图片描述

这即是说各个类型的变量长度是由编译器来决定的，而当前主流的编译器中一般是32位机器和64位机器中int型都是4个字节（例如，GCC）。下面列举在GCC编译器下32位机器和64位机器各个类型变量所占字节数：

在这里插入图片描述

assert() 断言（宏）

assert 宏的原型定义在 assert.h 中，其作用是如果它的条件返回错误，则终止程序执行。

#include <assert.h> 
void assert( int expression );

其表达的意思就是，程序在我的假设条件下，能够正常良好的运作，其实就相当于一个 if 语句：

if(假设成立) {
     程序正常运行；
}
else {
      报错&&终止程序！（避免由程序运行引起更大的错误）  
}

assert 的作用是现计算表达式 expression ，如果其值为假（即为0），那么它先向 stderr 打印一条出错信息,然后通过调用 abort 来终止程序运行。

使用 assert 的缺点是，频繁的调用会极大的影响程序的性能，增加额外的开销。

在调试结束后，可以通过在包含 #include 的语句之前插入 #define NDEBUG 来禁用 assert 调用，示例代码如下：

#include 
#define NDEBUG 
#include

用法总结与注意事项

1)在函数开始处检验传入参数的合法性

如:

int resetBufferSize(int nNewSize) 
{ 
//功能:改变缓冲区大小, 
//参数:nNewSize 缓冲区新长度 
//返回值:缓冲区当前长度 
//说明:保持原信息内容不变 nNewSize<=0表示清除缓冲区 
assert(nNewSize >= 0); 
assert(nNewSize <= MAX_BUFFER_SIZE); 
 
... 
}

2)每个assert只检验一个条件,因为同时检验多个条件时,如果断言失败,无法直观的判断是哪个条件失败

不好:

assert(nOffset>=0 && nOffset+nSize<=m_nInfomationSize);

好:

assert(nOffset >= 0); 
assert(nOffset+nSize <= m_nInfomationSize);

3)不能使用改变环境的语句,因为assert只在DEBUG个生效,如果这么做,会使用程序在真正运行时遇到问题

错误: assert(i++ < 100)

这是因为如果出错，比如在执行之前i=100,那么这条语句就不会执行，那么i++这条命令就没有执行。

正确:

assert(i < 100)
i++;

4)assert和后面的语句应空一行,以形成逻辑和视觉上的一致感

5)有的地方,assert不能代替条件过滤

程序一般分为Debug 版本和Release 版本，Debug 版本用于内部调试，Release 版本发行给用户使用。断言assert 是仅在Debug 版本起作用的宏，它用于检查"不应该"发生的情况。以下是一个内存复制程序，在运行过程中，如果assert 的参数为假，那么程序就会中止（一般地还会出现提示对话，说明在什么地方引发了assert）。