调用Linux动态库(.so)中float参数函数无法获得正确传入值问题

根本原因 #

问题的核心是C语言隐式函数声明导致的参数类型不匹配，属于C标准定义的未定义行为：

• 你在main.c中调用pass_float_to_lib之前，没有提前声明该函数的原型，C语言会默认对该函数做隐式声明：默认返回值为int，同时所有传入的参数会做默认类型提升：float类型自动提升为double，char/short类型自动提升为int。
• 动态库中的函数实现是按照接收float类型参数编译的，期望读取4字节的float内存布局，但调用方实际传入的是8字节的double类型，两边参数的内存布局、长度完全不匹配，因此动态库函数读取到的参数值必然错误。
• 你编译时开启了-O优化，编译器会按照隐式声明的规则生成参数传递的汇编指令，进一步放大了这个问题的表现，你调试时看到的栈中float值异常就是参数内存布局不匹配直接导致的。

验证依据 #

从你给出的栈打印可以直接佐证：
本地函数pass_float和动态库函数pass_float_to_lib的参数地址完全一致，但对应float位置的字节值完全不同，就是因为调用方传的是8字节double，库函数只读了前4字节/偏移位置错误的4字节，导致值异常。

• 新增动态库对应的头文件，比如mylib.h，将所有对外导出的函数原型都写入该文件：

// mylib.h
#ifndef MYLIB_H
#define MYLIB_H
// 按需声明对外暴露的函数
void pass_float_to_lib(float a_float);
// 带哨兵参数的版本声明
void pass_float_to_lib(char guard_a, float a_float, char guard_b);
#endif

• 在mylib.c和main.c中都引入该头文件：#include "mylib.h"，确保函数调用方和实现方看到的函数原型完全一致，编译器会按照正确的参数类型生成传参逻辑，不会再做错误的类型提升。
• 编译时添加警告参数提前拦截这类问题：编译指令加上-Wall -Wimplicit-function-declaration，如果出现隐式函数声明的情况会直接抛出警告，建议加上-Werror将警告转为错误，强制提前修复这类低级错误。
• 不要忽略编译时的警告，你当前的代码编译时必然会输出implicit declaration of function 'pass_float_to_lib'的警告，只要注意到这个警告就能快速定位问题。

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