【问题标题】:How to make multiplication operator (*) behave as short-circuit?如何使乘法运算符(*)表现为短路?
【发布时间】:2013-04-28 20:03:57
【问题描述】:

我有很多计算,特别是乘法,其中第一部分有时为零,在这种情况下我不想评估第二个操作数。 C# 中至少有两个短路运算符:&&||,它们仅在必要时评估第二个操作数。我想用乘法运算符实现类似的行为。

.net中你不能直接重载&&操作符,但是你可以重载&false操作符,所以你可以使用你的扩展点来改变short-电路操作员。您可以在这篇文章中找到更多详细信息C# operator overloading: the ‘&&’ operator

是否有任何方法可以实现乘法运算符的这种或类似行为?

这是一个纯语法问题,因为实现非常简单。下一个方法在功能方面完全实现了我想要的:

public static double ShortCircuitMultiply(double val, Func<double> anotherValue)
{
    var epsilon = 0.00000001;
    return Math.Abs(val) < epsilon ? 0 : val * anotherValue();
}

注意:此实现不完整:在 C# 中,如果将 0.0Double.NaNDouble.NegativeInfinityDouble.PositiveInfinity,你会得到 NaN,但就 ShortCircuitMultiply 而言 - 只有零。让我们忽略这个细节,它在我的领域真的无关紧要。

所以现在如果我将其称为ShortCircuitMultiply(0.0, longOperation),其中longOperationFunc&lt;double&gt;,则不会评估最后一项,并且操作的结果实际上将为零。

问题是,正如我已经说过的,我会有很多 ShortCircuitMultiply 调用,我想让代码更具可读性。如果可能的话,我希望代码类似于0.0 * longOperation()


另一个注意事项:我尝试在 double 上构建包装器并创建隐式强制转换为 double 并重载 * 运算符。我明白,这可能是多余的:我想实现可读性,但试图构建yet another wrapper。无论如何,下一个代码展示了我的意图:

class MyDouble
{
    double value;
    public MyDouble(double value)
    {
        this.value = value; 
    }

    public static MyDouble operator *(MyDouble left, MyDouble right) 
    {
        Console.WriteLine ("* operator call");
        return new MyDouble(left.value * right.value);
    }

    public static implicit operator double(MyDouble myDouble)
    {
        Console.WriteLine ("cast to double");
        return myDouble.value;
    }

    public static implicit operator MyDouble(double value)
    {
        Console.WriteLine ("cast to MyDouble");
        return new MyDouble(value);
    }
}

现在如果我选择:

MyDouble zero = 0;

Console.WriteLine (zero * longOperation()); //longOperation is still Func<double>

我收到了:

cast to MyDouble            
called longOperation        <-- want to avoid this (it's printed from longOperation body)
cast to double             
cast to MyDouble
* operator call
cast to double   
0

但如您所见,longOperation 早在调用重载运算符之前就已计算,我不能用FuncExpression 替换其中一个参数以使其变得懒惰。

【问题讨论】:

  • 我怀疑这里的答案是“不,你不能这样做 - 除非你在自定义操作符的顶部手动编写短路检查......短路”
  • @MarcGravell by custom operators 你的意思是重载 * 或 ShortCircuitMultiply ?我可能会继续使用ShortCircuitMultiply 实现,只是想知道我是否遗漏了一些重要的东西
  • 你不能避免调用longOperation() - 因为所有编译器都知道这可能会产生副作用,而且简单地说,* 不是设计为是短的-电路 - 旨在始终评估两个操作数
  • 为什么不直接使用&amp; 运算符进行乘法运算?
  • @poke: 是的,&amp; 是正常的乘法,&amp;&amp; 是短路的。

标签: c# operator-overloading short-circuiting


【解决方案1】:

你可以为 double 编写一个扩展方法,但我不确定它是否真的是你想要的。

然后你可以有这样的代码:

double z = someNumberThatMightBeZero();
double r = z.Times(number);

其中number 是一个返回双精度值的方法。

using System;

namespace Demo
{
    class Program
    {
        static void Main(string[] args)
        {
            double z = zero();
            double r = z.Times(number);
            Console.WriteLine(r);
        }

        static double zero()
        {
            return 0;
        }

        static double number()
        {
            Console.WriteLine("in number()");
            return 100;
        }
    }

    public static class DoubleExt
    {
        public static double Times(this double val, Func<double> anotherValue)
        {
            const double epsilon = 0.00000001;
            return Math.Abs(val) < epsilon ? 0 : val * anotherValue();
        }
    }
}

【讨论】:

  • 请注意,我忘记了扩展方法。简单的静态方法ShortCircuitMultiply肯定更好,但不完全z * number
  • 是的,但我认为不可能达到那个理想! :)
【解决方案2】:

没有办法轻松地做你想做的事。 C# 语言是一种非常“急切”的语言,因为它总是在运行运算符之前评估操作数,即使您注意到,您可能会通过了解另一个而跳过一个。唯一的例外是 ? : 及其等价物 &amp;&amp;||??。 (都可以归结为? :。)

正如您正确指出的,您可以通过使用 lambda 来获得惰性; Func&lt;T&gt; 表示将按需计算的 T。但正如您也正确指出的那样,这样做的语法是相当重量级的。

