读完《程序员的自我修养--链接、装载和库》相关章节,想来总结一下,若有错误,请指正,多谢。

1. 什么叫目标文件?

你的工程里有很多xxx.c这样的源文件,这些文件是文本文件,只有人能够认识(当然编译器认识),但是,cpu可不认识。问题就是,真正执行指令的是cpu。

让编译器翻译一下(这里面有很多过程,这不是这篇文章的重点),一般来说,一个xxx.c文件就能翻译成一个xxx.o,这就是目标文件了。

一个源文件就对应一个目标文件,这个目标文件就存储了有关这个源文件的所有信息了,包括在这个源文件里函数的定义,全局变量的定义,等等。

但是,这样就可以毫无忧虑地执行这个目标文件了么?   不可以。

一, 你这个目标文件可能没有main函数;

二, 你这个目标文件里,可能用到了其他函数,而这些函数的定义是在其他目标文件里的。比如说,main.c 用到了 one.c 里的 void function(); 你去执行main.c 生成的main.o,肯定不行啊,因为cpu都找不到function在哪,从而function里存储的指令,当然也没法执行;

总之,你要运行的那个文件,里面必须得存有一切函数和变量的相关信息才可以。很显然,目标文件不具有这个特性。因为,目标文件只存储了自己的信息,并不知道其他目标文件的信息。

2. 目标文件的拼接-->可执行文件

好的,你有一个main.c 和 一个 one.c, 并且成功的生成了两个目标文件,各自存储了自身的信息,它们就是 main.o 和 one.o。

不巧的是,main.c 里用到了 one.c 里的 void function(); 函数。这个时候,main.o 苦于找不到这个函数在哪而不得执行。而 one.o 静静的等在那,等待一个过程。

这个过程就是链接。

ld 是一个指令,linux 下,可以让目标文件链接起来,拼成一个真正能用的可执行文件。

例如这样:

ld main.o one.o -o go

其中 -o 后面是随意指定的,这就是可执行文件的名称。好了,这个 go 就是最终的可执行文件。你可以去执行它了。

go 是由两个目标文件拼起来的,它当然知道所有的信息,包括 具体的 function 的指令。于是,它就可以被执行。

现在,到了这里,我们似乎忘了另一种重要的文件,头文件。

3. 头文件是个啥?

好吧,问题能提升你看这篇文章的乐趣。那就思考一个问题:main.c 能成功编译成 main.o么?

刚才的过程似乎太顺利,main.c 刷一下就成了 main.o, 而问题是,你在 main.c 里使用了一个它不认得的函数 void function(); 这个竟然能编译过,顺利生成 main.o?

你可以试试,用这样的命令:

gcc -c main.c -o main.o

-c 选项就是说,我要生成目标文件,而不是默认的可执行文件。你一定会得到一个【编译】错误,这个错误会告诉你,function 这个函数我不认识,败!

【编译】错误,在源头上先防止你造出一个完全不能用的程序。

这个时候,怎么办,main.c 确实不认得 function 函数,你总不能把 one.c 里的函数复制粘贴到 main.c 里吧(当然这是可以的,不过,low爆了)。

那么需求如下:

一, 不拷贝过来整个函数;

二, 让 main.c 顺利生成 main.o。

问题的核心就是,让 main.c 认识 function 是个啥(是函数还是变量?如果是函数,这个函数的参数有哪些?返回什么类型的值?)。

容易,你在 main.c 源文件里加一句

extern void function(); // 这个函数的返回类型是 void, 并且没有参数。

这样一来,main.c 本身就认识了 function, 注意,只是认识,但是并不知道它具体实现,也不知道这个函数在哪里。实际上,也不需要知道这么多。因为,我这一步只是生成目标文件而已。剩下的交给链接那一步。

结论,生成目标文件,必须得让源文件认识每一个符号(变量和函数)。

假如 one.c 是你的同事编写的,你应该让他同时编写一个头文件。省的你还要在你的 main.c 里 一行行地加上

extern void function1();

extern int function2(char a);

...

...

这种东西。

你的同事会给你一个头文件 one.h , 这个头文件里实际上就是以上extern的内容。你只需要在 main.c 里这样干:

#include "one.h"

就行了,这一句就是把 one.h 整个拷贝到 main.c 里去。

4. printf 用起来挺爽的。

printf 用起来挺爽的。

你只用写上

#include <stdio.h>

让你的 main.c 认识这个函数就能用了。

不过,问题是,你并没有链接 printf 所在的目标文件啊!

思考,思考,再思考!

好吧,这不是个问题。

实际就是,gcc 默认帮你链接了。千万不要认为,不用链接就可以!!!!

你可以这么认为:只要是系统提供的东西,你都不用手动链接,你关心好自己的东西就行了。

