解决C#中可为空对象数组的CS8602与CS8605空引用警告问题

问题原因 #

1. CS8602（解引用可能为null的引用）：编译器无法保证tests[index]在if条件检查后到return语句之间不会被其他线程修改（因为tests是静态字段），因此仍判定它可能为null。
2. CS8605（将null字面量转换为非nullable值类型）：Obj是object?类型，即便做了非null检查，编译器无法确认它的实际类型是int，强制转换存在类型不匹配风险（你的代码里实际给Obj赋值的是int[]，运行时会直接报错）。

解决方法 #

方法一：局部变量缓存+类型安全匹配（推荐） #

通过将静态字段、数组元素缓存到局部变量，让编译器能跟踪变量的非null状态；同时用类型模式匹配确保转换安全，既消除警告又避免运行时异常：

public static int selectIndex(int index)
{
    // 缓存静态字段到局部变量，避免并发修改导致的不确定性
    var localTests = tests;
    // 先检查数组索引合法性，避免越界
    if (localTests != null && index >= 0 && index < localTests.Length)
    {
        var testItem = localTests[index];
        if (testItem != null)
        {
            var targetObj = testItem.Obj;
            // 用is模式匹配，同时完成非null检查和类型转换
            if (targetObj is int intValue)
            {
                return intValue;
            }
            // 如果实际需要处理int[]的情况，比如返回第一个元素
            // if (targetObj is int[] intArray && intArray.Length > 0)
            // {
            //     return intArray[0];
            // }
        }
    }
    return 0;
}

方法二：使用null原谅运算符（不推荐，仅限确定无风险场景） #

如果你能确保tests[index]不会被并发修改，且Obj的类型一定是int，可以用!运算符告诉编译器跳过空检查，但这种方式会隐藏潜在的运行时风险：

public static int selectIndex(int index)
{
    if(tests != null && tests[index] != null && tests[index].Obj != null)
        return (int)tests[index].Obj!;
    return 0;
}

额外提示 #

你的代码存在逻辑错误：Main方法中给Obj赋值的是int[]数组，但selectIndex里试图转换为int，运行时会抛出InvalidCastException。实际使用时需要修正类型匹配问题，比如将Obj的类型改为int?，或者调整转换逻辑处理数组类型。

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