.NET 6中Out参数可未赋值，为何.NET 8会报CS0177错误？

这段代码在.NET 6控制台项目中可正常编译运行，输出DateOnly的默认值；但切换到.NET 8项目时，会触发CS0177编译错误，提示“Out参数必须在控制离开当前方法前赋值”。已通过创建对应版本的Visual Studio控制台项目、切换目标框架验证该现象，暂未在官方兼容性文档中找到相关变更说明。

代码示例 #

internal class Program
{
    static void Main(string[] args)
    {
        Console.WriteLine("Hello, World!");
        TryParse("abc", out DateOnly d);
        Console.WriteLine(d);
        Console.ReadKey();
    }

    public static bool TryParse(string s, out DateOnly dateOnly)
    {
        try
        {
            if (s is not null && s.Length == 8)
            {
                int yyyy = int.Parse(s[0..4]);
                int mm = int.Parse(s[4..6]);
                int dd = int.Parse(s[6..8]);
                var date = new DateOnly(yyyy, mm, dd);
                dateOnly = date;
                return true;
            }
            else
            {
                Console.WriteLine("Else: 日期格式错误! '" + s + "'");
                return false; // .NET 8中触发CS0177
            }
        }
        catch
        {
            Console.WriteLine("Catch: 日期格式错误! '" + s + "'");
            return false; // .NET 8中触发CS0177
        }
    }
}

.NET 6运行输出 #

Hello, World!
Else: 日期格式错误! 'abc'
01.01.0001

原因分析 #

这是由于.NET 8中C#编译器对out参数的赋值检查规则更严格。在.NET 6中，值类型的out参数若未显式赋值，编译器会自动为其分配默认值；但.NET 8的编译器严格遵循C#规范，要求所有代码路径中out参数必须被显式赋值后才能返回。

解决方案 #

在else分支和catch分支中，为dateOnly显式赋值DateOnly的默认值即可解决问题：

修改后的TryParse方法代码：

public static bool TryParse(string s, out DateOnly dateOnly)
{
    try
    {
        if (s is not null && s.Length == 8)
        {
            int yyyy = int.Parse(s[0..4]);
            int mm = int.Parse(s[4..6]);
            int dd = int.Parse(s[6..8]);
            var date = new DateOnly(yyyy, mm, dd);
            dateOnly = date;
            return true;
        }
        else
        {
            Console.WriteLine("Else: 日期格式错误! '" + s + "'");
            dateOnly = default; // 显式赋值默认值
            return false;
        }
    }
    catch
    {
        Console.WriteLine("Catch: 日期格式错误! '" + s + "'");
        dateOnly = default; // 显式赋值默认值
        return false;
    }
}

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