树莓派Zero裸机C编程：未调用BigDigits库却运行异常咨询

嘿，这个问题我在裸机嵌入式项目里碰到过好几次，哪怕没调用库的代码，链接后也会搞崩原有功能，原因其实挺多的，咱们慢慢说：

为什么没调用库函数也会出问题？ #

哪怕你没包含头文件、没调用任何库函数，链接器还是可能把库的部分代码拉进最终的二进制里，常见原因有这几个：

• 全局构造函数/初始化代码：很多C库会用__attribute__((constructor))标记一些初始化函数，这些函数会在你的裸机入口函数之前自动执行。裸机环境没有操作系统帮你处理这些初始化（比如内存分配、标准IO初始化），这些函数执行时就会访问未定义的内存或者调用不存在的系统函数，直接导致崩溃。
• 隐式依赖的标准库函数：BigDigits库的代码可能依赖一些标准库函数（比如memcpy、memset甚至malloc），哪怕你没调用库的功能，链接器在处理库的目标文件时，会把这些依赖的符号也拉进来。而你的裸机代码里没有实现这些函数，运行时CPU跳转到未定义的地址，自然就挂了。
• 内存段冲突：库的代码段、数据段可能和你裸机程序的内存布局冲突。比如库的.data段被链接到了你用来做栈或者外设寄存器映射的地址上，覆盖了你的关键初始化数据，导致原有功能失效。

怎么解决这个问题？ #

针对这些原因，你可以试试这些办法：

1. 只编译需要的库源码，不要链接整个库：BigDigits是开源的，你可以把只和256位/512位整数操作相关的.c文件（比如对应精度的运算函数）单独抽出来，和你的裸机代码一起编译，这样就不会引入那些多余的初始化代码和无关依赖。
2. 启用链接器的垃圾回收功能：给GCC编译命令加这几个选项：-ffunction-sections -fdata-sections -Wl,--gc-sections。前两个选项让每个函数和数据都放在单独的段里，第三个选项让链接器把未被引用的段全部删掉，这样那些没被调用的库代码和初始化函数就不会被包含到最终的二进制里。
3. 检查并补全依赖的系统函数：用nm命令查看BigDigits库的符号依赖，比如运行nm libbigdigits.a，找有没有类似memcpy、malloc的符号。如果有，你可以在裸机代码里实现一个极简版本的这些函数（比如memcpy就自己写一个循环复制字节的函数，不需要考虑复杂的对齐）。
4. 调整链接脚本：确保库的.text、.data、.bss段被正确映射到你的裸机内存空间里，不要和栈、堆或者外设地址重叠。你可以在链接脚本里明确指定这些段的位置，比如把库的代码放到你的程序代码段后面。

适合裸机环境的多精度整数方案 #

如果你不想折腾BigDigits，还有几个更适合裸机的选择：

• 自己实现uint256_t/uint512_t：其实多精度整数本质就是多个普通整数的数组，比如uint256_t可以用4个uint64_t组成。你只需要实现你需要的操作（加减乘除、比较、移位这些），代码量不大，而且完全没有依赖，最适合裸机。比如一个简单的256位加法实现：

  #include <stdint.h>
  
  typedef struct {
      uint64_t limbs[4]; // 小端存储，limbs[0]是最低位
  } uint256_t;
  
  uint256_t uint256_add(uint256_t a, uint256_t b) {
      uint256_t result;
      uint64_t carry = 0;
      for (int i = 0; i < 4; i++) {
          result.limbs[i] = a.limbs[i] + b.limbs[i] + carry;
          carry = (result.limbs[i] < a.limbs[i]) || ((result.limbs[i] == a.limbs[i]) && carry);
      }
      // 如果需要处理溢出，可以在这里加判断
      return result;
  }
  

• 使用libtommath：这是一个专门为嵌入式和裸机设计的多精度数学库，完全不依赖标准库，支持任意精度整数操作。你只需要把它的源码文件加到你的项目里编译就行，比BigDigits更轻量、更适合裸机环境。
• GCC内置扩展（有限支持）：如果你的GCC版本足够新，支持__int128（128位整数），但256位的话没有直接的内置类型，不过你可以用__int128数组来模拟，或者结合GCC的多精度扩展（需要特定编译选项，但可能不如自己实现灵活）。

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