C++数组越界检查与安全访问方法

使用std::vector的at()函数可实现安全数组访问，越界时抛出std::out_of_range异常，避免未定义行为。

在C++中，原生数组不提供自动的边界检查，访问越界会导致未定义行为，如程序崩溃或数据损坏。为确保安全访问，需手动实现边界保护机制。以下是几种实用且安全的数组访问方法。

使用std::vector配合at()函数

std::vector是C++标准库提供的动态数组，其成员函数at()会在访问时自动进行边界检查，越界时抛出std::out_of_range异常。

std::vector vec = {1, 2, 3, 4, 5};
try {
  int value = vec.at(10); // 抛出异常
} catch (const std::out_of_range& e) {
  std::cout << "越界访问: " << e.what() << std::endl;
}

这种方法适合大多数场景，尤其是需要动态大小和安全访问的情况。

封装原生数组为安全访问类

若必须使用原生数组，可通过封装类添加边界检查逻辑。

template
class SafeArray {
  int data[N];

  public:
  int& get(size_t index) {
    if (index >= N) {
      throw std::out_of_range("索引超出范围");
    }
    return data[index];
  }

  const int& get(size_t index) const {
    if (index >= N) {
      throw std::out_of_range("索引超出范围");
    }
    return data[index];
  }
};

使用模板可适配不同大小的数组，同时提供读写安全的访问接口。

使用std::array与at()方法

std::array是C++11引入的固定大小数组容器，兼具原生数组性能和安全特性，支持at()边界检查。

std::array arr = {1, 2, 3, 4, 5};
try {
  int value = arr.at(6); // 抛出std::out_of_range
} catch (const std::out_of_range& e) {
  std::cout << "错误: " << e.what() << std::endl;
}

相比原生数组，std::array更安全，且不产生额外运行时开销。

宏或内联函数辅助检查

在性能敏感但需调试阶段检查的场景，可用宏临时启用边界验证。

#define SAFE_ACCESS(arr, idx, size) \
  ((idx) < (size) ? (arr)[(idx)] : (throw std::out_of_range("越界"), (arr)[0]))

发布版本中可通过定义宏为空来避免开销，调试时启用检查。

基本上就这些。优先推荐std::vector或std::array配合at()，既安全又简洁。必须用原生数组时，封装类是最可控的方式。安全访问的核心是主动检查而非依赖程序员记忆。不复杂但容易忽略。