C#空合并运算符与可空类型代码的传统写法转换及问题排查

原代码是C# 8及以上版本的语法，完全可以改写成旧版C#（C# 8之前）的写法，具体如下：

第一段代码改写 #

原代码：

public readonly Trie?[] next = new Trie?[26];

传统写法：

public readonly Trie[] next = new Trie[26];

解释：旧版C#中引用类型数组的元素默认就是可空的（初始值为null），不需要?标记可空引用类型，两者语义完全一致。

第二段代码改写 #

原代码：

var t = next[u] ??= new Trie();
t.insert(p[1..]);

传统写法：

Trie t = next[u];
if (t == null)
{
    t = new Trie();
    next[u] = t;
}
t.insert(p.Substring(1));

解释：

• ??=是空合并赋值运算符，逻辑是：如果next[u]为null，则创建新的Trie实例赋值给next[u]，同时将该实例赋值给t；如果next[u]不为null，直接将next[u]赋值给t。这段传统代码完全复现了这个逻辑。
• p[1..]是C# 8的范围运算符，代表从索引1到字符串末尾的子串，旧版C#用Substring(1)实现相同效果。

你改写后运行结果不一致，大概率是犯了以下某类错误：

• 未正确复现??=的赋值逻辑：
  比如只做了空合并判断但没把新实例赋值回数组，例如写成：

  Trie t = next[u] ?? new Trie();
  t.insert(p.Substring(1));
  

  这种写法会在next[u]为null时创建新实例，但不会把实例存入next[u]，后续访问next[u]仍然是null，导致逻辑链断裂。

• 范围运算符替换错误：
  把p[1..]错误替换成p.Substring(0, p.Length - 1)，这会取字符串的前Length-1个字符（从开头到倒数第二个），和原代码“从索引1到末尾”的语义完全相反，导致传入insert方法的参数错误。

• 逻辑顺序颠倒：
  比如先创建新实例再判断next[u]是否为null，例如：

  Trie t = new Trie();
  if (next[u] == null)
  {
      next[u] = t;
  }
  t.insert(p.Substring(1));
  

  这种写法会每次都创建新的Trie实例，哪怕next[u]原本就有值，完全违背了原代码“懒加载”创建实例的逻辑，导致数据结构被错误覆盖。

• 对数组可空性的误解：
  错误地将数组改成值类型数组或者添加了不必要的非空约束，比如写成public readonly Trie[] next = new Trie[26];后又强行给每个元素初始化非null值，破坏了原代码的初始状态。

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