&&运算符重载和C＃中的赋值 - 澄清？

Question

这个非常有趣的问题源自这个问题 -

我想退后一步 （删除动态环境）：

看看这段代码:( _{这个的一个变种} ）

void Main()
{
    int a;
     int b = 100;
    Console.WriteLine(X.M(1, out a));

}

public class X
{
    public  int H=0;

    public static X M(int x, out int y)
    {
        Console.WriteLine("x = "+x);
        y = x;
        return new X(x);
    }

    public X(){}

    public X(int h)
    {
        H=h;
    }

    public static bool operator false(X x)     {Console.WriteLine("in false operator for "+ x.H); return true; }
    public static bool operator true(X x)      {Console.WriteLine("in true operator for "+ x.H); return true; }
    public static X operator &(X a, X b)       {Console.WriteLine("in & operator for "+ a.H+","+b.H);   return new X(); }
    public static implicit operator bool (X x) {Console.WriteLine("in bool operator for "+ x.H);return true; }
}

结果是：

x = 1
in bool operator for 1
True

这是理解的：

• x = 1来自方法本身（使用Console.Writeline ）
• in bool operator for 1是从X到Bool的隐式运算符（所以 - Console.WriteLine将整个表达式视为Console.Writeline(bool) ）
• 最后一个“True”来自operator bool (X x)的“return true” operator bool (X x)

好的 - 让我们改变吧

Console.WriteLine(X.M(1, out a));

至

Console.WriteLine(X.M(1, out a) &&  X.M(2, out b));

现在 - 结果是：

x = 1
in false operator for 1
in bool operator for 1
True

2个问题 ：

1. 为什么in false operator for 1执行此in false operator for 1 ？ 我看不出有任何理由为false是在座。

2. 我能理解为什么XM(1, out a) && XM(2, out b)的正确部分XM(1, out a) && XM(2, out b)只有在左边部分为false才会执行 - 但我再也看不到左边部分是如何假的。 它确实返回true （根据我的第一个代码）

NB

我已多次阅读帖子的答案：

乔恩说：

第二个&&是两个bool表达式之间的正常&& - 因为Nop返回bool，并且没有＆（X，bool）运算符......但是从X转换为bool。

所以它更像是：

bool first = XM（1，out a）&& XM（2，out b）;
if（first && Nop（a，b））

现在首先是正确的，即使只评估了&&的第一个操作数...所以b实际上还没有被分配。

我仍然不明白： “首先是true （????），即使只评估了&&的第一个操作数”

Answer 1

首先，不要忘记这是故意奇怪的代码，用于找到一个角落案例。 如果你在真正的程序中找到一个行为类似的类型，找到作者并用它们一个安静的单词。

我仍然不明白：“首先是真的（????），即使只评估了&&的第一个操作数”

是的，因为在操作数不是bool的情况下处理&&操作数的方式。 它在C＃规范的7.12.2节中规定：

操作x && y被评估为T.false(x) ? x : T.&(x, y) T.false(x) ? x : T.&(x, y)其中T.false(x)是在T声明的operator false的调用，并且T.&(x, y)是&所选运算符的调用。 换句话说，首先计算x并在结果上调用operator false以确定x是否肯定为false。 然后，如果x肯定是假的，则操作的结果是先前为x计算的值。 否则，计算y ，并且对先前为x计算的值和为y计算的值调用所选operator &以生成操作的结果。

所以，按顺序：

• 调用XM(1, out a)来获得结果 - 暂时将其命名为op1
• 接下来调用X.false(op1) ，并返回true
• 然后通过上面的结果，表达式XM(1, out a) && XM(2, out b)是op1
• 接下来，调用从op1到bool的转换值，并返回true 。 这是由于Console.WriteLine重载解决方案。

回答你的具体困惑：

但我再也看不到左边的部分是如何假的。它确实返回true（根据我的第一个代码）

它返回一个值，这多少有些矛盾-它是false ，该false运算符返回true ，但它是true ，该转换到bool回报true 。 一旦你理解了它是false运算符返回的值，它确定是否要计算&&的第二个操作数，它应该都是清楚的。