为什么C#中的1 && 2是假的？

Question

我对另一个问题感到沮丧.所以我写了这个例子.

在C中,以下是真实的.见演示

int main()
{
printf("%d", 1 && 2);
return 0;
}

输出:

1

在C#中.这是假的.为什么这是假的？此外,我不明白为什么我需要在这个例子中创建bool运算符,但不是在我的另一个问题,但无论如何.为什么以下是假的？对我来说完全是无稽之谈.

这里描述了使得下面的假的逻辑

using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;

namespace ConsoleApplication1
{
    class Program
    {
        static void Main(string[] args)
        {
            MyInt a=1, b=2;
            bool res=a && b;
            Console.WriteLine("result is {0}", res);
        }

        class MyInt
        {
            public int val;
            public static bool operator true(MyInt t) { return t.val != 0; }
            public static bool operator false(MyInt t) { return t.val == 0; }
            public static MyInt operator &(MyInt l, MyInt r) { return l.val & r.val; }
            public static MyInt operator |(MyInt l, MyInt r) { return l.val | r.val; }
            public static implicit operator MyInt(int v) { return new MyInt() { val = v }; }
            public static implicit operator bool(MyInt t) { return t.val != 0; }
        }
    }
}

Answer 1

在C不存在bool.公约就是0现在false和!= 0将来true.if语句处理条件表达式结果就是这样.

在C++ bool介绍中.但是,它与旧规则,兼容0的处理false和false作为0,和之间存在着隐式转换int和bool.

在C#中是不一样的:有bool和int他们是无法转换为海誓山盟.这就是C#标准所说的.期.

因此,当您尝试重新实现bool和int兼容性时,您犯了一个错误.你使用&&这是逻辑运算符,但是在C#中你不能覆盖它而只能覆盖&,它是按位实现的.1 & 2 == 0 == false!这里是!

你甚至不应该超载按位的,以保持兼容性,你只需要离开operator true和false.

此代码按预期工作:

class Programx
{
    static void Main(string[] args)
    {
        MyInt a = 1, b = 2;
        bool res = a && b;
        Console.WriteLine("result is {0}", res);
    }

    class MyInt
    {
        public int val;
        public static bool operator true(MyInt t)
        {
            return t.val != 0;
        }
        public static bool operator false(MyInt t)
        {
            return t.val == 0;
        }
        public static implicit operator MyInt(int v)
        {
            return new MyInt() { val = v };
        }
        public static implicit operator bool(MyInt t)
        {
            return t.val != 0;
        }
    }
}

结果是真的

Answer 2

您的operator&和operator的实现 错了.当应用于整数类型时,这些二元运算符具有逐位含义,并且当应用于具有自己的&和|的布尔类型或类时 运算符,它们具有逻辑AND和OR语义(是&&和||的非短路表兄弟).正确的实现如下:

operator &(MyInt l, MyInt r) {return l.val != 0 && r.val != 0);}
operator |(MyInt l, MyInt r) {return l.val != 0 || r.val != 0);}