C++编写USACO模拟题时数组赋值触发段错误（核心已转储）

直接触发崩溃的两个核心问题 #

• 非标准语法的变长数组（VLA）定义
  代码中写的int arr1[n+m] = {0};、int arr2[n+m] = {0}; 属于运行时才确定长度的栈上数组，这种写法是GCC对C语言的扩展，不属于C++标准规定的合法语法。程序在栈上申请这类长度动态变化的内存时，很容易因为栈空间分配异常、内存布局被破坏直接触发段错误，是在数组赋值循环阶段就出现崩溃的诱因之一。
• 循环条件笔误导致的无限越界访问
  遍历行驶速度的循环存在严重笔误，原代码为：

  for(int i = n; n < n+m; n++)
  这里的逻辑完全写反：循环条件判断的是恒成立的关系n < n+m（题目输入中m为正整数，这个判断永远为真），循环体每次自增的是变量n，而非循环变量i。这会导致程序无限制读取arr1、arr2数组边界外的内存，直接访问无程序权限的内存地址，立刻触发段错误。

其他潜在隐患 #

• 代码中定义的road_limits[100]虽然和题目设定的最大道路长度匹配，但如果前面的越界循环已经破坏了栈内存，这个数组所在的内存位置也会被非法访问，进一步提高崩溃概率。
• 定义的string new_signal = ""是完全未使用的冗余变量，不影响运行但没有实际作用。

快速修复方案 #

1. 把非标准的变长数组替换为C++标准支持的动态容器，不需要修改原有赋值逻辑，仅需将原来的两行数组定义替换为：

   vector<int> arr1(n + m, 0);
   vector<int> arr2(n + m, 0);
   

   这种写法会在运行时动态申请堆内存，完全符合C++标准，也不会触发栈空间分配的异常问题。
2. 修正循环的笔误，把错误的循环行替换为：

   for(int i = n; i < n + m; i++)
   

   将所有和循环绑定的判断、自增逻辑全部指向循环变量i，从根源上避免无限循环越界。

补充验证：修复上述两个问题后，原代码的模拟逻辑可以完全匹配题目要求，不需要额外调整算法逻辑。

内容的提问来源于stack exchange，提问作者Shuryu Kisuke