消除由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和获取指定类型异常的矛盾就解决了。

原文地址：http://www.cnblogs.com/birdshome/archive/2006/01/22/trycatch.html