如何在F#中实现抽象类?

时间:2008-11-22 00:24:27

标签: f# abstract-class

在我看到this PDC会话后,我想尝试学习一些F#。所以我认为最好的方法是用F#重写我已经在C#中完成的东西但是我的大脑只是拒绝在功能模式中思考。 我有这个抽象类,它有一些抽象方法和一些虚方法。我也想覆盖一些虚拟方法。这个类用C#编写并编译,我不打算用F#重写它。 所以我的问题是:

  1. 是否有人提供了如何实现抽象类,抽象方法和虚方法的简短示例
  2. 我可以重载构造函数吗?
  3. 如果我想在dll中编译它并使其可用于我的基于C#的程序,是否有任何约束。
  4. 任何帮助将不胜感激。


    更新: 我真的非常感谢Brian的回答,但我仍然不清楚,所以我想澄清一下。让我们假装这是我用C#编写的抽象类,并在dll中编译。我如何在F#中实现它?

    public abstract class MyAbstractClass
    {
        public abstract Person GetFullName(string firstName, string lastName);
    
        public abstract bool TryParse(string fullName, out Person person);
    
        public virtual IEnumerable<Person> GetChildren(Person parent)
        {
            List<Person> kids = new List<Person>();
            foreach(Child person in GroupOfPeople)
            {
                if(person.Parent == parent)
                   kids.Add(child as Person);
            }
            return kids;
        }
    
        public virtual IEnumerable<Child> GroupOfPeople { get; set; }
    }
    

    有些人正在寻找一些F#资源的文档:    - 如果任何其他F#有兴趣获得我在Don Syme(F#的创建者)博客free chapters of his book F# Expert上找到的一些文档。您可以下载doc格式的文件。

    可能感兴趣的其他一些资源:

1 个答案:

答案 0 :(得分:14)

以下是一些示例代码

type IBaz =
    abstract member Baz : int -> int

[<AbstractClass>]
type MyAbsClass() =
    // abstract
    abstract member Foo : int -> int
    // virtual (abstract with default value)
    abstract member Bar : string -> int
    default this.Bar s = s.Length 
    // concrete
    member this.Qux x = x + 1

    // a way to implement an interface
    abstract member Baz: int -> int
    interface IBaz with
        member this.Baz x = this.Baz x

type MySubClass(z : int) =
    inherit MyAbsClass()
    override this.Foo x = x + 2
    override this.Bar s = (base.Bar s) - 1
    override this.Baz x = x + 100
    member this.Z = z
    new () = MySubClass(0)

let c = new MySubClass(42)    
printfn "%d %d %d %d %d" c.Z (c.Foo 40) (c.Bar "two") (c.Qux 41) (c.Baz 42000)