C#构造条件不满足时如何处理不可空引用类型返回问题

核心原则：永远不要让未通过校验的FerryArguments实例被构造出来，所有校验失败分支不走到类实例化逻辑，通过明确的返回类型告知调用方成功/失败状态，全程不绕过编译器的非空检查。

方案1：值元组返回（适合控制台小工具场景） #

不需要额外定义复杂类型，直接用C#值元组返回校验状态、错误信息和构造完成的实例，失败时实例声明为可空类型，编译器会强制调用方判断返回状态后再使用实例，完全符合非空规范：

// 返回值：(是否解析成功, 错误提示, 解析完成的参数实例)
(bool IsSuccess, string? ErrorMessage, FerryArguments? Args) ParseFerryArgs(string[] args)
{
    var arglist = args.ToList();
    var dirIndex = arglist.IndexOf("-d");
    var webIndex = arglist.IndexOf("-s");

    // 逐个做前置校验，失败直接返回，不构造实例
    if (dirIndex == -1 || dirIndex >= arglist.Count - 1)
    {
        return (false, "缺少必填参数 -d <源目录路径>", null);
    }
    if (webIndex == -1 || webIndex >= arglist.Count - 1)
    {
        return (false, "缺少必填参数 -s <服务地址>", null);
    }

    var sourceDir = arglist[dirIndex + 1];
    if (!Uri.TryCreate(arglist[webIndex + 1], UriKind.Absolute, out var serviceUrl))
    {
        return (false, "传入的服务地址不是合法绝对URI", null);
    }

    // 所有前置校验通过后才调用构造函数，类内部的校验作为最后防线
    try
    {
        var instance = new FerryArguments(sourceDir, serviceUrl);
        return (true, null, instance);
    }
    catch (ArgumentException ex)
    {
        return (false, ex.Message, null);
    }
}

调用时编译器会自动跟踪非空状态，只要判断IsSuccess为true，就可以直接使用实例，不会产生空引用警告：

var parseResult = ParseFerryArgs(args);
if (!parseResult.IsSuccess)
{
    Console.WriteLine($"参数错误：{parseResult.ErrorMessage}");
    Environment.Exit(1);
}
// 此处编译器已判定Args非空，无空引用警告
Console.WriteLine($"源目录：{parseResult.Args.SourceDirectory}");

方案2：强类型结果封装（适合中大型项目） #

如果项目中有大量类似的参数解析、接口返回场景，可以定义通用泛型结果类型，语义更清晰，逻辑可复用：

public class ParseResult<T> where T : class
{
    public bool IsSuccess { get; }
    public string? ErrorMessage { get; }
    public T? Value { get; }

    private ParseResult(bool isSuccess, string? errorMessage, T? value)
    {
        IsSuccess = isSuccess;
        ErrorMessage = errorMessage;
        Value = value;
    }

    public static ParseResult<T> Success(T value) => new(true, null, value);
    public static ParseResult<T> Fail(string error) => new(false, error, null);
}

使用逻辑和元组方案一致，仅需把返回类型替换为ParseResult<FerryArguments>即可。

类TryParse写法的正确实现 #

如果要沿用out参数的风格，只需要把out参数声明为可空类型即可，完全符合C#非空规范：

bool TryGetFerryArgs(string[] args, out FerryArguments? ferryArgs, out string? errorMessage)
{
    ferryArgs = null;
    errorMessage = null;
    
    var arglist = args.ToList();
    var dirIndex = arglist.IndexOf("-d");
    var webIndex = arglist.IndexOf("-s");

    if (dirIndex == -1)
    {
        errorMessage = "缺少必填参数 -d";
        return false;
    }
    // 其余校验逻辑...

    // 所有校验通过后再给out参数赋值
    ferryArgs = new FerryArguments(sourceDir, serviceUrl);
    return true;
}

注意：绝对不要用ferryArgs = null!这种写法把out参数标为非空，这是在欺骗编译器，一旦调用方漏判断返回值直接使用实例，会直接抛出空引用异常，完全失去非空引用类型的保护意义。

实现注意点 #

你在FerryArguments类内部写的属性校验逻辑不要删除，这是类型安全的最后一道防线：不要因为外层解析逻辑做了校验就移除类内部的校验——内部校验可以保证不管实例从什么路径被创建（其他业务逻辑直接new、反射构造、单元测试构造），都不会出现无效状态，这才是你一开始要做"安全类"的核心价值。
不要为了让返回值看起来整洁就给类加IsValid属性、允许构造出无效实例，这种做法会让所有使用该类的地方都要重复判断实例有效性，反而回到了你最初想避免的重复编写校验逻辑的问题。

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