Tôi có thể nói với C # nullable tham khảo rằng một phương thức thực sự là kiểm tra null trên một trường

Hãy xem xét các mã sau đây:

#nullable enable
class Foo
{
    public string? Name { get; set; }
    public bool HasName => Name != null;
    public void NameToUpperCase()
    {
        if (HasName)
        {
            Name = Name.ToUpper();
        }
    }
}

Trên Name = Name.ToUpper () tôi nhận được một cảnh báo rằng Tên là một tham chiếu null có thể, rõ ràng là không chính xác. Tôi có thể chữa cảnh báo này bằng cách nội tuyến HasName để điều kiện là if (Name! = Null).

Có cách nào tôi có thể chỉ dẫn cho trình biên dịch rằng một phản hồi thực sự từ HasName ngụ ý ràng buộc không vô hiệu đối với Tên không?

Điều này rất quan trọng vì HasName thực sự có thể kiểm tra nhiều thứ hơn nữa và tôi có thể muốn sử dụng nó ở một số nơi hoặc nó có thể là một phần công khai của bề mặt API. Có nhiều lý do để muốn đưa yếu tố kiểm tra null vào phương thức riêng của nó, nhưng làm như vậy dường như phá vỡ trình kiểm tra tham chiếu nullable.

Tôi nhìn xung quanh các thuộc tính khác nhau System.Diagnostics.CodeAnalysisvà tôi không thể tìm thấy bất cứ điều gì có thể áp dụng, điều này rất đáng thất vọng. Gần nhất bạn có thể nhận được những gì bạn muốn dường như là:

public bool TryGetName([NotNullWhen(true)] out string? name)
{
    name = Name;
    return name != null;
}

public void NameToUpperCase()
{
    if (TryGetName(out var name))
    {
        Name = name.ToUpper();
    }
}

Nó trông khá cồng kềnh, tôi biết. Bạn có thể nhìn vào các tài liệu MSDN cho các thuộc tính nullable , có thể bạn sẽ tìm thấy thứ gì đó gọn gàng hơn.

Chuỗi là một loại tham chiếu và nullable (ví dụ int?) là các loại giá trị nullable. Vì vậy, bạn không thể thực sự làm điều này string? myString; Những gì bạn cần là đây:

class Foo
{
    public string Name { get; set; }
    public bool HasName => !String.IsNullOrEmpty(Name);  ////assume you want empty to be treated same way as null
    public void NameToUpperCase()
    {
        if (HasName)
        {
            Name = Name.ToUpper();
        }
    }
}