验证vector是否为空时出现异常段错误问题排查

核心原因 #

• 段错误的本质是对空向量edges做了越界访问。当输入是空向量时，edges的长度为0，此时任何edges[node]的访问都是非法操作——不管node是0还是其他数值，都超出了向量的有效索引范围（空向量没有有效索引）。
• 能打印edges[node].size()却在判断时崩溃，是未定义行为的典型表现：非法内存访问的结果完全随机，有时候碰巧能读出某个值（比如你看到的0），但后续的empty()调用或条件判断触发了内存保护机制，直接导致段错误。

解决方案 #

1. 前置空输入与边界检查：在所有对edges的索引操作前，先判断输入合法性：

   if (edges.empty() || node < 0 || node >= edges.size()) {
       // 处理空输入或非法node的情况，比如直接返回默认值或终止逻辑
       return;
   }
   

2. 用at()替代[]做索引：向量的at()方法会自动做边界检查，越界时抛出out_of_range异常，而非直接触发段错误，能帮你快速定位问题：

   try {
       if (!edges.at(node).empty()) {
           // 你的业务逻辑
       }
   } catch (const std::out_of_range& e) {
       // 处理越界异常
   }
   

3. 确认测试用例的node值：检查空输入对应的node是否合法——比如LeetCode部分图类题目中，空输入时node可能被设为0，但空向量不存在索引0，这种情况必须提前处理。

调试验证建议 #

调试时先打印edges.size()和node的具体值，确认node是否落在[0, edges.size())范围内，这能第一时间锁定越界问题。

内容的提问来源于stack exchange，提问作者Abhinav Gupta