false和true重载出现了问题?

Question

using System; public struct DBBool {   public static readonly True = new DBBool(1);   public static readonly False = new DBBool(-1);   public static readonly Null = new DBBool(0);   private sbyte value;   private DBBool(int val) { value = val; }   public static implicit operator DBBool(bool x)   {       return x ? True : False;   }   public static explicit operator bool(DBBool x)   {       return x.value > 0;   }   public static DBBool operator &(DBBool x , DBBool y)   {       return new DBBool(//...);   }   public static DBBool operator |(DBBool x , DBBool y)   {       return new DBBool(//...);   }   public static bool operator true(DBBool x)   {       return x.value > 0;   }   public static bool operator false(DBBool x)   {       return x.value < 0; //这里出现了问题   }     public static DBBool operator !(DBBool x)     {       return new DBBool(-x.value);     } } public class Test {   static void Main()     {       DBBool blTrue = true;       DBBool blFalse = false;       if(blTrue) //(1)         Console.WriteLine("OK"); //可以执行.       if(blFalse) //(2)         Console.WriteLine("OK");  //为什么这里不能执行?       if(!blFalse) //(3)         Console.WriteLine("OK"); //可以执行.     } } (2)在进行if判断时,本来在底层的false运算符内部原以为可以返回true呢? 但是从实际测试后角度出发,预期效果感觉不是按照定义的那样执行结果! 由于重载了运算符"!",从(3)if判断中又可以正常执行,所以使我更加糊涂了!   在(2)中重载的false运算符执行了吗?那么为什么不能返回true呀?   请详细回答!!!!!!!

Answer 1

根据C#语言规范7.20节的描述：对于需要布尔表达式的语句，如if、while、do、for等，都需要布尔表达式的类型重载explicit bool或operator true。也就是说对于这些语句，所执行的都是operator true的重载，因此LZ的（2）执行的是operator true，没有执行operator false。

那么operator false什么时候执行呢？在执行&&操作时，会首先调用operator false来判断是否为false，若是则直接跳出；在执行||操作时，会首先调用operator true来判断是否为true，若是则直接继续执行。LZ可以通过调试来验证这些结论。

此外，operator true和operator false必须成对出现。

Answer 2

对于需要布尔表达式的语句，如if、while、do、for等，执行的都是operator true的重载