ฉันสามารถบอกอ้างอิง C # nullable ว่าวิธีการตรวจสอบเป็นโมฆะได้อย่างมีประสิทธิภาพในเขตข้อมูล

พิจารณารหัสต่อไปนี้:

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

ในการชื่อ = ชื่อ. ToUpper () ฉันได้รับคำเตือนว่าชื่อเป็นการอ้างอิงโมฆะที่เป็นไปได้ซึ่งไม่ถูกต้องชัดเจน ฉันสามารถแก้ไขคำเตือนนี้ได้โดยการใช้ HasName ดังนั้นเงื่อนไขก็คือ (Name! = null)

มีวิธีใดบ้างที่ฉันสามารถสั่งให้คอมไพเลอร์ได้ว่าการตอบสนองที่แท้จริงจาก HasName แสดงถึงข้อ จำกัด ที่ไม่สามารถลบล้างได้ในชื่อ?

นี่เป็นสิ่งสำคัญเนื่องจาก HasName อาจทดสอบสิ่งต่าง ๆ มากมายและฉันอาจต้องการใช้ในหลาย ๆ ที่หรืออาจเป็นส่วนสาธารณะของพื้นผิว API มีหลายเหตุผลที่ต้องการให้แฟคเตอร์ตรวจสอบโมฆะเป็นวิธีของตัวเอง แต่การทำเช่นนั้นดูเหมือนว่าจะทำลายตัวตรวจสอบการอ้างอิงที่เป็นโมฆะ

ฉันมองไปรอบ ๆ คุณลักษณะที่แตกต่างจากSystem.Diagnostics.CodeAnalysisและฉันไม่สามารถหาสิ่งที่ใช้งานได้ซึ่งน่าผิดหวังมาก สิ่งที่ใกล้เคียงที่สุดที่คุณจะได้รับคือสิ่งที่คุณต้องการ:

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

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

ฉันรู้ว่ามันดูค่อนข้างยุ่งยาก คุณสามารถดูเอกสาร MSDN สำหรับแอตทริบิวต์ที่เป็นค่าว่างได้บางทีคุณอาจพบบางสิ่งที่น่าสนใจ

สตริงเป็นประเภทอ้างอิงและ nullable (เช่นint?) เป็นประเภทค่า nullable ดังนั้นคุณจึงไม่สามารถจริงๆทำเช่นนี้string? myString; สิ่งที่คุณต้องการคือ:

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();
        }
    }
}