可空引用类型 - 通过接受的参数返回类型可空性

Question

我有一个方法，Foo，它接受一个字符串。如果字符串为空，它会做一些事情，如果不是，它会做一些其他事情（null 是一个有效值）。然后它返回相同的字符串。

这是在 C# 8.0 中具有可空引用类型已禁用的 Foo：

string Foo(string s)
{
    // Do something with s.
    return s;
}

void Bar()
{
    string s = "S";
    string s2 = Foo(s);

    string n = null;
    string n2 = Foo(n);
}

启用可空引用类型后，string n = null 会发出警告。这是有道理的，因为 string 不再可以为空。我将其类型转换为string?:

void Bar()
{
    string s = "S";
    string s2 = Foo(s);

    string? n = null; // X
    string? n2 = Foo(n);
}

现在Foo(n) 警告我 Foo 对可空字符串的新厌恶。这也很有意义 - Foo 应该接受一个可为空的字符串，因为它同时支持空值和非空值。我更改了它的参数，因此返回类型为string?：

string? Foo(string? s)
{
    // Do something with s.
    return s;
}

这次是 string s2 = Foo(s)，抱怨 Foo 返回了 string?，而我试图将其分配给 string。

有没有办法让流分析理解这样一个事实，即当我向 Foo 提供 string（而不是 string?）时，它的返回值不能为空？

Answer 1

这可以使参数s不为空时返回值不为空。

// using System.Diagnostics.CodeAnalysis;

[return: NotNullIfNotNull("s")]
string? Foo(string? s)
{
    // Do something with s.
    return s;
}

Answer 2

是的，只有两种方法。一个接受string? 并返回string?，另一个接受string 并返回string。您可能希望根据后者来实现前者（检查 null，如果非 null，则调用其他方法，否则，处理 null 情况）。

拥有两种方法可以确保返回类型因输入类型而异。