近来在完全编译产品的代码时,常常会发现较多的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
![](https://i-blog.csdnimg.cn/blog_migrate/34031c708bfe702fe82d01ff5c6593aa.gif)
{
// some code
}
catch
(SpecialException e)
![](https://i-blog.csdnimg.cn/blog_migrate/34031c708bfe702fe82d01ff5c6593aa.gif)
{
// handle exception
}
问题就是在handle exception这个代码段中,我们很多时候是不需要使用变量e的,除非我们要 显示或 纪录异常的错误描述信息。这时您可能会说,那么为什么要把try/catch定义为上面的形式呢?这样定义不就解决问题了吗?
try
![](https://i-blog.csdnimg.cn/blog_migrate/34031c708bfe702fe82d01ff5c6593aa.gif)
{
// some code
}
catch
![](https://i-blog.csdnimg.cn/blog_migrate/34031c708bfe702fe82d01ff5c6593aa.gif)
{
// 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
![](https://i-blog.csdnimg.cn/blog_migrate/34031c708bfe702fe82d01ff5c6593aa.gif)
{
// some code
}
catch
(SpecialException)
![](https://i-blog.csdnimg.cn/blog_migrate/34031c708bfe702fe82d01ff5c6593aa.gif)
{
// handle exception
}
由此以来,unused variable warning和获取指定类型异常的矛盾就解决了。
原文地址: http://www.cnblogs.com/birdshome/archive/2006/01/22/trycatch.html
从数量上看,unreachable code WARNING总的来说并不多,整个产品也就发现了2~3个,主要是在switch语句的case中使用return代替break后,造成了最后的return形同虚设。其他的warning基本上都来至:以定义的xxx变量从未被使用,并且这类warning又分为了:普通的变量定义和try/catch中的变量定义。对于普通的变量定义后未使用,我们把他们的定义删除就行了,那么try/catch怎么办呢?
try/catch中定义的未使用变量,就是平时我们常见的各种异常类型的e、ex、exp、ext等变量。出现这些warning的一般代码场景为:
![](https://i-blog.csdnimg.cn/blog_migrate/f0cd6c7f9e7ae96feae062cb48f670f0.gif)
![](https://i-blog.csdnimg.cn/blog_migrate/34031c708bfe702fe82d01ff5c6593aa.gif)
![](https://i-blog.csdnimg.cn/blog_migrate/0be121fa5b8988fbabbbc526af3b0fc0.gif)
![](https://i-blog.csdnimg.cn/blog_migrate/b854634c0904529d4018c4c3336be836.gif)
![](https://i-blog.csdnimg.cn/blog_migrate/587e34b10dcf5efbc0859b53470a2db3.gif)
![](https://i-blog.csdnimg.cn/blog_migrate/4fd96b3cf02f4c7b5c8964ac8167f7af.gif)
![](https://i-blog.csdnimg.cn/blog_migrate/f0cd6c7f9e7ae96feae062cb48f670f0.gif)
![](https://i-blog.csdnimg.cn/blog_migrate/34031c708bfe702fe82d01ff5c6593aa.gif)
![](https://i-blog.csdnimg.cn/blog_migrate/0be121fa5b8988fbabbbc526af3b0fc0.gif)
![](https://i-blog.csdnimg.cn/blog_migrate/b854634c0904529d4018c4c3336be836.gif)
![](https://i-blog.csdnimg.cn/blog_migrate/587e34b10dcf5efbc0859b53470a2db3.gif)
![](https://i-blog.csdnimg.cn/blog_migrate/4fd96b3cf02f4c7b5c8964ac8167f7af.gif)
问题就是在handle exception这个代码段中,我们很多时候是不需要使用变量e的,除非我们要 显示或 纪录异常的错误描述信息。这时您可能会说,那么为什么要把try/catch定义为上面的形式呢?这样定义不就解决问题了吗?
![](https://i-blog.csdnimg.cn/blog_migrate/f0cd6c7f9e7ae96feae062cb48f670f0.gif)
![](https://i-blog.csdnimg.cn/blog_migrate/34031c708bfe702fe82d01ff5c6593aa.gif)
![](https://i-blog.csdnimg.cn/blog_migrate/0be121fa5b8988fbabbbc526af3b0fc0.gif)
![](https://i-blog.csdnimg.cn/blog_migrate/b854634c0904529d4018c4c3336be836.gif)
![](https://i-blog.csdnimg.cn/blog_migrate/587e34b10dcf5efbc0859b53470a2db3.gif)
![](https://i-blog.csdnimg.cn/blog_migrate/4fd96b3cf02f4c7b5c8964ac8167f7af.gif)
![](https://i-blog.csdnimg.cn/blog_migrate/f0cd6c7f9e7ae96feae062cb48f670f0.gif)
![](https://i-blog.csdnimg.cn/blog_migrate/34031c708bfe702fe82d01ff5c6593aa.gif)
![](https://i-blog.csdnimg.cn/blog_migrate/0be121fa5b8988fbabbbc526af3b0fc0.gif)
![](https://i-blog.csdnimg.cn/blog_migrate/b854634c0904529d4018c4c3336be836.gif)
![](https://i-blog.csdnimg.cn/blog_migrate/587e34b10dcf5efbc0859b53470a2db3.gif)
![](https://i-blog.csdnimg.cn/blog_migrate/4fd96b3cf02f4c7b5c8964ac8167f7af.gif)
似乎看起来这个修改是正确的,但是这个修改却是十分消极的,因为没有Exception类型的catch,通常都只能放置对错误消极补救的代码,也就是说异常到达这里时,最多是给用户显示一个操作已失败的提示,而不能真正的处理任何问题。同时对于catch语句,Anders在讲Checked Exceptions在C#中的取舍时也说到过,程序员其实大量写下的代码都是catch curly curly而已(就是catch {})。所以我们不该让异常远离了它的context后再去处理,我们需要在可把握的状态最及时地处理异常(除非确实要忽略它),也就是说我们同时必须要俘获确定的异常类型。
在msdn的C#教程中,我们可以看见对于try/catch语句,微软给出的定义示例为:
![](https://i-blog.csdnimg.cn/blog_migrate/f0cd6c7f9e7ae96feae062cb48f670f0.gif)
![](https://i-blog.csdnimg.cn/blog_migrate/f0cd6c7f9e7ae96feae062cb48f670f0.gif)
![](https://i-blog.csdnimg.cn/blog_migrate/f0cd6c7f9e7ae96feae062cb48f670f0.gif)
![](https://i-blog.csdnimg.cn/blog_migrate/f0cd6c7f9e7ae96feae062cb48f670f0.gif)
![](https://i-blog.csdnimg.cn/blog_migrate/f0cd6c7f9e7ae96feae062cb48f670f0.gif)
不幸的是这个教程中的定义是简陋的,而在《C# Language Specification》的"The try statement" Chapter中,try/catch语句定义的EBNF片断为:
![](https://i-blog.csdnimg.cn/blog_migrate/f0cd6c7f9e7ae96feae062cb48f670f0.gif)
![](https://i-blog.csdnimg.cn/blog_migrate/f0cd6c7f9e7ae96feae062cb48f670f0.gif)
![](https://i-blog.csdnimg.cn/blog_migrate/f0cd6c7f9e7ae96feae062cb48f670f0.gif)
![](https://i-blog.csdnimg.cn/blog_migrate/f0cd6c7f9e7ae96feae062cb48f670f0.gif)
![](https://i-blog.csdnimg.cn/blog_migrate/f0cd6c7f9e7ae96feae062cb48f670f0.gif)
![](https://i-blog.csdnimg.cn/blog_migrate/f0cd6c7f9e7ae96feae062cb48f670f0.gif)
![](https://i-blog.csdnimg.cn/blog_migrate/f0cd6c7f9e7ae96feae062cb48f670f0.gif)
![](https://i-blog.csdnimg.cn/blog_migrate/f0cd6c7f9e7ae96feae062cb48f670f0.gif)
![](https://i-blog.csdnimg.cn/blog_migrate/f0cd6c7f9e7ae96feae062cb48f670f0.gif)
![](https://i-blog.csdnimg.cn/blog_migrate/f0cd6c7f9e7ae96feae062cb48f670f0.gif)
![](https://i-blog.csdnimg.cn/blog_migrate/f0cd6c7f9e7ae96feae062cb48f670f0.gif)
![](https://i-blog.csdnimg.cn/blog_migrate/f0cd6c7f9e7ae96feae062cb48f670f0.gif)
![](https://i-blog.csdnimg.cn/blog_migrate/f0cd6c7f9e7ae96feae062cb48f670f0.gif)
![](https://i-blog.csdnimg.cn/blog_migrate/f0cd6c7f9e7ae96feae062cb48f670f0.gif)
![](https://i-blog.csdnimg.cn/blog_migrate/f0cd6c7f9e7ae96feae062cb48f670f0.gif)
![](https://i-blog.csdnimg.cn/blog_migrate/f0cd6c7f9e7ae96feae062cb48f670f0.gif)
注意红色的 identifier[opt],也就是说:class-type后的identifier是optional的,这样一来我们就可以把最初的try/catch语句根据我们需求优化为:
![](https://i-blog.csdnimg.cn/blog_migrate/f0cd6c7f9e7ae96feae062cb48f670f0.gif)
![](https://i-blog.csdnimg.cn/blog_migrate/34031c708bfe702fe82d01ff5c6593aa.gif)
![](https://i-blog.csdnimg.cn/blog_migrate/0be121fa5b8988fbabbbc526af3b0fc0.gif)
![](https://i-blog.csdnimg.cn/blog_migrate/b854634c0904529d4018c4c3336be836.gif)
![](https://i-blog.csdnimg.cn/blog_migrate/587e34b10dcf5efbc0859b53470a2db3.gif)
![](https://i-blog.csdnimg.cn/blog_migrate/4fd96b3cf02f4c7b5c8964ac8167f7af.gif)
![](https://i-blog.csdnimg.cn/blog_migrate/f0cd6c7f9e7ae96feae062cb48f670f0.gif)
![](https://i-blog.csdnimg.cn/blog_migrate/34031c708bfe702fe82d01ff5c6593aa.gif)
![](https://i-blog.csdnimg.cn/blog_migrate/0be121fa5b8988fbabbbc526af3b0fc0.gif)
![](https://i-blog.csdnimg.cn/blog_migrate/b854634c0904529d4018c4c3336be836.gif)
![](https://i-blog.csdnimg.cn/blog_migrate/587e34b10dcf5efbc0859b53470a2db3.gif)
![](https://i-blog.csdnimg.cn/blog_migrate/4fd96b3cf02f4c7b5c8964ac8167f7af.gif)
由此以来,unused variable warning和获取指定类型异常的矛盾就解决了。
原文地址: http://www.cnblogs.com/birdshome/archive/2006/01/22/trycatch.html