自研bootloader中print_string接收空字符串疑似main函数错误如何解决

核心可能原因 #

1. 隐式函数声明导致参数传递错误 #

你当前代码中main函数定义在print_string之前，且没有提前声明print_string的函数原型。C语言标准中，调用未声明的函数时，编译器会默认函数返回值为int类型，且不对入参做类型校验，会自动对入参做默认整数提升，导致指针类型的入参传递被截断或错位，最终print_string拿到的指针值为空或非法地址。

2. 段寄存器配置错误导致字符串寻址失败 #

Bootloader开发属于裸机编程，字符串常量默认存储在只读数据段(.rodata)，如果你的启动汇编代码没有正确设置DS（数据段寄存器）的值和链接脚本中设置的程序加载地址匹配，比如BIOS默认把Bootloader加载到0x7C00地址，但你没有将DS设置为对应的段基址，C代码寻址全局字符串常量时就会计算出错误的地址，读取到空值。

3. 编译/链接配置错误 #

• 编译时没有添加裸机开发适配参数：比如16位实模式开发没有加-m16参数，32位保护模式开发没有加-ffreestanding、-m32参数，编译器生成的面向普通操作系统用户态的指令逻辑不匹配裸机运行环境，导致指针寻址、参数传递逻辑异常。
• 开启了过高等级的编译优化：未声明原型的函数调用在高优化等级下可能被编译器错误优化，字符串入参被直接丢弃。
• 链接脚本配置错误：只读数据段的加载地址和实际运行地址不匹配，导致字符串常量无法被正确寻址。

修复建议 #

• 在main函数前添加print_string的函数原型声明：

void print_string(const char *string);

• 检查启动汇编代码，确认运行模式和段寄存器（尤其是DS）配置和链接地址匹配。
• 核对编译、链接参数，确保适配裸机开发场景，关闭不必要的优化选项。
• 可先在print_string入口处增加固定字符打印逻辑，先确认函数本身运行正常，再排查指针地址问题。

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