C++中函数无效输入处理方案：以矩阵乘法与std::optional问题为例

针对矩阵乘法这类可能因输入无效（形状不兼容）而无法执行的函数，下面是几种实用的处理方案，你可以根据场景选择：

1. 抛出异常 #

这是C++处理逻辑错误的标准方式之一。当检测到矩阵形状不兼容时，直接抛出标准库异常（如std::invalid_argument）或自定义异常类型。这种方式下，函数返回值仍为Matrix，完全不需要修改其他依赖Matrix的函数（比如打印函数）。

示例代码：

#include <stdexcept>

Matrix multiply(const Matrix& a, const Matrix& b) {
    if (a.cols() != b.rows()) {
        throw std::invalid_argument("矩阵形状不兼容：第一个矩阵的列数必须等于第二个矩阵的行数");
    }

    Matrix result(a.rows(), b.cols());
    // 执行矩阵乘法计算逻辑
    return result;
}

// 打印函数无需改动，直接接收合法的Matrix引用
void print_matrix(const Matrix& mat) {
    // 打印矩阵的实现
}

调用时通过try-catch处理错误：

try {
    Matrix product = multiply(mat1, mat2);
    print_matrix(product);
} catch (const std::invalid_argument& e) {
    std::cerr << "错误：" << e.what() << std::endl;
}

优点：保持函数返回值语义清晰，其他函数不受影响；调用方可以灵活选择处理错误或让程序终止（针对不可恢复的错误）。
缺点：异常会带来轻微性能开销（现代编译器优化后影响可忽略）；若调用方未捕获异常，程序会崩溃。

2. 返回错误码+输出参数 #

将计算结果通过引用参数传出，函数返回一个错误码（比如枚举类型）表示执行状态。这种方式完全避免了异常，适合对性能敏感或禁用异常的场景。

示例代码：

enum class MatrixOpError {
    Success,
    IncompatibleShape
};

MatrixOpError multiply(const Matrix& a, const Matrix& b, Matrix& result) {
    if (a.cols() != b.rows()) {
        return MatrixOpError::IncompatibleShape;
    }

    result = Matrix(a.rows(), b.cols());
    // 执行矩阵乘法计算逻辑
    return MatrixOpError::Success;
}

调用时检查错误码：

Matrix product;
MatrixOpError err = multiply(mat1, mat2, product);
if (err == MatrixOpError::Success) {
    print_matrix(product);
} else {
    std::cerr << "错误：矩阵形状不兼容" << std::endl;
}

优点：无异常开销，调用方必须显式检查错误，避免遗漏。
缺点：需要额外的输出参数，代码略显繁琐；若函数需返回多个结果，这种方式会更复杂。

3. 仅在可能失败的函数中使用std::optional #

你之前的误区是误以为其他函数（如打印）也要改成std::optional，其实完全没必要。只有乘法这种可能返回无效结果的函数用std::optional<Matrix>，打印函数直接接收合法的Matrix引用即可。

示例代码：

#include <optional>

std::optional<Matrix> multiply(const Matrix& a, const Matrix& b) {
    if (a.cols() != b.rows()) {
        return std::nullopt;
    }

    Matrix result(a.rows(), b.cols());
    // 执行矩阵乘法计算逻辑
    return result;
}

// 打印函数保持原样
void print_matrix(const Matrix& mat) {
    // 打印矩阵的实现
}

调用时检查optional是否有值：

auto product = multiply(mat1, mat2);
if (product.has_value()) {
    print_matrix(*product);
} else {
    std::cerr << "错误：矩阵形状不兼容" << std::endl;
}

优点：保持返回值语义，无需额外输出参数；其他依赖Matrix的函数无需修改。
缺点：调用方必须手动检查optional是否有效，否则解引用会导致未定义行为。

4. 提前验证输入（调用方负责） #

如果你的代码场景是内部可控的（比如仅在自己的模块中调用乘法函数），可以把输入验证的责任交给调用方，乘法函数假设输入始终合法。调试阶段可以用断言来检查，发布模式下断言会被移除，保证性能。

示例代码：

#include <cassert>

Matrix multiply(const Matrix& a, const Matrix& b) {
    // 调试模式下触发断言，提示错误
    assert(a.cols() == b.rows() && "矩阵形状不兼容，无法相乘");

    Matrix result(a.rows(), b.cols());
    // 执行矩阵乘法计算逻辑
    return result;
}

优点：函数实现最简单，性能最优。
缺点：依赖调用方提前验证输入，若调用方遗漏检查，发布模式下会产生未定义行为，只适合内部可控的代码场景。

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