1. 数组越界是指访问数组时，超出了数组大小所分配的内存空间，从而访问了不存在的内存地址。

2. 数组越界经常发生在循环中，因为循环中常常使用下标来访问数组元素。如果下标超出数组的范围，就会导致数组越界。例如：

int a[3] = {1, 2, 3};

for (int i = 0; i < 4; i++) {

  cout << a[i] << endl;

}

3. 在上面的代码中，数组a的大小为3，但循环的条件是i小于4，所以当i=3时，a[3]就越界了。

4. 数组越界可能会导致程序崩溃、数据错误等问题。因此，在编写程序时，我们应该尽可能避免数组越界。一种常用的方法是在访问数组元素之前，先检查下标是否越界。

5. 例如，在上面的代码中，我们可以添加一个判断条件：

int a[3] = {1, 2, 3};

for (int i = 0; i < 4; i++) {

  if (i < 3) {

    cout << a[i] << endl;

  }

}

6. 总之，控制数组下标的范围是编写高质量程序的一个重要因素。