为什么我的变量仍然是“未初始化”？

Question

string foo; 
try 
{ 
    foo = "test"; // yeah, i know ... 
} 
catch // yeah, i know this one too :) 
{ 
    foo = null; 
} 
finally 
{ 
    Console.WriteLine(foo); // argh ... @#! 
} 
Console.WriteLine(foo); // but nothing to complain about here 

除了它不是BP（捕捉路由） - 但这是我能得到的最好的隔离。
但是我收到了很好的信息，告诉我“危险，危险 - 可能未初始化”。 怎么回事？

编辑：
请不要建议“简单地说一个string foo = string.Empty;在‘声明’”。我想宣布它，但只是按时完成任务！

Answer 1

从C＃规范（5.3.3.14）一些背景资料：

对于形式的try语句stmt：

试试块终于最后 - 块

（...）

终止块 开始处v的明确赋值状态与在 stmt开头的v的明确赋值状态相同。

编辑尝试捕获，最后（5.3.3.15）：

仿佛语句是一个拉升一个try-catch-finally语句（...） 明确赋值分析完成 - 最后陈述包围 try-catch语句

下面的例子演示了尝试 语句（第8.10节）的不同块如何影响明确赋值。

class A 
{ 
    static void F() 
    { 
    int i, j; 
    try { 
     goto LABEL; 
     // neither i nor j definitely assigned 
     i = 1; 
     // i definitely assigned 
    } 
    catch { 
     // neither i nor j definitely assigned 
     i = 3; 
     // i definitely assigned 
    } 
    finally { 
     // neither i nor j definitely assigned 
     j = 5; 
     // j definitely assigned 
    } 
    // i and j definitely assigned 
    LABEL:; 
    // j definitely assigned 
    } 
} 

我只是在想说明什么问题更好的例子：

int i; 
try 
{ 
    i = int.Parse("a"); 
} 
catch 
{ 
    i = int.Parse("b"); 
} 
finally 
{ 
    Console.Write(i); 
} 

Answer 2

尝试

string foo = string.Empty; 

Answer 3

你必须在第一线更改为string foo = null或根据需要初始化。就编译器而言，在try块中初始化foo之前可能会有异常，并且捕获也可能不会发生。

Answer 4

试试这个：

string foo = null; 
try 
{ 
    foo = "test"; // yeah, i know ... 
} 
catch // yeah, i know this one too :) 
{ 
} 
finally 
{ 
    Console.WriteLine(foo); // argh ... @#! 
} 
Console.WriteLine(foo); // but nothing to complain about here 

Answer 5

在类级别声明您string foo它会解决这个问题

编辑：或

string foo = "default"; 
try 
{ 
    foo = "test"; 
} 
catch (Exception) 
{ 
    foo = null; 
} 
finally 
{ 
    Console.WriteLine(foo); 
} 

Answer 6

我认为问题可能是有都try和catch抛出异常的情况。在这种情况下，finally应仍然可以达到，但未初始化foo。因为在那种情况下，其余的代码将不会被触及（在catch区块中引发的例外将使我们脱离finally之后的方法），但这对于finally之后的代码没有任何问题。该代码只能在try或catch块运行时才能达到。

因为总是有每一个分配给foo抛出异常，并且因为在这种情况下，finally块总是想运行的情况下，总有foo未初始化的可能性。

据我所知，唯一的解决办法是为foo提供初始化值。