.net - 如何密封被覆盖的属性(property)

Question

假设我有一对显然是人为设计的C#类，如下所示:

public abstract class Foo {
    public abstract int[] LegalValues { get; }
    public virtual bool IsValueLegal(int val) {
        return Array.IndexOf(LegalValues, val) >= 0;
    }
}

和这个:

public class Bar : Foo {
    static int[] _legalValues = new int[] { 0, 1 }; // whatever
    public sealed override int[] LegalValues 
        { get { return _legalValues; } }
    public sealed override bool IsValueLegal(int val)
        { return base.IsValueLegal(val); }
}

我该如何在F#中执行此操作？属性的明显代码:

[<Sealed>]
override this.LegalValues with get() = // ...

[<Sealed>]
override this.IsValueLegal value = // ...

触发错误，因为SealedAttribute显然无法应用于成员。
我当然可以密封整个类，从而密封所有成员，但是(这是 非常重要的，但是)是我的目标是将现有的类签名 精确地匹配，并且基类具有其他虚拟的/abstract成员，理想情况下应保持可重写状态。

Answer 1

F#对OO的支持目前存在一些限制，因此通常不应期望能够产生与任意C#类层次结构相同的F#类层次结构。据我所知，没有任何方法可以覆盖和密封虚拟方法。