使用未分配的局部变量。但总是陷入任务

Question

有了这段代码，我不明白为什么如果在finally块中分配一个变量不明白它总是会被分配。我认为我缺少一个不会分配货币的有效选项。如果你知道，就会很好地理解为什么。非常感谢！

谢谢！

CurrencyVO currency;

try
{
     if (idConnection.HasValue && idConnection != 0)
     {
         currencyConnection = client.GetConnection(idConnection.Value);
         model.Connection = currencyConnection;
     }
     else 
     {
         int providerUserKey = (int)Models.UserModel.GetUser().ProviderUserKey;
         currencyConnection = client.GetConnection(providerUserKey);
     }                        
     currency = model.Currencies.SingleOrDefault(c => c.IdCountry == currencyConnection.idcountry) ?? new CurrencyVO();    
} 
catch
{
      currency = new CurrencyVO();                    
} 
finally
{
      model.PublishedContainer.Currency = currency;
}

错误发生在finally块上。如果我像这样将它从finally块中取出：

                } catch {
                    currency = new CurrencyVO();
                }
                model.PublishedContainer.Currency = currency;

它工作正常。

Answer 1

C# 编译器执行的明确赋值跟踪不一定执行完整的分析（这在一般情况下是不可能的） - 有一些规则限制编译器执行的分析的复杂程度。此处涵盖 finally 块的规则记录在 http: //msdn.microsoft.com/en-us/library/aa691181.aspx：

对于以下形式的 try 语句 stmt：

try try-block finally finally-block

• try-block开头的v的明确赋值状态与v在try-block处的明确赋值状态相同
  stmt 的开头。
• finally-block 开头的 v 的明确赋值状态与位于 v 的明确赋值状态相同
  stmt的开头。
• ...

因此，对于您的特定示例，由于 currency 未在 try 块的开头明确分配，因此它被认为在该块的开头未明确分配finally 块。

Answer 2

如果 newCurrencyVO() 在 catch 块中引发异常怎么办？啊哈！

Answer 3

您可以在不符合语言规范的情况下推理出它。这里的失败模式是catch块中的语句可以抛出异常。 C# 很可能支持在构造函数中抛出异常。但一般来说，任何语句都可能引发异常。这将使变量未初始化。 finally 块中的赋值将始终执行。在这种情况下，请使用未初始化的变量。

如果相关的话，您需要考虑在这种情况下会发生什么。但明显的解决方法是简单地将变量显式初始化为 null。

Answer 4

您正在 catch 块内创建一个新的 CurrencyVO 对象：该对象仅在出现错误/异常时才会执行。因此，如果没有遇到异常：currency 变量将不会被分配。这就是为什么你不能使用它。

编辑：对要编译的代码进行以下更改：

CurrencyVO currency = null;

最后：

if (currency != null)
   model.PublishedContainer.Currency = currency;

http://social.msdn.microsoft.com/forums/en-US/netfxbcl/thread/a994a0ff-432b-4d23-b7d2-838b0b961de0