C++ Curve类构造函数如何阻止min_t>max_t的非法对象初始化

方案1：构造函数抛出异常（推荐标准做法） #

C++中终止对象初始化流程的标准方式是在构造函数中抛出异常。只要异常没有在构造函数内部被捕获，就会终止对象的构造过程，对应的对象不会被完整创建，也不会触发其析构函数，从根源上避免非法对象生成。

你需要先引入标准异常头文件：

#include <stdexcept>

再修改构造函数的错误处理逻辑：

Curve(Complex(*g)(double), double min_t, double max_t) {
    if (min_t > max_t) {
        // 抛出参数非法异常，同时携带错误信息
        throw std::invalid_argument("Domain error: min_t cannot be greater than max_t");
    }
    f = g;
    min = min_t;
    max = max_t;
}

使用该类时通过try-catch块捕获异常处理错误场景即可：

try {
    Curve c(f, 1, 0);
    // 正常操作c的逻辑
} catch (const std::invalid_argument& e) {
    // 处理参数错误逻辑
    std::cerr << e.what() << std::endl;
}

方案2：使用工厂函数（适合禁用异常的场景） #

如果你的项目环境禁用了C++异常，可以把构造函数设为私有，对外提供静态工厂方法创建对象，只有参数校验通过才返回合法对象，否则返回空标识。

修改后的类定义如下（C++17及以上版本适配）：

#include <optional>

class Curve {
    double min;
    double max;
    Complex(*f)(double);
    // 构造函数私有化
    Curve(Complex(*g)(double), double min_t, double max_t) 
        : f(g), min(min_t), max(max_t) {}
public:
    // 静态工厂方法
    static std::optional<Curve> create(Complex(*g)(double), double min_t, double max_t) {
        if (min_t > max_t) {
            std::cerr << "Domain error." << std::endl;
            // 返回空optional表示创建失败
            return std::nullopt;
        }
        return Curve(g, min_t, max_t);
    }

    // 其余成员函数保持不变
    double get_min();
    double get_max();
    Complex at(double t);
};

使用时判断返回值是否合法即可：

auto c_opt = Curve::create(f, 1, 0);
if (c_opt.has_value()) {
    Curve& c = c_opt.value();
    // 正常操作c的逻辑
} else {
    // 处理创建失败逻辑
}

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