当数组超出范围时，通过异常检查是否安全？

Question

这是我的代码：

template<class T>
void Matrix<T>::set(const int i, const int j, const T v) {
    try {
        m[i][j] = v;
    } catch (std::exception& e) {
        std::cout << "Standard exception: " << e.what() << std::endl;
    }
}

但是，我在这里是安全的吗？我的意思是，i 和/或j 可能越界，但程序收到分段错误，然后会抛出异常吗？

如果这不是一个好方法，那么我应该使用assert() 吗？

Answer 1

template<class T>
void Matrix<T>::set(const int i, const int j, const T v) {
    try {
        m[i][j] = v;
    } catch (std::exception& e) {
        std::cout << "Standard exception: " << e.what() << std::endl;
    }
}

您没有提及m 是什么类型，但假设它是在operator[] 中进行边界检查的自定义类型，那么您应该没问题。边界检查将（或应该）发生，并且应该抛出异常，在任何越界写入尝试之前。

但请注意，C++ 不会对原始 (C) 数组进行边界检查，其operator[] 实现中的任何标准库类型也不会，所以如果m 是这些类型之一，那么你'永远不会抛出异常。相反，STL 类型提供了一个 at() 方法，如果需要边界检查，您应该使用它。

Answer 2

只需添加边界检查。

C++ 不对数组进行边界检查，更不用说抛出异常了。

使用vectors/std::array，您可以使用.at() 方法而不是[] 运算符进行检查。

最后，GSL 引入了array_view，它允许您添加“零成本注释”，以便分析工具可以进行边界检查。目前还没有出现 GSL 的事实上的标准实现。另见：

• https://www.youtube.com/watch?v=1OEu9C51K2A

Answer 3

没有。

仅从数组中读取时，异常检查可能没问题（但一点也不优雅）。

但是，在编写时，您可能会覆盖“外部”内存，这是一个巨大的安全风险，而且它可能会通过覆盖堆栈帧来改变执行流程，谁知道呢 - 也就是说，肯定存在异常处理程序即使它实际上预计会抛出也不会运行。

最好的决定是在每次迭代时检查索引。 鉴于您提到了asserting，我想您确实知道要开始的数组维度。