C语言程序环境编译+链接理论

目录
  • 一、程序的翻译环境(编译和链接)
  • 二、程序的运行环境

一、程序的翻译环境(编译和链接)

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

  • 第一种是翻译环境,在这个环境中源代码被转换成可执行的机器指令。
  • 第二种是执行环境,它用于实际执行代码。

如下图:就是我们编译器编译一个源文件到一个可执行文件的大致过程

  • 组成一个程序的每个源文件(test.c)通过编译过程分别转换成目标代码(test.obj)
  • 每个目标文件又由链接器(linker)捆绑在一起,形成一个单一而完整的可执行程序。
  • 链接器同时会引入标准c函数库中任何被该程序所用到的函数。

对于一个源文件(test.c)变成最终的二进制文件(test.exe)可以通过下图简单表示:

看上图我们知道:编译又分三步:

预编译 (预处理)(test.c —>test.i)

  • (1)处理所有的注释,以空格代替
  • (2)将所有的#define删除,并展开所有的宏定义
  • (3)处理条件编译指令#if、#ifdef、#elif、#else、#endif
  • (4)处理#include,展开被包含的文件
  • (5)保留编译器需要使用的#pragma指令

编译 (test.i —>test.s)

  • (1)把C语言代码编译成汇编代码
  • (2)进行语法分析,词法分析,语义分析,符号汇总形成符号表

汇编 (test.s —>test.o)

  • 汇编过程实际上指把汇编语言代码翻译成目标机器指令的过程。对于被翻译系统处理的每个C语言源程序,都将最终经过这一处理而得到相应的目标文件。 目标文件中所存放的也就是与源程序等效的目标的机器语言代码。

编译完后执行链接,链接会做哪些事呢?

  • 合并段表
  • 符号表的合并和符号表的重定位
  • 最后形成(test.exe)

二、程序的运行环境

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

到此这篇关于C语言程序环境编译+链接理论的文章就介绍到这了,更多相关C语言编译+链接内容请搜索我们以前的文章或继续浏览下面的相关文章希望大家以后多多支持我们!

(0)

