一 概述
在 C++ 中，数组是一块连续的内存空间，数组的下标通常用来定位这段内存中的特定元素。下标通常从 0 开始，最大到数组长度减 1。例如，一个有 10 个元素的数组，其有效下标范围是从 0 到 9。
当你尝试使用负数下标来访问数组时，你实际上是在尝试访问数组首地址之前的内存位置。这是未定义行为（Undefined Behavior，简称 UB），可能导致各种问题，包括程序崩溃、数据损坏或不可预测的行为。
```cpp
int arr[10];
arr[-1] = 123; // 未定义行为，不应该这么做
```
在上面的例子中，`arr[-1]` 实际上是尝试访问 `arr` 数组首地址之前的一个 `int` 类型大小的内存位置。这可能会覆盖程序中其他重要数据，或者导致程序访问违法内存，进而引起程序崩溃。
在某些特定情况下，程序员可能会故意使用负数下标来访问特定的数据结构（比如循环缓冲区），但这是需要精确控制并且完全了解内存布局的高级技巧。在常规编程中，应避免使用负数下标访问数组。如果你需要这样做，应该仔细检查你的代码，确保没有逻辑错误。通常，这样的需求表明你可能需要重新考虑你的数据结构设计或算法逻辑。
二 特例
C++中的数组下标有些情况下可以是负数。 负数是可以被数组识别的，如果定义了一个数组int a[5]，直接输出a[-2]的值，不同的编译器给出的是不同的值，肯定不是数组的值。 可以使用指针指向数组的某个元素，然后递减，（但是要注意不应该发生越界的行为。）
