C#中负数组索引的行为是什么？是否属于未定义行为？

嘿，从C/C转来学C#的新手朋友，这个问题问得太关键了——毕竟在C/C里负索引有时候能搞出各种捉摸不透的情况，但C#的规则可是清晰得多！

1. 普通数组的负索引：直接抛出异常，绝非未定义行为 #

和C/C++里的未定义行为不同，C#对数组的索引做了严格的运行时边界检查。当你尝试使用负索引访问普通数组时，CLR（公共语言运行时）会立刻抛出IndexOutOfRangeException异常，不会出现“可能访问到未知内存、程序崩溃或输出奇怪结果”这种不确定的情况。

举个简单的例子：

int[] myArray = { 10, 20, 30 };
// 下面这行代码会直接抛出 IndexOutOfRangeException
int invalidValue = myArray[-1];

这种行为是完全确定的，不存在任何“未定义”的模糊地带——C#就是要避免C/C++里那种因越界访问导致的难以排查的bug。

2. 特殊情况：unsafe代码中的指针操作 #

如果你在C#里使用unsafe上下文（允许直接操作指针），那情况就和C/C++类似了：负的指针偏移可能会访问到内存中的其他区域，这时候确实属于未定义行为（因为你绕过了CLR的安全检查）。但这种情况仅限于unsafe代码，普通的托管数组操作绝对不会出现这种情况。

比如这段unsafe代码：

unsafe
{
    int[] myArray = { 10, 20, 30 };
    fixed (int* ptr = myArray)
    {
        // 这里的负偏移会访问数组前面的内存，属于未定义行为
        int sketchyValue = *(ptr - 1);
    }
}

但要注意，unsafe代码在C#里是特殊场景，一般日常开发很少用到，而且需要特意开启项目的unsafe选项。

3. 和C/C++的核心区别 #

在C/C++中，数组本质上是指针的语法糖，负索引会基于指针地址向前偏移，访问到数组范围外的内存，行为完全未定义；而C#的数组是托管对象，CLR会全程维护它的边界信息，任何越界访问（包括负索引）都会被立刻检测到并抛出明确的异常，从根源上避免了未定义行为的风险。

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