空传播运算符，输出参数和错误的编译器错误？

Question

假设我有一个类，其属性类型为Dictionary<string,string>，它可能为空。

这可以编译，但对 TryGetValue() 的调用可能会在运行时引发 NullRef 异常：

MyClass c = ...;
string val;
if(c.PossiblyNullDictionary.TryGetValue("someKey", out val)) {
    Console.WriteLine(val);
}

所以我添加了一个空传播运算符来防止空值，但这不会编译：

MyClass c = ...;
string val;
if( c.PossiblyNullDictionary ?. TryGetValue("someKey", out val) ?? false ) {

    Console.WriteLine(val); // use of unassigned local variable

}

是否存在val 在if 块内未初始化的实际用例，或者编译器不能简单地推断出这一点（以及为什么）？

更新：最干净的 (?) 解决方法^H^H^H^H^H 解决这个问题是：

MyClass c = ...;
string val = null; //POW! initialized.
if( c.PossiblyNullDictionary ?. TryGetValue("someKey", out val) ?? false ) {

    Console.WriteLine(val); // no more compiler error

}

Answer 1

您似乎遇到了编译器对 ?. 和 ?? 理解的限制，这并不奇怪，因为它们并没有真正完全融入语言中。

如果您在没有较新的运算符的情况下使您的测试显式，编译器会同意您的意见：

MyClass c = new MyClass();
string val;
if (c.PossiblyNullDictionary != null && c.PossiblyNullDictionary.TryGetValue("someKey", out val)) {
    Console.WriteLine(val); // now okay
}

Answer 2

通过将 val 初始化为一个 erhm 值（例如，String.Empty），编译器能够理解空运算符的意图并按预期运行（通过 LINQPad，natch）：

void Main()
{
    MyClass c = new MyClass();
    string val = string.Empty;
    if (c.PossiblyNullDictionary?.TryGetValue("someKey", out val) ?? false)
    {

        Console.WriteLine(val);

    }
}
public class MyClass {
    public Dictionary<string, string> PossiblyNullDictionary;
}
// Define other methods and classes here

Ed：'grok the intent' 我的意思是，如果编译器允许执行离开当前范围且 val 未初始化，则编译器无法对程序的特性做出重要保证。当它评估空运算符时，方法调用。

您要求的用例是这样的： 假设我们有 bool SomeMethod(string s, out v) 而不是 TryGetValue。假设当被调用时，SomeMethod 很调皮，只是有一个 return true; 的主体。编译器将方法调用主体视为不透明的（因为它可能并不总是在编译器可用/可见的程序集中），因此它得出结论，无法证明 val 曾经被初始化。

编辑： 针对一些 cmets，我想更新我的回答，指出这种行为并非特定于 ?? 或 ?. C# 语言功能；您只需使用三元表达式即可重现相同的效果：

c.PossiblyNullDictionary == null ? 
    false : 
    c.PossiblyNullDictionary.TryGetValue("someKey", out val) 
 //error: use of possibly uninitialized local variable

Answer 3

这是因为如果 c.PossiblyNullDictionary 为 null，则不会执行 TryGetValue，并且该表达式不会返回 true 或 false。

c.PossiblyNullDictionary ?。 TryGetValue("someKey", out val) 返回 Nullable，你可以用这样的代码替换你的代码并编译：

        string val;
        var result = c.PossiblyNullDictionary?.TryGetValue("key", out val);
        if (result.HasValue && result.Value)
        {

        }