如何在C#可空流分析中定义互斥属性？

要实现两个属性的互斥可空性（A非null则B为null，反之亦然），目前C#原生可空性特性没有专门的双向互斥标记，但可以通过以下两种方式达成需求：

1. 利用现有特性告知编译器互斥关系 #

你尝试的[NotNullIfMemberNull]特性组合是可行的，这个特性从.NET 5开始引入，能直接让编译器识别属性间的互斥可空逻辑。

定义类的代码如下：

public class Model {
    [NotNullIfMemberNull(nameof(B))]
    public string? A { get; set; }

    [NotNullIfMemberNull(nameof(A))]
    public string? B { get; set; }
}

• [NotNullIfMemberNull(nameof(B))]表示：当B为null时，A一定非null
• [NotNullIfMemberNull(nameof(A))]表示：当A为null时，B一定非null

这样你的DoSomething方法就不会触发可空性警告——编译器会根据条件分支自动推断对应属性的非null状态。

注意：这种方式仅在编译时告知分析逻辑，不会在运行时强制约束。如果类的使用者同时给A和B赋值非null，编译器不会报错，但此时可空性分析的逻辑就不符合实际状态了。

2. 结合运行时约束+特性，实现严谨的互斥 #

如果需要同时保证运行时的互斥性，可以通过属性的setter逻辑强制维护互斥关系，配合特性让编译器准确识别：

public class Model
{
    private string? _a;
    private string? _b;

    [NotNullIfMemberNull(nameof(B))]
    public string? A
    {
        get => _a;
        set
        {
            _a = value;
            // 当A赋值非null时，自动清空B
            if (value is not null)
                _b = null;
        }
    }

    [NotNullIfMemberNull(nameof(A))]
    public string? B
    {
        get => _b;
        set
        {
            _b = value;
            // 当B赋值非null时，自动清空A
            if (value is not null)
                _a = null;
        }
    }
}

这种方式既让编译器能正确做可空性分析，又能确保运行时A和B始终保持互斥状态，避免使用者误赋值导致的逻辑问题。

如果需要更严格的编译时强制检查（禁止同时给两个属性赋值非null），则需要自定义Roslyn代码分析规则，这属于进阶开发工作，原生编译器暂不支持此类约束。

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