static void Main(string[] args) 
{ 
DataSet ds = null; 
if (false && ds.Tables[0].Rows.Count > 0) 
{ 
Console.WriteLine("Fuck"); 
} 
else 
{ 
Console.WriteLine("Shit"); 
} 
if (true && ds.Tables[0].Rows.Count > 0) 
{ 
Console.WriteLine("WOW"); 
} 
else 
{ 
Console.WriteLine("KAO"); 
} 
Console.ReadKey(); 
} 
 
这段代码乍看没问题，并且在运行时也给出了我们期望的结果，即第一段语句

private static void Main(string[] args) 
{ 
DataSet ds = null; 
Console.WriteLine("Shit"); 
if (ds.Tables[0].Rows.Count > 0) 
{ 
Console.WriteLine("WOW"); 
} 
else 
{ 
Console.WriteLine("KAO"); 
} 
Console.ReadKey(); 
} 
 
其实，如果你仔细观察，在输入这段代码的过程中，VS就已经提示if (false && ds.Tables[0].Rows.Count > 0)中，后者是不可达的。这是即时编译的效果。既然即时编译说后面的代码不可达，就意味着不可达的代码会在编译期被切掉。因此，刚才我们在上面看到的编译结果也就是自然的事情了。 
同样，如果你直接把1 == 0, 1 == 1这样的条件拼上去的话，编译器也会发现的。所以我们要找一种不会被编译器发现的写法，要让我们的条件判定代码只能在运行时执行，而不是编译时被调整。比如下面这种： 
 代码如下:

static void Main(string[] args) 
{ 
DataSet ds = null; 
int i = 0; 
int j = 1; 
if (i + j == 0 && ds.Tables[0].Rows.Count > 0) 
{ 
Console.WriteLine("Fuck"); 
} 
else 
{ 
Console.WriteLine("Shit"); 
} 
if (i + j == 1 && ds.Tables[0].Rows.Count > 0) 
{ 
Console.WriteLine("WOW"); 
} 
else 
{ 
Console.WriteLine("KAO"); 
} 
Console.ReadKey(); 
} 
 
我们再来执行，发现这次的结果是真正意义的满足了我们的目的，说明了当多个条件进行逻辑与的时候，C#的执行机制： 

写这篇文章的意义，是为了让大家在写程序的时候，注意条件中可能发生异常的地方。比如我们模拟String.IsNullOrEmpty()。 
在or关系中，只要有一个true，整个表达式就是true了。但如果你让可能引发异常的语句先于之后会返回true的语句执行，就会爆。 
比如这样写的话会爆，因为判断Length的前提是得有个string： 
 代码如下:

public static bool IsNullOrEmpty(string str) 
{ 
if (str.Length == 0 || str == null) 
{ 
return true; 
} 
return false; 
} 
 

 
这样写就正常： 
 代码如下:

public static bool IsNullOrEmpty(string str) 
{ 
if (str == null || str.Length == 0) 
{ 
return true; 
} 
return false; 
} 
 

微软是这样写的，碉堡了！ 
 代码如下:

public static bool IsNullOrEmpty(string value) 
{ 
if (value != null) 
{ 
return (value.Length == 0); 
} 
return true; 
} 
 
上面这段代码可以用reflector打开mscorlib中的System.String找到～
 
 




下载本文