메소드가 필드에서 실제로 널 점검임을 C # 널 입력 가능 참조에 알릴 수 있습니까?

다음 코드를 고려하십시오.

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

Name = Name.ToUpper ()에서 Name이 가능한 null 참조라는 경고가 표시됩니다. HasName을 인라인하여이 경고를 치료할 수 있으므로 조건은 if (Name! = null)입니다.

컴파일러에 HasName의 진정한 응답이 Name에 대해 null이 아닌 제약 조건을 암시한다고 지시 할 수있는 방법이 있습니까?

HasName이 실제로 훨씬 더 많은 것을 테스트 할 수 있기 때문에 중요하며 여러 곳에서 사용하거나 API 표면의 공개 부분이 될 수 있습니다. null 검사를 자체 방법으로 인수 화해야하는 많은 이유가 있지만 그렇게하면 nullable 참조 검사기가 깨지는 것 같습니다.

나는 다른 속성을 둘러 보았고 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();
    }
}

꽤 번거로워 보입니다. nullable 속성 에 대해서는 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();
        }
    }
}