迭代斐波那契C程序O(n)复杂度却运行时恒定，求排查原因

结论：不是subprocess的问题，核心原因是C程序的无符号整数溢出导致后续循环变成无效快速计算 #

• 排除subprocess的嫌疑：subprocess启动进程的开销是固定的（比如创建进程、加载二进制文件），但如果计算逻辑真的是O(n)，当n足够大时，计算时间会显著超过启动开销。你可以做个测试：让C程序执行1e8次空循环，用同样的subprocess计时，会发现时间明显变长，说明subprocess的计时是准确的，不是问题所在。

• 核心问题：斐波那契数溢出导致循环无效：
  你的C程序用unsigned long long存储斐波那契数，它的最大值是18446744073709551615。而斐波那契数列是指数增长的，第94个斐波那契数F(94)=19740274219868223167已经超过了这个最大值。
  当n>94时，循环中的first + second会触发无符号整数溢出——溢出后的结果会绕回成很小的正数，之后的循环里first和second始终是小数值，加法运算几乎不耗时，相当于后面的几万次循环都是“空转”。不管n从94增加到25000还是更大，实际有效的计算只有前94次循环，总时间自然保持恒定。

• 验证方式：在C程序的循环里加入打印语句，输出每次循环后的second值，你会看到第94次后数值突然骤降，之后进入小数值的循环，这就是溢出的直接表现。

修复建议 #

1. 使用任意精度整数库：如果需要计算大n的斐波那契数，可使用GMP库（GNU Multiple Precision Arithmetic Library）的mpz类型来存储大整数，避免溢出。
2. 添加溢出检测：在循环里判断second > ULLONG_MAX - first，如果成立则停止计算或抛出错误，避免进入无效循环。

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