C语言使用ld单独编译链接程序及extern关键字使用疑问

• 直接用gcc编译链接时，gcc会自动帮你链接C运行时启动文件（如crt1.o、crti.o、crtn.o）、指定正确的动态链接器路径，你手动调用ld时没有传入这些参数，才会触发错误：
  1. 警告cannot find entry symbol _start：Linux下程序的默认入口不是main，是C运行时提供的_start函数，它负责初始化libc环境、栈参数，最后调用你写的main函数，你没有链接包含_start实现的crt1.o，所以ld找不到入口点。
  2. 运行时报-bash: ./main: No such file or directory：你使用动态链接libc（-lc默认动态链接），但没有指定动态链接器的路径，内核加载程序时找不到对应的动态链接器，就会返回不存在的错误，并非你生成的main文件不存在。
• 解决方法：
  • 方法1：添加C运行时文件与动态链接器参数，x86_64架构下的示例命令：

    ld -o main /usr/lib/x86_64-linux-gnu/crt1.o /usr/lib/x86_64-linux-gnu/crti.o main.o print_nos.o -lc /usr/lib/x86_64-linux-gnu/crtn.o -dynamic-linker /lib64/ld-linux-x86-64.so.2
    

  • 方法2：直接用gcc完成链接步骤，gcc会自动处理所有依赖参数，不需要手动指定启动文件与链接器路径：

    gcc -o main main.o print_nos.o
    

• 首先明确：C语言中，函数声明默认具有外部链接属性，语法上不需要强制加extern。你去掉extern后编译正常就是这个原因，编译器会自动给未加static的函数声明加上extern属性。
• 标准库头文件里的函数声明都加extern，是为了显式表明该函数的定义在其他编译单元，提升代码可读性，让开发者一眼就能识别出函数的链接属性。
• 实际开发建议：
  • 如果你是在.c文件中声明其他文件实现的函数，建议主动加extern，明确语义，避免和静态函数、局部变量混淆。
  • 如果你是在头文件中写对外暴露的函数声明，建议加extern，和标准库风格统一，也方便其他调用者快速理解接口属性。
    不加extern不会产生编译错误，只是代码可读性会稍差。

内容的提问来源于stack exchange，提问作者First User