GeneratedRegex生成的RegexGenerator.g.cs报CS0165未赋值变量错误

问题场景 #

在.NET 7项目中使用GeneratedRegex属性定义正则表达式，代码如下：

public partial class Game
{
    // ... 其他代码

    [GeneratedRegex(@"<regex>", RegexOptions.Compiled, "en-US")]
    private static partial Regex MoveLegalityRegex();

    // ... 其他代码
}

使用的正则表达式为：

@"(?<!.)(([1-4](10|a|A|k|K|q|Q|j|J|[2-9]))|bs)(?(?<=bs)| ??: ??(?(?<=1\3 ??: ??)(10|a|A|k|K|q|Q|j|J|[2-9]){1}|((?<=2.{2,5}?)(10|a|A|k|K|q|Q|j|J|[2-9]){2}|((?<=3.{2,5}?)(10|a|A|k|K|q|Q|j|J|[2-9]){3}|((?<=4.{2,5}?)(10|a|A|k|K|q|Q|j|J|[2-9]){4})))))(?!.)"

编译时触发错误：

Line 466: Use of unassigned local variable 'lazyloop_iteration' (CS0165)

错误来自自动生成的只读文件RegexGenerator.g.cs，重启Visual Studio或使用dotnet run无法解决。

原因分析 #

这个错误是**.NET 7内置的Regex代码生成器的已知bug**，你的正则表达式包含复杂的嵌套条件断言（(?(condition)yes|no)）、后行断言（(?<=...)）和可变长度回溯逻辑，这种组合触发了生成器的代码逻辑漏洞，导致生成的代码中局部变量lazyloop_iteration未被初始化就被使用。

修复方案 #

方案1：升级到.NET 8+ #

微软在.NET 8中修复了RegexGenerator的多个代码生成逻辑bug，包括这个未赋值变量的问题。升级项目的目标框架到.NET 8或更高版本，即可直接解决该错误。

方案2：替换为传统Regex构造函数 #

绕过代码生成器，改用传统的Regex构造函数配合RegexOptions.Compiled，代码示例：

public class Game
{
    // ... 其他代码

    private static readonly Regex MoveLegalityRegex = new Regex(
        @"(?<!.)(([1-4](10|a|A|k|K|q|Q|j|J|[2-9]))|bs)(?(?<=bs)| ??: ??(?(?<=1\3 ??: ??)(10|a|A|k|K|q|Q|j|J|[2-9]){1}|((?<=2.{2,5}?)(10|a|A|k|K|q|Q|j|J|[2-9]){2}|((?<=3.{2,5}?)(10|a|A|k|K|q|Q|j|J|[2-9]){3}|((?<=4.{2,5}?)(10|a|A|k|K|q|Q|j|J|[2-9]){4})))))(?!.)",
        RegexOptions.Compiled,
        System.Globalization.CultureInfo.GetCultureInfo("en-US")
    );

    // ... 其他代码
}

这种写法不会触发代码生成器的bug，功能上和GeneratedRegex一致。

方案3：简化正则表达式 #

优化正则的结构，减少嵌套层级和复杂断言的组合，避免触发生成器的bug。比如将多分支的条件判断拆分为多个独立的正则规则，或者简化后行断言的逻辑。例如，可以把原正则的分支拆分为几个单独的匹配检查：

// 拆分后的示例逻辑
public static bool IsMoveLegal(string input)
{
    // 匹配bs开头的情况
    if (Regex.IsMatch(input, @"^bs$"))
        return true;
    // 匹配1-4开头的单张情况
    if (Regex.IsMatch(input, @"^[1-4](10|a|A|k|K|q|Q|j|J|[2-9])$"))
        return true;
    // 匹配带冒号的组合情况
    return Regex.IsMatch(input, @"^[1-4](10|a|A|k|K|q|Q|j|J|[2-9]) ??: ??(10|a|A|k|K|q|Q|j|J|[2-9]){1,4}$");
}

这种拆分不仅能避免生成器bug，还能提升正则的可读性和维护性。

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