GCC中PIC/PIE、非PIC/非PIE与静动态链接可执行文件的关系及猜测验证

1. PIC与PIE的概念区分 #

PIC（Position-Independent Code，位置无关代码）和PIE（Position-Independent Executable，位置无关可执行文件）不是同一概念，不能直接用PIC指代两者：

• PIC是针对共享库设计的代码属性，让共享库可以被加载到任意内存地址并被多个进程共享；
• PIE是针对可执行文件的位置无关实现，原理和PIC类似，但目标是让可执行文件能配合ASLR（地址空间布局随机化）在随机地址加载，提升安全性。

2. PIC代码的属性表述 #

你的表述基本正确，但需要补充细节：PIC代码通过相对寻址、全局偏移表（GOT）、过程链接表（PLT）等机制，消除对固定加载地址的依赖，确实可以在任意内存地址加载后执行。对于PIE可执行文件，同样具备这一特性，且现代系统会默认开启ASLR来随机化其加载地址。

3. PIC/非PIC与链接类型的关联及编译选项分析 #

PIC/非PIC与静态/动态链接并非完全无约束关联，理论上存在组合可能，但实际受工具链和系统限制，以下是对各选项的分析：

• -static：该选项仅指定静态链接（将所有依赖库打包进可执行文件），默认会生成非PIC/非PIE的可执行文件，但并非强制——若同时配合-fpie/-fpic，也可以生成静态链接的PIE文件。你的猜测不完全准确，-static本身不决定是否为PIC，只是默认行为是非PIC。
• --static-pie：该选项会生成静态链接的PIE可执行文件，这类文件是位置无关的，运行时由加载器随机分配加载地址，不需要动态链接器参与，也不存在“运行时解析未知符号”的情况（静态链接阶段已完成所有符号解析）。你的猜测这里有误。
• -fpic：该选项用于生成PIC代码，确实是GCC编译共享库的默认方式（部分场景会用-fPIC，针对大内存模型的共享库），这个猜测正确。
• -fno-pic：强制生成非位置无关的代码，这类代码依赖固定加载地址，常用于内核、bootloader等无法使用动态链接或位置无关机制的特殊场景，这个猜测正确。

内容的提问来源于stack exchange，提问作者Teng Wu