PIC通过相对寻址和GOT/PLT机制实现代码在任意内存地址运行，确保共享库支持ASLR并可被多个进程安全共享。
地址无关代码（Position Independent Code，简称 PIC）是 C++（以及 C）编译时生成的一种特殊机器码，它不依赖于程序加载到内存中的具体地址。这种特性对于动态库（共享对象）至关重要，因为多个程序可能同时加载同一个共享库，而系统无法保证每次都将库加载到相同的内存地址。
PIC 是如何工作的？
PIC 的核心思想是避免使用绝对地址引用，转而采用相对寻址方式。在 x86-64 架构中，大多数指令支持 RIP 相对寻址（RIP 是指令指针寄存器），这意味着代码可以基于当前指令的位置来访问数据或跳转函数，而不是硬编码一个固定地址。
例如，当共享库中需要访问一个全局变量或调用另一个函数时，编译器不会直接写入该变量的绝对地址，而是通过全局偏移表（GOT, Global Offset Table）和过程链接表（PLT, Procedure Linkage Table）间接访问。
- GOT：存储外部变量和函数的实际运行时地址，由动态链接器在加载时填充。
- PLT：用于延迟绑定（lazy binding）外部函数调用，第一次调用时解析地址，后续直接跳转。
这样，无论共享库被加载到哪个内存位置，只要 GOT 和 PLT 被正确设置，代码都能正常运行。
立即学习“C++免费学习笔记（深入）”；
为什么动态库必须使用 PIC？
现代操作系统使用 ASLR（Address Space Layout Randomization）安全机制，随机化程序和库的加载地址以防止攻击。如果动态库不是 PIC，它只能加载到预定地址，一旦地址冲突或被占用，就会导致加载失败。
使用 PIC 后，共享库可以在任意地址加载，提高了兼容性和安全性。Linux 上的 .so 文件（共享对象）通常要求使用 -fPIC 编译选项生成真正的地址无关代码。
- 不带 -fPIC 编译的代码可能仍能在某些情况下工作，但在 64 位系统上链接为共享库时常会报错。
- -fPIC 会对性能有轻微影响（间接访问增加开销），但现代 CPU 缓存机制已大幅缓解这一问题。
共享对象的加载与符号解析
当你编译一个 C++ 共享库：
g++ -fPIC -shared -o libmylib.so mylib.cpp编译器会生成 PIC 指令，并构建包含代码段、数据段、GOT/PLT 等结构的 ELF 共享对象文件。
运行程序时，动态链接器（如 /lib64/ld-linux-x86-64.so）负责：
- 将共享库映射到进程地址空间的可用区域。
- 解析外部符号并填充 GOT 表项。
- 处理重定位信息，修正需要调整的地址引用。
多个进程可以共享同一份共享库的代码段（只读），但每个进程拥有独立的数据段副本（包括 GOT），确保变量隔离。
基本上就这些。PIC 是实现高效、安全共享库的基础技术，理解它有助于写出更可靠、可移植的 C++ 动态库代码。
