区间[a;b]步长c的函数制表程序正确性验证及优化建议咨询

我开发了一款可在指定区间[a;b]以步长c对分段函数进行制表，并求解该区间内函数最大值与最小值的C++程序。程序可正常运行，但我不确定其正确性，希望能得到相关建议。任务要求需使用前置条件循环，规定函数参数为y，函数值变量为x。输入a、b、c后，程序需输出函数制表结果及区间内的最值。

现有代码 #

#include <iostream>
#include <math.h>
#include <clocale>
#define _USE_MATH_DEFINES
#include <iomanip>
#include <climits>

using namespace std;

int main(){
    setlocale(LC_CTYPE, "");
    double x, y, a, b, c;
    double max, min, max_y, min_y;
    
    max = -INT_MAX;
    min = INT_MAX;
    
    cout << "\n a:";
    cin >> a;
    
    cout << "\n b:";
    cin >> b;
    
    cout << "\n c:";
    cin >> c;
    
    cout << "\n a = " << a;
    cout << " b = " << b;
    cout << " c = " << c;
    
    y = a;

    while(y <= b){
        if(y > 1) x = sin(sqrt(y + log(y)));
        if((0 <= y) && (y <= 1)) x = M_PI + pow(cos(y + 1.2), 2);
        if(y < 0) x = y * log10(pow(y,2) +2) + M_PI;
        
        if(x > max){
            max = x;
            max_y = y;
        }
        
        if(x < min){
            min = x;
            min_y = y;
        }

        cout << "\n     x = " << setw(8) << x << "      y = " << setw(8) << y;
        
        y += c;
    }
    
    cout << "\n The largest value in the given interval is" << max << " at y = " << max_y << "\n";
    cout << "\n The smallest value in the given interval is" << min << " at y = " << min_y << "\n";
    return 0;
}

正确性检查与优化建议 #

• 分段逻辑严谨性优化：当前三个独立if会重复判断条件，虽不影响结果但冗余。建议改为if-else if-else结构，确保每个y值仅进入一个分支，逻辑更清晰：

  if(y > 1) {
      x = sin(sqrt(y + log(y)));
  } else if(y >= 0) { // 已排除y>1，自然满足0<=y<=1
      x = M_PI + pow(cos(y + 1.2), 2);
  } else { // y<0
      x = y * log10(pow(y,2) +2) + M_PI;
  }
  

• 最值初始化合理性修正：用INT_MAX（int类型极值）初始化double类型的最值，可能覆盖不全double的取值范围。建议改用double类型极值，需包含<cfloat>头文件：

  max = -DBL_MAX;
  min = DBL_MAX;
  

• 输入合法性检查补充：程序未验证输入有效性，存在逻辑风险：

  • 检查c > 0，否则循环可能死循环或不执行；
  • 检查a <= b，否则循环直接跳过，输出的最值为初始无效值；

• 未初始化变量风险规避：max_y和min_y未初始化，若循环未执行（如a>b），输出会触发未定义行为。建议在初始化最值时同步初始化：

  max = -DBL_MAX;
  max_y = a;
  min = DBL_MAX;
  min_y = a;
  

• 头文件顺序修正：#define _USE_MATH_DEFINES必须放在<math.h>之前，否则M_PI可能无法正常定义，同时推荐使用C++标准头文件<cmath>替代<math.h>：

  #define _USE_MATH_DEFINES
  #include <cmath>
  

• 输出格式优化：添加fixed和setprecision控制小数位数，让制表输出更整齐：

  cout << fixed << setprecision(4);
  cout << "\n     x = " << setw(8) << x << "      y = " << setw(8) << y;
  

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