c++ vector at()和下标区别_c++数组越界检查_网络技术

发布时间 - 2026-01-06 00:00:00 点击率：次

vector::at() 运行时检查越界并抛出异常，operator[] 不检查、行为未定义；应依数据可信度与调试需求选择：不可信输入或需防御性检查时用at()，可信索引的性能敏感循环中用[]。

这是最核心的区别：at() 在运行时检查下标是否在 [0, size()) 范围内，越界则抛出 std::out_of_range 异常；而 operator[] 完全不检查，行为是未定义的（UB）——可能读到垃圾值、崩溃、静默出错，甚至看似正常但埋下隐患。

用 at() 的典型场景：

用 operator[] 的典型场景：

at() 的检查无法被编译器完全优化掉，即使你在调用前刚检查过 i ，编译器通常仍会保留第二次比较（因为 at() 是函数调用，有潜在副作用）。对比之下，operator[] 是内联的，零开销。

立即学习“C++免费学习笔记（深入）”；

示例：

std::vector v = {1, 2, 3};
size_t i = 5;
if (i < v.size()) {
    auto x = v.at(i); // 这里仍会执行越界检查 —— 即使前面刚判断过
}

如果真要兼顾安全与性能，更合理的写法是：

if (i < v.size()) {
    auto x = v[i]; // 直接用 []，信任自己的判断
} else {
    throw std::out_of_range("index out of bounds");
}

at() 只对 std::vector 生效，对原生数组（int arr[10]）、std::array（默认也不检查）、指针运算（ptr[i]）完全无效。C++ 没有全局数组边界检查机制。

真正能覆盖更多越界场景的方案包括：

启用 AddressSanitizer（-fsanitize=address），可捕获原生数组、栈数组、堆内存越界读写
用 std::span（C++20）替代裸指针，配合 operator[] 时可手动加 assert 或封装安全访问
静态分析工具（如 clang-tidy 的 cppcoreguidelines-pro-bounds-array-to-pointer-decay）提前发现风险模式

别以为用了 at() 就高枕无忧——它只是 vector 的一道窄门，门外还有大片未设防的内存区域。