在 C# 中定义 F# '**' 运算符

Question

我看到 F# 使用 ** 运算符作为幂，所以 2 ** 5 = 32。这与 C# 不同，在 C# 中，您可以选择在自定义类型中使用 '^' 运算符，但由于某种原因，内置数字类型不使用它。

但是如何在 C# 中实现 ** 运算符以在 F# 项目中使用？

如果我在 C# 中这样做：

public static Integer operator ^(Integer left, Integer right)
{
    if (Integer.IsNaN(left) || Integer.IsNaN(right)) return NaN;
    return left.RaiseToPower(right);
}

它编译得很好，我可以像使用“+”运算符一样使用它，但是这些都不能在 F# 中工作：

let intgr3 = intgr1 ** intgr2

let intgr3 = intgr1 ^ intgr2

而在 C# 中，这是行不通的：

public static Integer operator **(Integer left, Integer right)
{
    if (Integer.IsNaN(left) || Integer.IsNaN(right)) return NaN;
    return left.RaiseToPower(right);
}

那么如何在 C# 中定义 ** 运算符的 F# 等效项？
谢谢。

Answer 1

正如我在 cmets 中所说，C# 不允许您定义新的运算符，** 不是 C# 中的运算符。 ^ 是一个运算符，但它是逻辑 XOR 运算符，而不是求幂运算符。这给了我一个提示，即 F# 可能会将您的 C# 运算符转换为本机 F#（^^^ 用于逻辑 XOR）。

所以，我创建了几个测试项目并使用您对 ^ 的定义，这是我在 F# 中找到的：

open CSLib // CSLib is the C# library

let ( ** ) (x : Integer) (y : Integer) = x.RaiseToPower y

let x = new Integer()
let y = new Integer()

let a = x ^ y // error
let b = x ^^^ y // compiles, but looks like XOR
let c = x ** y // compiles

您可以在 F# 中定义新的全局运算符，但是如果您希望这是一个可能无法接受的通用库。

您可以通过在 C# 库中的 Integer 类型中定义公共静态方法 Pow 来定义在 F# 中使用的 Exponentiation 运算符：

public static Integer Pow(Integer left, Integer right)
{
    if (Integer.IsNaN(left) || Integer.IsNaN(right)) return NaN;
        return left.RaiseToPower(right);
}

然后，您可以直接在 F# 中以 ** 的形式使用它。我会注意到 C# 中的重载运算符不是惯用的，因此拥有 Pow 方法对于 C# 用户来说似乎很自然。

Answer 2

我认为您不能为对象定义 ** 运算符的原因是这不是该语言支持的运算符之一。这不是公认的运营商.. 为什么不只使用数学库 http://msdn.microsoft.com/en-us/library/system.math.pow.aspx