背景
一个C++程序想要运行起来,除了离不开C++编译器,还离不开C++的标准库。我们写的C++程序要想被Linux等操作系统运行起来,必须符合一定的规范。以Linux为例,这种规范在基于X86-64处理器的Linux上称之为:System V AMD64 ABI。只有符合这个ABI规范的文件,你的程序才能被Linux的系统调用加载并成为一个进程。
众所周知,我们写的C++程序只是符合C++规范,和System V AMD64 ABI规范之间还有很远的距离。这个距离又是怎么消弭的呢?答案就是C++编译器(含链接器,以下Gemfield所说的“编译”可能包含了“链接”过程,请自行甄别)和标准C++库(当然必须还有标准C库)。
本文中,Gemfield将描述C++的标准库。并主要讨论如下的问题:
- C++标准库是什么?
- C++标准库如何被使用?
- C++标准库的内容有哪些?
C++标准库是什么?
ISO 14882标准中,在条款20到33和附加章节D中定义的C++应该实现的内容。
这部分内容是C++标准库应该要实现的内容。有了这个标准定义,世界上各个组织才能实现具体的C++标准库。这其中,有影响力的组织及其实现有3个:GNU的libstdc++、LLVM的libc++、我不想提。一般来说:
- 在GNU/Linux上,我们使用的C++库都是GNU实现的libstdc++(/usr/lib/gcc/x86_64-linux-gnu/9/libstdc++.so、/usr/lib/gcc/x86_64-linux-gnu/9/libstdc++.a);
- 在MacOS、iOS上,我们使用的C++库都是LLVM项目实现的libc++(/usr/lib/libc++.dylib);
- 在Android上,我们使用的C++库为LLVM的libc++(NDK r18以前还是支持GNU的libstdc++的,在r18上被完全去除);注意这可不是系统库,你需要将库文件包含在apk中(Android上的系统库是/system/lib/libstdc++.so,这不是GNU的那个,只包含了最小的C++ runtime实现,如new delete等);
- 在Windows上,我们使用的C++库......算了,谁在乎呢,这年头谁还用windows呀。
C++库如何被使用
你可能在阅读Gemfield本文的时候察觉到了,在我们平常编译C++程序的时候,并没有显式的去链接标准C++库呀。这是因为编译器自动帮你做了这个事情。如果在g++编译C++源文件的时候加上-v参数:
g++ -v gemfield.cpp -o gemfield
那么日志就会清楚的显示编译的时候默认使用了什么库。
1,编译时依赖
Gemfield把加上-v参数之后的编译日志摘要如下:
-m elf_x86_64
-dynamic-linker /lib64/ld-linux-x86-64.so.2
-pie
/usr/lib/gcc/x86_64-linux-gnu/9/../../../x86_64-linux-gnu/Scrt1.o
/usr/lib/gcc/x86_64-linux-gnu/9/../../../x86_64-linux-gnu/crti.o
/usr/lib/gcc/x86_64-linux-gnu/9/crtbeginS.o
-lstdc++
-lm
-lgcc_s
-lgcc
-lc
/usr/lib/gcc/x86_64-linux-gnu/9/crtendS.o
/usr/lib/gcc/x86_64-linux-gnu/9/../../../x86_64-linux-gnu/crtn.o
关键的地方有:
- 编译的是elf_x86_64,也就是x86-64上的ELF格式,ELF格式是System V AMD64 ABI中的一部分,讲的是可执行文件的格式ÿ