如果您必须使用惰性算术,请考虑使用 Haskell 编写程序。它非常懒惰,我认为定义自己的运算符语义非常容易。 F# 也是一种选择,对于 C# 程序员来说可能更容易学习。

【讨论】:

  • 谢谢埃里克,感谢您的回答。我现在会坚持使用 poke 的替代方案。顺便说一句,现在我已经在学习 F# 并计划在那里实现相同的功能(一些机器学习的东西)。比较两者的源代码会很有趣。
  • 我可能是错的,但我认为“lambda 提升”的含义与您使用它的用途不同。
  • @Pubby:你说得对,我没有完全正确地使用这个词。谢谢!
【解决方案3】:

您的MyDouble 包装类的问题在于您通过直接调用longOperation 来使用它。由于*没有短路,所以会直接调用。

相反,您可以让包装器接受 Func&lt;double&gt; 作为第二个参数,而不是 double 值本身。所以它会像ShortCircuitMultiply 函数一样工作:

public static MyDouble operator *(MyDouble left, Func<double> right)
{
    return Math.Abs(left.value) < epsilon ? new MyDouble(0) : new MyDouble(left.value * right());
}

然后你会这样使用它:

MyDouble x = 0;
Console.WriteLine(x * LongOperation);

甚至链接也有效:

MyDouble x = 5;
Console.WriteLine(x * OperationReturingZero * LongOperation);

完整示例

class Program
{
    static void Main()
    {
        MyDouble x = 0;
        Console.WriteLine(x * LongOperation);

        MyDouble y = 5;
        Console.WriteLine(y * OperationReturningZero * LongOperation);

        Console.ReadLine();
    }

    private static double LongOperation()
    {
        Console.WriteLine("LongOperation");
        return 5;
    }

    private static double OperationReturningZero()
    {
        Console.WriteLine("OperationReturningZero");
        return 0;
    }
}

class MyDouble
{
    private static double epsilon = 0.00000001;
    private double value;

    public MyDouble(double value)
    {
        this.value = value;
    }

    public static MyDouble operator *(MyDouble left, Func<double> right)
    {
        Console.WriteLine("* (MyDouble, Func<double>)");
        return Math.Abs(left.value) < epsilon ? new MyDouble(0) : new MyDouble(left.value * right());
    }

    public static MyDouble operator *(MyDouble left, MyDouble right)
    {
        Console.WriteLine("* (MyDouble, MyDouble)");
        return new MyDouble(left.value * right.value);
    }

    public static implicit operator double(MyDouble myDouble)
    {
        Console.WriteLine("cast to double");
        return myDouble.value;
    }

    public static implicit operator MyDouble(double value)
    {
        Console.WriteLine("cast to MyDouble");
        return new MyDouble(value);
    }
}

输出:

cast to MyDouble
* (MyDouble, Func<double>)
cast to double
0
cast to MyDouble
* (MyDouble, Func<double>)
OperationReturningZero
* (MyDouble, Func<double>)
cast to double
0

【讨论】:

  • 正是我的想法,创建一个operator ** 的重载),其右操作数是一个委托。当然,这只是他已经伪装的ShortCircuitMultiply方法,但它允许使用中缀语法a * MethodToGetBa * (() =&gt; heavyExpression)
  • 谢谢,我现在会尽量坚持使用MyDouble operator *(MyDouble left, Func&lt;double&gt; right) 解决方案。希望MyDouble 不会给双打的开发增加摩擦
【解决方案4】:

我能看到的最接近的是这样的:

  struct LazyDouble {
    Func<double> Func;

    public LazyDouble(Func<double> func) : this() { Func = func; }

    public static implicit operator LazyDouble (double value) { 
      return new LazyDouble(()=>value); 
    }

    public static LazyDouble operator * (LazyDouble lhs, LazyDouble rhs) {
      var lhsValue = lhs.Func();
      if ( lhsValue == 0)
        return 0;
      else 
        return new LazyDouble(() => lhsValue * rhs.Func());
    }
    // other operators as necessary
  }

【讨论】:

  • 未定义除以零。
  • 然而,会计师经常使用像a / (a + b) 这样的表达式,在他们的工作表上显示为 0,传播为 0。借方和贷方的使用可以让我们知道 a 和 b 都是正数,因此分母 == 0 意味着分子也 == 0。在这种情况下,定义 正确除以 0 等于 0。
  • 如果 a 和 b 都是正数 (&gt; 0),那么 a + b 不能为零。如果你想短路到零,因为你知道股息 (a) 为零,那么只需检查那个,而不是突然定义一个 undefined operation
  • 另外,您在每个运算符中对函数进行两次评估。当LongOperation 确实是一个 long 操作时,这似乎是一个糟糕的主意;或者如果它可能有一些额外的副作用。
  • @poke:谢谢;见更新。借方和贷方正数或零(某些系统的特定情况除外,当它们仅对非常特定的交易可能为负数时,恰好取消另一个已经存在的交易)。
猜你喜欢
  • 1970-01-01
  • 2011-03-07
  • 2018-06-14
  • 1970-01-01
  • 1970-01-01
  • 1970-01-01
  • 2012-04-27
  • 1970-01-01
  • 2012-02-04
相关资源
最近更新 更多