C# 7.3项目使用Nullable Reference type的无版本升级替代方案咨询

因为C# 7.3原生不支持可空引用类型（Nullable Reference Types），以下是无需升级语言版本的几种后端替代方案：

1. 自定义可空包装类型 #

自己实现一个泛型结构体或类来封装可能为null的引用类型，强制开发者显式处理空值情况，避免隐式空引用。

示例实现：

public struct Maybe<T> where T : class
{
    private readonly T _value;

    // 标记是否有有效值
    public bool HasValue => _value != null;
    // 获取值，无值时抛出异常
    public T Value => _value ?? throw new InvalidOperationException("No value available");

    private Maybe(T value)
    {
        _value = value ?? throw new ArgumentNullException(nameof(value));
    }

    // 创建有值的实例
    public static Maybe<T> FromValue(T value)
    {
        return new Maybe<T>(value);
    }

    // 创建无值的实例
    public static Maybe<T> None()
    {
        return new Maybe<T>();
    }

    // 匹配处理逻辑，强制分支覆盖
    public TResult Match<TResult>(Func<T, TResult> onValue, Func<TResult> onNone)
    {
        if (onValue == null) throw new ArgumentNullException(nameof(onValue));
        if (onNone == null) throw new ArgumentNullException(nameof(onNone));
        
        return HasValue ? onValue(Value) : onNone();
    }
}

使用示例：

public Maybe<string> GetUserName(int userId)
{
    var dbResult = FetchNameFromDatabase(userId);
    return dbResult != null ? Maybe<string>.FromValue(dbResult) : Maybe<string>.None();
}

// 调用时必须显式处理两种情况
var userName = GetUserName(123);
userName.Match(
    name => Console.WriteLine($"User name: {name}"),
    () => Console.WriteLine("User not found or name is null")
);

2. 利用代码分析属性+IDE静态检查 #

使用System.Diagnostics.CodeAnalysis命名空间下的[NotNull]、[CanBeNull]等属性，给方法参数、返回值标注空值语义，配合Visual Studio或JetBrains ReSharper等IDE的静态分析功能，在开发阶段提前发现潜在的空引用问题。

示例：

using System.Diagnostics.CodeAnalysis;

public class UserRepository
{
    // 标注返回值可能为null
    [return: CanBeNull]
    public string GetUserNameById(int userId)
    {
        // 模拟数据库查询，可能返回null
        return userId > 0 ? "Bob" : null;
    }

    // 标注参数不能为null
    public void UpdateUserName([NotNull] string userName, int userId)
    {
        if (userName == null)
        {
            throw new ArgumentNullException(nameof(userName));
        }
        // 执行更新逻辑
    }
}

IDE会在你调用GetUserNameById后未做空检查就使用返回值、或给UpdateUserName传入可能为null的参数时给出警告，帮助你提前规避空引用异常。

3. 强制代码约定+静态分析工具 #

通过团队代码约定（比如要求所有可能为null的变量必须显式做空检查），配合静态分析工具（如StyleCop、Roslyn Analyzers）来强制执行空值处理规则。

比如配置Roslyn分析器的CA1062规则（验证公共方法的参数是否为null），在构建阶段就抛出警告或错误，确保代码中没有未处理的空值情况。

方案局限性说明 #

• 自定义包装类型需要额外的代码维护，且会增加调用时的代码复杂度；
• 属性标注和静态分析依赖IDE或构建工具，不是编译时强制检查，无法完全替代C# 8+可空引用类型的严格编译校验；
• 代码约定需要团队严格执行，否则效果有限。

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