c++ - 当我们在没有链接的情况下编译包含 'main'的源代码时，为什么不能运行呢？

Question

我正在学习编译过程，我知道链接主要用于将包含“主”函数的二进制文件与包含我们主函数中使用的其他辅助函数的其他二进制文件链接起来。

但是，当我尝试使用以下代码运行目标文件时:

int main() {
    return 0;
}

在 Ubuntu 上使用 gcc 中的 -c 命令编译，我尝试运行它但出现错误:

"bash: ./source.o: cannot execute binary file: Exec format error"

Answer 1

阅读 Levine 的 Linkers & Loaders .

了解 ELF .

尝试使用 gcc -v 进行编译(您将看到实际使用的程序是什么:cc1 到 compile C 代码到某个汇编器中，as 到 assemble 到某个目标文件，ld & collect2 到 link )。另请使用 gcc -S -fverbose-asm -O 查看生成的汇编程序文件。请注意，gcc 知道(并特别地编译)main 函数。你的可执行文件的起点由一些 crt0 提供。等(它不是不是main而是一些_start例程编码在汇编器中调用你的main.... ).

Object files与 executables 不同.可执行文件包含类似 crt0 的内容和 C standard library , 或者某种方式到 dynamically link它作为 shared object (并且您需要链接您的 source.o - 从 source.c 中的空 main 编译 - 因此成为可执行文件)。

在 Linux 上，使用 objdump(1) & readelf(1) (在一些现有的二进制文件上，以及在您的 source.o 目标文件上)

另见 elf(5) , execve(2) , ld-linux(8) , Linux assembly howto , syscalls(2) , Advanced Linux Programming , Operating Systems: Three Easy Pieces , 和(了解 libc.so)Drepper 的 How To Write Shared Libraries , Dragon Book ...

^{(你需要阅读整本书才能理解细节；我给出了一些引用)}

另请查看 Common Lisp & SBCL .它的编译器有一个非常不同的模型(真的不同于 C)。