15、F 对象编程：高级特性与实践

F# 对象编程：高级特性与实践

1. 多构造函数与静态绑定

类型可以拥有多个构造函数，通过添加名为 new 的成员来实现。例如 UnitVector2D 类型：

type UnitVector2D =
  class
    new : unit -> UnitVector2D
    new : dx:float * dy:float -> UnitVector2D
    member DX : float
    member DY : float
  end

这里 UnitVector2D 有两个构造函数，这是一种方法重载的形式。

类类型还可以包含静态绑定，用于确保某些属性只分配一个对象实例。比如 Vector2D 类型：

type Vector2D(dx : float, dy : float) =
    static let zero = Vector2D(0.0, 0.0)
    static let onex = Vector2D(1.0, 0.0)
    static let oney = Vector2D(0.0, 1.0)
    static member Zero = zero
    static member OneX = onex
    static member OneY = oney

静态绑