相关推荐

  • C语言关于include顺序不同导致编译结果不同的问题

    目录 编译环境 问题简化 问题分析 总结   今天遇到了因为include顺序不同而编译结果不同的问题.归根结底还是自己写代码的习惯不好导致的. 编译环境   既然要写就多写点吧.最近又开始做TI的DSP C6455相关的开发了.之前的文章里有写到,TI提供有一个CSL库,但是比较老,输出的格式是COFF,而现在一般是ELF.如果做一些新的开发的话,建议重新编译CSL库,并选择输出为ELF格式.   C6000 DSP的编译工具链目前主要有7.4和8.3版本.8.0以上的版本不再支持C6455了

  • 如何将Python编译成C语言

    前言: 文章里用的Python环境是Anaconda3 2019.7这里测试的程序是找出所有1000以内的勾股数.a∈[1, 1000],b∈[1, 1000], c∈[1, 1000] 足a² + b² = c² 有多少种解? 如果用普通的python去写,代码如下: 创建一个main.py # encoding=utf-8 # cython: language_level=3 import time import pyximport pyximport.install() import py

  • C语言从代码中加载动态链接库过程解析

    这篇文章主要介绍了C语言从代码中加载动态链接库过程解析,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友可以参考下 函数:void *dlopen(const char *filename, int flag); 功能:打开动态链接库文件 参数:filename 动态链接库文件名 flag 打开方式,一般为RTLD_LASY 返回值:库指针 函数:char *dlerror(void); 功能:获取错误值 返回值:错误值 函数:void *dlsym(voi

  • vscode编译运行c语言报错乱码的解决

    目录 在这里先展示我遇到的报错顺序: 解决报错的前提: 报错1和2: 报错3: 报错4: 在这里先展示我遇到的报错顺序: 1.运行后出现乱码(不论是输出中文还是英文) 2.检测到 #include 错误.请更新 includePath.已为此翻译单元(E:\abc.ino)禁用波形曲线.C/C++(1696) 3.无法将"g++"项识别为 cmdlet.函数.脚本文件或可运行程序的名称 4.输出中文出现乱码 解决报错的前提: 首先vscode必须安装有2个扩展才能编译运行C代码,如图:

  • 使用Python向C语言的链接库传递数组、结构体、指针类型的数据

    使用python向C语言的链接库传递数组.结构体.指针类型的数据 由于最近的项目频繁使用python调用同事的C语言代码,在调用过程中踩了很多坑,一点一点写出来供大家参考,我们仍然是使用ctypes来调用C语言的代码库. 至于如何调用基础数据类型的数据,请大家参考我的另外一篇文章:Python使用ctypes调用C/C++的方法 1. 使用python给C语言函数传递数组类型的参数 想必很多时候,C语言会使用数组作为参数,在之前我们使用过ctypes的一些数据类型作为C语言参数类型,包括byte

  • Sublime Text 3 实现C语言代码的编译和运行(示例讲解)

    Sublime Text 3是一款优秀的代码编辑软件.界面简洁,轻巧快速,很受大家的欢迎. 最近开始用他来编辑数据结构的代码,这就需要在新建编译系统. 具体方法如下: 首先: 接下来是关键的一步,将以下代码粘贴到弹出的编辑页面中,文件名为name.sublime-build形式,name是新建的编译器名字. { "cmd": ["gcc","${file}","-fexec-charset=gbk","-o"

  • C语言 超详细讲解链接器

    目录 1 什么是链接器 2 声明与定义 3 命名冲突 3.1 命名冲突 3.2 static修饰符 4 形参.实参.返回值 5 检查外部类型 6 头文件 1 什么是链接器 典型的链接器把由编译器或汇编器生成的若干个目标模块,整合成一个被称为载入模块或可执行文件的实体–该实体能够被操作系统直接执行. 链接器通常把目标模块看成是由一组外部对象组成的.每个外部对象代表着机器内存中的某个部分,并通过一个外部名称来识别.因此,==程序中的每个函数和每个外部变量,如果没有被声明为static,就都是一个外部

  • C语言程序环境编译+链接理论

    目录 一.程序的翻译环境(编译和链接) 二.程序的运行环境 一.程序的翻译环境(编译和链接) 在ANSI C 的任何一种实现中,存在两个不同的环境: 第一种是翻译环境,在这个环境中源代码被转换成可执行的机器指令. 第二种是执行环境,它用于实际执行代码. 如下图:就是我们编译器编译一个源文件到一个可执行文件的大致过程 组成一个程序的每个源文件(test.c)通过编译过程分别转换成目标代码(test.obj) 每个目标文件又由链接器(linker)捆绑在一起,形成一个单一而完整的可执行程序. 链接器

  • C语言程序环境和预处理详解分析

    目录 一.程序的翻译环境和运行环境 程序的翻译环境 链接阶段 执行环境(运行环境) 二.预处理详解 预定义符号 #define定义标识符 #define定义宏 #define 替换规则 #和##两个预处理的工具 带副作用的宏参数 宏和函数对比 #undef移除宏 命令行定义 条件编译 头文件包含 嵌套文件包含 总结 一.程序的翻译环境和运行环境 重点:任何ANSI C(标准C的程序)的一种实现,存在两个不同的环境 第1种是翻译环境,在这个环境中源代码被转换为可执行的机器指令. 第2种是执行环境,

  • C语言程序的编译与预处理基础定义讲解

    目录 程序的翻译环境和执行环境 1.翻译环境 2.运行环境 预处理详解 预定义符号 #define #define定义宏 #define替换规则 #和## 带副作用的宏参数 宏和函数对比 命名约定 #undef 命令行定义 条件编译 文件包含 程序的翻译环境和执行环境 在ANSIC的任何一种实现中,存在两个不同的环境:翻译环境和执行环境 翻译环境:源代码被转换为可执行的机器指令. 执行环境:实际执行代码. 1.翻译环境 组成一个程序的每个源文件通过编译分别转换成目标文件(object code)

  • C语言程序的编译与预处理详解

    目录 一.程序的编译 1. 编译阶段 2.链接 二.预处理详解 1.预定义符号 2.#define定义的标识符 3.#define定义的宏 4.#unef 总结 一.程序的编译 我们写的源文件(*.c)是经过怎样的处理生产可执行文件(*.exe)的呢?这种处理有两个步骤-编译和链接.源文件在编译阶段通过编译器将每个源文件转换为目标文件(这些文件是可执行的机器指令),再通过链接器将其捆绑到一起,生成一个完整的可执行程序. 1. 编译阶段 编译阶段可细分为3个阶段:预处理(即预编译).编译.汇编 预

  • C语言程序环境中的预处理详解

    目录 一.翻译环境 二.执行环境 三.预处理 1.预处理符号 2.#define定义标识符 3.#define定义宏 4.#和## 5.宏和函数的对比 6.条件编译 7.文件包含 总结 一.翻译环境 整个翻译环境大致就可以画成这样一张图. 下列有几点需要说明: 1. 组成一个程序的每一个源文件通过编译过程分别转换成目标文件(在Linux中目标文件的后缀为.o:而在Windows中目标文件后缀为.obj) 2. 每个目标文件由链接器(linker)捆绑在一起,形成一个单一而完整的可执行程序 3.

  • 简单分析针对ARM平台的C语言程序的编译问题

    我们知道在C语言编译时,有那么几个常用的优化编译选项,分别是-O0,-O1,-O2,-O3以及-Os.之前一直觉得既然是优化选项,顶多是优化一下逻辑,提高一些效率或者减少一下程序大小而已.很少会觉得它们会影响程序的最终结果.直到最近在ARM平台上发现一个程序里的一个bug,才觉得这些优化选项有时候也没那么智能.或者说针对ARM平台,还没有那么智能.       首先看这么一段程序,此程序是我将问题简单化的程序: #include<stdio.h> #include<string.h>

  • c语言的程序环境与预处理详解

    目录 1.翻译环境 2.运行环境 3.预处理详解 3.1#define定义的符号 3.2#define定义的宏 3.3#define的替换规则 3.4#与## 4.宏与函数对比 5.#undef 6.条件编译 7.文件包含 总结 c语言代码的实现包含两种环境 1.翻译环境,将源代码转化成可执行的机器指令 2.执行环境,执行代码 1.翻译环境 包括两个过程,编译与链接·程序中每一个源文件通过编译器转化成目标文件(obj)·这些目标文件又通过链接器捆绑在一起·链接器同时会链接标准库中的函数以及程序员

  • C语言中的程序环境与预处理详情

    目录 1.程序的翻译环境和执行环境 2.详解编译和链接 2.1程序翻译环境下的编译和链接 2.2深入编译和链接过程 2.3运行环境 3.预处理详解 3.1预定义符号 3.2#define 3.2.1#define定义的标识符 3.2.2#define定义宏 3.2.3#define替换规则 3.3.4#和## 3.2.5带副作用的宏参数 3.2.6宏和函数对比 3.3#undef 3.4命令行定义 3.5条件编译 3.6文件包含 3.6.1头文件被包含的方式 3.6.2嵌套文件包含 1.程序的翻

  • C语言深入探究程序的编译之预处理

    目录 1.程序的翻译环境和执行环境 2.详解编译与链接 2.1翻译环境 2.2编译本身也分为几个阶段 2.3运行环境 3.预处理详解 3.1预处理符号 3.2#define 3.2.1#define定义标识符 3.2.2#define定义宏 3.2.3#define的替换规则 3.2.4 宏和函数对比 3.2.5命名约定 3.3#undef 3.4条件编译 1.程序的翻译环境和执行环境 在ANSI C中任何一种实现中,存在两个不同的环境. 第一种是翻译环境,在这个环境中源代码被转换为可执行的机器

  • 解决Linux程序编译链接动态库版本的相关问题

    前言 不同版本的动态库可能会不兼容,如果程序在编译时指定动态库是某个低版本,运行是用的一个高版本,可能会导致无法运行.Linux上对动态库的命名采用libxxx.so.a.b.c的格式,其中a代表大版本号,b代表小版本号,c代表更小的版本号,我们以Linux自带的cp程序为例,通过ldd查看其依赖的动态库 $ ldd /bin/cp linux-vdso.so.1 => (0x00007ffff59df000) libselinux.so.1 => /lib64/libselinux.so.1

随机推荐