消除由try/catch语句带来的Warning

近来在完全编译产品的代码时，常常会发现较多的warning散布在各个project中。虽然绝大多数的warning并不对程序产生太多的影响，但是作为一个好的产品，0 warning也应该是developer起码的追求。于是我挨个察看这些warning，发现基本都是变量定义后未使用和少量的unreachable code。

    从数量上看，unreachable code WARNING总的来说并不多，整个产品也就发现了2~3个，主要是在switch语句的case中使用return代替break后，造成了最后的return形同虚设。其他的warning基本上都来至：已定义的xxx变量从未被使用，并且这类warning又分为了：普通的变量定义和try/catch中的变量定义。对于普通的变量定义后未使用，我们把他们的定义删除就行了，那么try/catch怎么办呢？

    try/catch中定义的未使用变量，就是平时我们常见的各种异常类型的e、ex、exp、ext等变量。出现这些warning的一般代码场景为：

try
{
    // some code
}
catch(SpecialException e)
{
    // handle exception
}

    问题就是在handle exception这个代码段中，我们很多时候是不需要使用变量e的，除非我们要显示或纪录异常的错误描述信息。这时您可能会说，那么为什么要把try/catch定义为上面的形式呢？这样定义不就解决问题了吗？

try
{
    // some code
}
catch
{
    // handle exception
}

// not any warning due to case above

    似乎看起来这个修改是正确的，但是这个修改却是十分消极的，因为没有Exception类型的catch，通常都只能放置对错误消极补救的代码，也就是说异常到达这里时，最多是给用户显示一个操作已失败的提示，而不能真正的处理任何问题。同时对于catch语句，Anders在讲Checked Exceptions在C#中的取舍时也说到过，程序员其实大量写下的代码都是catch curly curly而已（就是catch {}）。所以我们不该让异常远离了它的context后再去处理，我们需要在可把握的状态最及时地处理异常（除非确实要忽略它），也就是说我们同时必须要俘获确定的异常类型。

    在msdn的C#教程中，我们可以看见对于try/catch语句，微软给出的定义示例为：

try try-block 
catch (exception-declaration-1) catch-block-1 
catch (exception-declaration-2) catch-block-2 
...
try try-block catch catch-block

    不幸的是这个教程中的定义是简陋的，而在《C# Language Specification》的"The try statement" Chapter中，try/catch语句定义的EBNF片断为：

try-statement: 
    try block catch-clauses
    try block finally-clause
    try block catch-clauses finally-clause 
catch-clauses: 
    specific-catch-clauses general-catch-clause[opt]
    specific-catch-clauses[opt] general-catch-clause 
specific-catch-clauses: 
    specific-catch-clause
    specific-catch-clauses specific-catch-clause 
specific-catch-clause: 
    catch ( class-type  identifier[opt] ) block 
general-catch-clause: 
    catch block 
finally-clause: 
    finally block

    注意红色的identifier[opt]，也就是说：class-type后的identifier是optional的，这样一来我们就可以把最初的try/catch语句根据我们需求优化为：

try
{
    // some code
}
catch(SpecialException)
{
    // handle exception
}

    由此以来，unused variable warning和获取指定类型异常的矛盾就解决了。