vector::at() 在越界时抛出 std::out_of_range 异常，而 operator[] 导致未定义行为；at() 不修复问题，仅将隐性崩溃转为显性异常以便定位，应局部替换并用 try/catch 捕获。
vector::at() 能捕获越界但不自动修复问题
vector::at() 和 operator[] 的核心区别在于：前者在下标超出 size() 时抛出 std::out_of_range 异常，后者是未定义行为（UB），常见表现就是崩溃、数据错乱或静默错误。但要注意：at() 不会“排查”问题——它只是把隐性崩溃变成显性异常，方便你定位哪一行越界了。
怎么用 at() 替换 [] 并捕获异常
直接把所有疑似越界的 vec[i] 改成 vec.at(i)，再用 try/catch 包裹关键逻辑块。别全局 try/catch，只包最可能出问题的访问点：
try {
int x = my_vec.at(index); // 原来是 my_vec[index]
} catch (const std::out_of_range& e) {
std::cerr
- 只对明确需要边界检查的访问改用
at()，高频循环里慎用（有函数调用开销） -
at()检查的是[0, size())，负数索引也会触发异常（operator[]对负数是 UB） - 如果程序没开启异常（如编译时加了
-fno-exceptions），at()会直接调用std::terminate()
为什么有时用了 at() 还崩溃？常见陷阱
不是所有崩溃都来自 vector 访问本身。以下情况即使用了 at() 也拦不住：
C++ Code Review Master
下载
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
-
vector对象本身已析构（悬空指针），此时调at()是 UB，不会抛异常 - 多线程环境下，
size()和at()之间 vector 被其他线程修改（竞态），at()检查的是调用时刻的 size，但实际访问时内存可能已失效 - 用
at()访问空 vector 的at(0)会抛异常，但有人误以为 “空 vector 的 size 是 0，所以 at(0) 应该安全”，其实 0 不在[0, 0)区间内 - 自定义类型 vector 中，元素析构函数抛异常，可能掩盖原始越界问题
比 at() 更早发现问题的方法
at() 是运行时兜底，真要根治，得往前移检测点：
- 用
assert(index 在 debug 模式下快速失败（release 下不生效） - 静态分析工具如 clang++ 的
-fsanitize=undefined或-fsanitize=address能在越界发生时立刻报错，比at()更早暴露问题 - 对输入索引做预校验：比如从用户/文件读取的 index，先判断
if (index = vec.size()) { /* handle error */ }，避免进at()就抛异常 - 考虑用
std::span（C++20）替代裸 vector 引用，它自带长度信息且可配合范围 for 安全遍历
越界崩溃的本质是逻辑错误，at() 只是让错误浮出水面；真正难的是确认 index 来源是否可靠、size 是否被正确维护、并发访问是否受控——这些没法靠一个函数解决。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
