如何使用重载的静态运算符-Java 学习之路

我在F＃中编写了一个小的矩阵库（主要是包装器方法），并且有关于静态操作符方法重载的问题，F＃选择了一个我不想要的重载 .

我有一个模块，我已经定义了矩阵与向量的右乘法：

[<AutoOpen>]
module MatrixOps =

let (*) (matrix : IMatrix) (vector : IVector) =
    (...)

这让我可以写下像A * v其中A是IMatrix，v是IVector . 但是，我现在在上面的let-binding下面添加以下行：

let z = 1.0 * 2.0

然后，F＃编译器将此识别为错误 . 将鼠标悬停在“1.0”上，我得到：“类型'浮点'与'IMatrix'类型不兼容，同样，悬停在”2.0“上，我得到：”类型'浮点'与类型不兼容' IVector'” . 这里发生的事情似乎是F＃编译器无法对浮点数应用乘法运算符，而是将运算符应用于IMatrix和IVector . 如果我反而写

let z = (1.0 : float) * (2.0 : float)

问题仍然存在，因此添加显式类型注释并没有帮助 . 如何确保F＃选择浮动乘法运算符而不是上面定义的IMatrix / IVector运算符？

1 回答

8
F＃不允许您仅通过添加let bound函数来定义重载 .

F＃支持标准.NET实例或静态成员重载，因此在这种情况下，您需要添加一个静态成员：
```
type Matrix =
  static member (*) (matrix : Matrix) (vector : IVector) = ..
```
注意：我建议您不要使用矩阵和向量之间的重载进行此类设计 . 如果以这种方式继续定义重载，我的意思是在混合类型之间，重载决策可能会变得模糊不清 .

最好只在矩阵之间定义重载，然后在向量之间定义另一个集合 . 然后你可以定义一个像 asMatrix 这样的函数，它允许你将一个向量包装在一个矩阵中，然后乘以矩阵 .
回复于 2024-04-19T20:58:30+08:00

如何使用重载的静态运算符

1 回答

相关问题