无法扩展 F# 中的运算符？

module FSharp=
let Point2d (x,y)= Point2d(x,y)
let Point3d (x,y,z)= Point3d(x,y,z)
type NXOpen.Point3d with
    static member ( * ) (p:Point3d,t:float)= Point3d(p.X*t,p.Y*t,p.Z*t)
    static member ( * ) (t:float,p:Point3d)= Point3d(p.X*t,p.Y*t,p.Z*t)
    static member (+) (p:Point3d,t:float)= Point3d(p.X+t,p.Y+t,p.Z+t)
    static member (+) (t:float,p:Point3d)= Point3d(p.X+t,p.Y+t,p.Z+t)
    static member (+) (p:Point3d,t:Point3d)= Point3d(p.X+t.X,p.Y+t.Y,p.Z+t.Z)

let a=Point3d (1.,2.,3.)
let b=1.0
let c=a * b//error

错误15：类型“float”与类型不匹配
'Point3d' E:\Work\extension-RW\VS\extension\NXOpen.Extension.FSharp\Module1.fs 18 13 NXOpen.Extension.FSharp

我想扩展 Point3d 方法，一些新的运算符。但它并没有过去。

If the Point3d类型是在无法修改的单独程序集中声明的，那么（不幸的是）无法实现标准运算符的新重载，例如+ or *。您问题中的代码将运算符添加为扩展方法，但 F# 编译器在查找重载运算符时不会搜索扩展方法。

如果您无法修改库，那么您可以执行以下三件事：

• 创建一个包装器Point3d存储的值为Point3d并实现所有运算符
  （但这可能效率很低）

• 定义不与内置运算符冲突的新运算符。例如，您可以使用+$ and $+用于从左侧和右侧乘以标量。要声明这样的运算符，您可以编写：

  let (+$) (f:float) (a:Point3d) = (...)
  

• 实施你自己的Point3d完成所有工作的类型，可能带有将其转换为的转换函数Point3d当您需要致电图书馆时。

很难说哪个选项是最好的 - 第二种方法可能是最有效的，但它会让代码看起来有点难看。根据您的情况，选项 1 或 3 也可能有效。