静态链接C99库函数时结构体成员值异常变更的技术问询

这种静态链接库传参后结构体成员值莫名变更的情况，我之前排查过好几个类似案例，大概率是下面几个原因导致的，给你逐一拆解排查步骤：

1. 结构体定义不一致（最常见） #

如果你的测试代码tests.c和库文件poly.c使用的结构体定义不完全匹配，比如成员顺序、数据类型、内存对齐规则有差异，就会导致指针访问时内存偏移计算错误，看起来像是值被篡改了。

• 立刻检查所有涉及的头文件：确保equation_integer_2、poly、term这些结构体在测试代码和库编译时用的是完全相同的定义，比如不要在测试代码里给结构体加__attribute__((packed))而库代码里没加，或者成员顺序颠倒了。
• 用sizeof分别在测试代码和库代码中打印结构体大小，如果结果不一样，那定义肯定有问题，这是最直接的验证方式。

2. 内存越界/栈溢出破坏了结构体内存 #

如果在调用solve_equation之前，你的测试代码存在内存越界写入（比如数组越界、栈上变量溢出），可能已经悄悄破坏了eq结构体所在的内存区域，只是在进入函数前没暴露出来，进入函数后访问到了被破坏的内存。

• 用gdb在调用solve_equation的前一行，打印整个eq结构体的所有成员值，包括eq->poly->term3->coefficient，确认此时值是正确的。如果此时值已经不对，那问题出在调用前的代码里。
• 用valgrind运行你的测试程序，它能精准检测出内存越界、栈溢出这类问题，直接看报告里的错误提示就行。
• 检查eq结构体是不是在栈上分配的，如果栈上同时存在大量变量，可能会因为溢出覆盖掉结构体的内容。

3. 编译/链接的标准或符号冲突问题 #

静态链接时，如果编译标准不统一，或者存在符号冲突，也可能导致这类异常：

• 确保测试代码和库都用C99标准编译（编译时加-std=c99参数），不同C标准可能会影响结构体的布局（比如C90和C99在某些类型的处理上有差异）。
• 用nm工具查看库文件中的solve_equation符号，确认它的签名和你测试代码中声明的完全一致，避免链接到了错误的函数版本。
• 检查是否有其他同名的结构体或函数被错误链接进来，比如不同文件里定义了同名的poly结构体，链接器可能选了错误的版本。

4. 指针悬空或未初始化 #

如果eq->poly或者eq->poly->term3是悬空指针（指向已经被释放的内存，或者未初始化的指针），那么访问这个成员时，值会随机变化，因为内存已经被其他操作覆盖了。

• 在测试代码中，确认eq、eq->poly、eq->poly->term3这些指针都已经正确初始化：要么是栈上有效的变量，要么是用malloc分配后没有被提前释放。
• 在gdb中查看这些指针的地址，确认进入函数前后指针地址是否一致。如果指针地址变了，说明传参过程中指针本身被篡改了，这时候要检查函数声明是否正确（比如函数参数类型是不是写错了）。

内容的提问来源于stack exchange，提问作者Pedro O S