C语言程序switch分支计算出现NaN异常求助

针对问题1：Case1代码仅在保留Case2/3时返回NaN #

这种现象大概率是内存越界或数据污染导致的，核心是Case2/3的代码破坏了Case1计算所需的变量或数组数据：

• 先验证计算前的数值：在Case1的cbrtf计算前加入打印语句，输出scores[rows][1]、scores[rows][3]以及中间表达式的值：

  float numerator = 3 + (float)scores[rows][1];
  float denominator = 3 + (float)scores[rows][3];
  float ratio = numerator / denominator;
  printf("Case1: rows=%d, num=%f, den=%f, ratio=%f\n", rows, numerator, denominator, ratio);
  factors[rows][0] = cbrtf(ratio);
  

  如果输出的ratio是NaN，说明scores数组的对应元素已被污染（比如被Case2/3的越界写入修改）。

• 检查Case2/3的代码逻辑：

  • 确认是否错误修改了rows变量，导致Case1访问了scores或factors数组的非法下标；
  • 检查factors数组的维度是否足够，比如rows的最大值是否超过了factors第一维的定义，导致Case2/3的越界写入覆盖了Case1的计算数据；
  • 排查Case2/3中是否有其他数组越界操作（比如访问scores的列下标超出范围），破坏了内存中的其他数据。

针对问题2：Case2/3的计算始终返回NaN #

即使排除分母为零的情况，仍需从数值合法性和数据来源入手：

• 强制验证所有参与计算的数值：在Case2/3的计算前加入打印：

  // Case2 调试打印
  int s1 = scores[rows][1];
  int s3 = scores[rows][3];
  float sum = (float)s1 + (float)s3;
  float ratio = (float)s1 / sum;
  printf("Case2: rows=%d, s1=%d, s3=%d, sum=%f, ratio=%f\n", rows, s1, s3, sum, ratio);
  factors[rows][0] = ratio;
  
  // Case3 调试打印
  float log_arg = ratio + 1.0f;
  printf("Case3: log_arg=%f\n", log_arg);
  factors[rows][0] = log(log_arg);
  

  重点关注：

  1. sum是否真的不为零（如果sum是NaN，说明s1或s3是非法值，比如未初始化的float类型变量）；
  2. log_arg是否严格大于0：如果s1是负数，且abs(s1) > s3，则ratio为负，log_arg可能≤0，此时log会返回NaN/inf；
  3. 如果s1和s3是int类型，确认它们是否被正确从数据文件读取——若读取失败，int变量可能是随机垃圾值，但不会直接产生NaN；若scores是float类型，读取失败可能导致元素为NaN，进而引发后续计算全部为NaN。

• 检查变量类型匹配：

  • 确认factors数组的类型是否为float或double：如果是int类型，赋值float/double值会导致截断，但不会产生NaN；
  • log函数默认是double类型，若factors[rows][0]是float，建议改用logf避免类型转换可能的隐式问题。

通用调试建议 #

1. 用-O0编译（关闭优化），排查是否是编译器优化导致的执行顺序异常；
2. 使用gdb调试：在关键代码行设置断点，查看scores、factors数组的实际值，以及rows变量的变化；
3. 确认数据文件的格式是否与读取逻辑匹配：比如是否存在空行、数值类型不匹配等问题，导致读取的数据异常。

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