linux下c程序的链接、装载和库(1)的更多相关文章

  1. Linux下进行程序设计时,关于库的使用:

    一.gcc/g++命令中关于库的参数: -shared: 该选项指定生成动态连接库: -fPIC:表示编译为位置独立(地址无关)的代码,不用此选项的话,编译后的代码是位置相关的,所以动态载入时,是通过 ...

  2. linux下c程序的链接、装载和库(2)

    5. 重定义错误. 一个最终的可执行文件里,绝对不允许出现两个同名的全局变量,也不允许出现同名的全局函数. 全局函数:只要不用 static 修饰符修饰的函数,全部都是全局的. 全局变量:函数外声明定 ...

  3. linux下c程序的链接、装载和库(3)

    9. 目标文件放在一起-->静态库. 你的同事给出的目标文件太多了,从 one.o two.o …… …… 一直到 xxx.o. 好的,你如果真正想用,你的同事提供的这些现有的目标文件,你得做三 ...

  4. Linux下C程序的编辑,编译和运行以及调试

    国内私募机构九鼎控股打造APP,来就送 20元现金领取地址:http://jdb.jiudingcapital.com/phone.html 内部邀请码:C8E245J (不写邀请码,没有现金送) 国 ...

  5. linux下软、硬链接的创建和删除

    linux下软.硬链接的创建和删除 在Linux系统中,内核为每一个新创建的文件分配一个Inode(索引结点),每个文件都有一个惟一的inode号.文件属性保存在索引结点里,在访问文件时,索引结点被复 ...

  6. Linux下显示运行时链接(运行时加载)

    目录 介绍 如何加载动态库 dlopen() 第一个参数: 被加载动态库的路径 第二个参数: flag表示函数符号的解析方式 dlopen 返回值 dlsym() 参数: 返回值 符号优先级 dler ...

  7. linux下c程序调用reboot函数实现直接重启【转】

    转自:http://www.blog.chinaunix.net/uid-20564848-id-73878.html linux下c程序调用reboot函数实现直接重启 当然你也可以直接调用syst ...

  8. 位图文件(BMP)格式以及Linux下C程序实现(转)

    源:位图文件(BMP)格式以及Linux下C程序实现 说到图片,位图(Bitmap)当然是最简单的,它是Windows显示图片的基本格式,其文件扩展名为*.BMP.由于没有经过任何的压缩,故BMP图 ...

  9. Linux下C程序内存泄露检测

    在linux下些C语言程序,最大的问题就是没有一个好的编程IDE,当然想kdevelop等工具都相当的强大,但我还是习惯使用kdevelop工具,由于没有一个习惯的编程IDE,内存检测也就成了在lin ...

随机推荐

  1. 用css来写一些简单的图形

    在写网页的过程中,有时我们需要用到一些简单的图片但是手头又没有合适的,我们其实可以自己来写,下面我就简单的介绍几个例子: 1.上三角 Triangle Up #triangle-up { width: ...

  2. [常见问题]Project facet Java versin 1.8 is not support.

    发生这个问题的原因是我们的java编译环境(JDK版本),与tomcat运行环境(JDK或JRE版本)不一致导致的. 到eclipse的设置中找到compile项(或右键项目进入),看一下编译环境的J ...

  3. Atitit 实现java的linq 以及与stream api的比较

    Atitit 实现java的linq 以及与stream api的比较 1.1. Linq 和stream api的关系,以及主要优缺点1 1.2. Linq 与stream api的适用场景1 1. ...

  4. C#设计模式-单例模式

    单例模式三种写法: 第一种最简单,但没有考虑线程安全,在多线程时可能会出问题…… public class Singleton { private static Singleton _instance ...

  5. vuejs动态组件给子组件传递数据

    vuejs动态组件给子组件传递数据 通过子组件定义时候的props可以支持父组件给子组件传递数据,这些定义的props在子组件的标签中使用绑定属性即可,但是如果使用的是<component> ...

  6. Update: ELCImagePickerController

    March 3rd, 2011 Posted by: Matt Tuzzolo - posted under:Articles » Featured I recently spent some tim ...

  7. 30分钟全面解析-图解AJAX原理

    先上原理图: 高清无码图在这里:点我查看大图!!! 背景: 1.传统的Web网站,提交表单,需要重新加载整个页面. 2.如果服务器长时间未能返回Response,则客户端将会无响应,用户体验很差. 3 ...

  8. 前端工程师技能之photoshop巧用系列扩展篇——自动切图

    × 目录 [1]初始设置 [2]自动切图 前面的话 随着photoshop版本的不断升级,软件本身增加了很多新的功能,也为切图工作增加了很多的便利.photoshop最新的版本新增了自动切图功能,本文 ...

  9. CSS字体

    字体系列 [1]5种通用字体系列:拥有相似外观的字体系列 serif字体:字体成比例,且有上下短线,包括Times\Georgia\New century Schoolbook sans-serif字 ...

  10. linux分享六:字符串处理

    一:cut (1)其语法格式为:cut [-bn] [file] 或 cut [-c] [file] 或 cut [-df] [file] 使用说明cut 命令从文件的每一行剪切字节.字符和字段并将这 ...