C链接器何时和为什么会排除未使用的符号？

C链接器在编译和链接过程中会自动排除未使用的符号，这是为了减小最终可执行文件的大小，并提高程序的运行效率。未使用的符号指的是在代码中定义了但从未被引用的变量、函数或其他符号。

下面是一个示例代码，展示了C链接器是如何排除未使用的符号的：

// file1.c
int used_variable = 42; // 被使用的变量

int unused_variable = 0; // 未使用的变量

void used_function() { // 被使用的函数
    // 函数实现
}

void unused_function() { // 未使用的函数
    // 函数实现
}

// file2.c
extern int used_variable; // 引用被使用的变量

extern void used_function(); // 引用被使用的函数

int main() {
    used_variable = 100; // 使用被使用的变量

    used_function(); // 调用被使用的函数

    return 0;
}

在这个示例中，file1.c包含了一个被使用和一个未使用的变量，以及一个被使用和一个未使用的函数。file2.c引用了被使用的变量和函数，并在main()函数中使用了它们。

当编译器编译file1.c和file2.c时，编译器会生成各自的目标文件，然后链接器会将这些目标文件合并为一个可执行文件。

在链接过程中，链接器会分析可执行文件中每个符号的引用情况。对于未使用的符号，链接器会将其从最终的可执行文件中排除掉，以减小文件大小。

因此，在最终的可执行文件中，未使用的变量unused_variable和未使用的函数unused_function将被排除掉，只保留被使用的变量used_variable和函数used_function。

这种排除未使用的符号的机制可以减小程序的体积，提高程序的执行效率，同时也可以帮助开发人员发现和修复代码中的潜在问题。