F#在线运行

版本:

所属目录
点击了解高性能代码运行API
运行结果
教程手册
代码仓库
极速运行
终端运行
图形+终端

                        
以下是用户最新保存的代码
函数式 赛车模拟 (自由格式) 发布于:2021-02-02 10:52 转换OCaml对象模式 发布于:2021-02-01 00:46 [更多]
显示目录

继承



学习嵌入式的绝佳套件,esp8266开源小电视成品,比自己去买开发板+屏幕还要便宜,省去了焊接不当搞坏的风险。 蜂鸣版+触控升级仅36元,更强的硬件、价格全网最低。

点击购买 固件广场

继承

面向对象编程中最重要的概念之一是继承。 继承允许我们根据另一个类来定义一个类,这使得创建和维护应用程序更容易。 这也提供了重用代码功能和快速实现时间的机会。
在创建类时,程序员可以指定新类应该继承现有类的成员,而不是编写完全新的数据成员和成员函数。 这个现有类称为基类,新类称为派生类。
继承的想法实现IS-A关系。 例如,哺乳动物ISA动物,狗IS-A哺乳动物,因此也是狗IS-A动物等。

基类和子类

子类是从已定义的基类派生的。 一个子类继承了基类的成员,并且有自己的成员。
子类是使用inherit关键字定义的,如下所示

type MyDerived(...) =
   inherit MyBase(...)

在F#中,一个类最多只能有一个直接基类。如果你不使用inherit关键字指定基类,这个类隐含从Object继承。

请注意

基类的方法和成员对派生类的用户是可用的,就像派生类的直接成员一样。
让绑定和构造函数参数对类是私有的,因此不能从派生类访问。
关键字base是指基类实例。 它像自标识符一样使用。

type Person(name) =
   member x.Name = name
   member x.Greet() = printfn "Hi, I'm %s" x.Name

type Student(name, studentID : int) =
   inherit Person(name)
   let mutable _GPA = 0.0
   member x.StudentID = studentID
   member x.GPA
      with get() = _GPA
      and set value = _GPA <- value

type Teacher(name, expertise : string) =
   inherit Person(name)

   let mutable _salary = 0.0
   member x.Salary
      with get() = _salary
      and set value = _salary <- value
   member x.Expertise = expertise

//using the subclasses
let p = new Person("Mohan")
let st = new Student("Zara", 1234)
let tr = new Teacher("Mariam", "Java")

p.Greet()
st.Greet()
tr.Greet()

当你编译和执行程序,它产生以下输出

Hi, I'm Mohan
Hi, I'm Zara
Hi, I'm Mariam

重载方法

您可以覆盖基类方法的默认行为,并在子类或派生类中以不同方式实现它。
默认情况下,F#中的方法不可重写。
要覆盖派生类中的方法,必须使用abstractdefault关键字将方法声明为可覆盖,如下所示:

type Person(name) =
   member x.Name = name
   abstract Greet : unit -> unit
   default x.Greet() = printfn "Hi, I'm %s" x.Name

现在,Person类的问候方法可以在派生类中重写。下面的例子说明了这一点

type Person(name) =
   member x.Name = name
   abstract Greet : unit -> unit
   default x.Greet() = printfn "Hi, I'm %s" x.Name

type Student(name, studentID : int) =
   inherit Person(name)

   let mutable _GPA = 0.0

   member x.StudentID = studentID
   member x.GPA
      with get() = _GPA
      and set value = _GPA <- value
   override x.Greet() = printfn "Student %s" x.Name

type Teacher(name, expertise : string) =
   inherit Person(name)
   let mutable _salary = 0.0
   member x.Salary
      with get() = _salary
      and set value = _salary <- value

   member x.Expertise = expertise
   override x.Greet() = printfn "Teacher %s." x.Name

//using the subclasses
let p = new Person("Mohan")
let st = new Student("Zara", 1234)
let tr = new Teacher("Mariam", "Java")

//default Greet
p.Greet()

//Overriden Greet
st.Greet()
tr.Greet()

当你编译和执行程序,它产生以下输出

Hi, I'm Mohan
Student Zara
Teacher Mariam.

抽象类

有时你需要提供一个不完整的实现对象,这不应该在现实中实现。 后来,一些其他程序员应该创建抽象类的子类来完成实现。
例如,在学校管理系统中将不需要Person类。 但是,需要学生或教师课。 在这种情况下,您可以将Person类声明为抽象类。
AbstractClass属性告诉编译器该类有一些抽象函数。
您不能创建抽象类的实例,因为该类未完全实现。
下面的例子演示了这个

[<AbstractClass>]
type Person(name) =
   member x.Name = name
   abstract Greet : unit -> unit

type Student(name, studentID : int) =
   inherit Person(name)
   let mutable _GPA = 0.0
   member x.StudentID = studentID
   member x.GPA
      with get() = _GPA
      and set value = _GPA <- value
   override x.Greet() = printfn "Student %s" x.Name

type Teacher(name, expertise : string) =
   inherit Person(name)
   let mutable _salary = 0.0
   member x.Salary
      with get() = _salary
      and set value = _salary <- value
   member x.Expertise = expertise
   override x.Greet() = printfn "Teacher %s." x.Name

let st = new Student("Zara", 1234)
let tr = new Teacher("Mariam", "Java")

//Overriden Greet
st.Greet()
tr.Greet()

当你编译和执行程序,它产生以下输出

Student Zara
Teacher Mariam.
由JSRUN为你提供的F#在线运行、在线编译工具
        JSRUN提供的F# 在线运行,F# 在线运行工具,基于linux操作系统环境提供线上编译和线上运行,具有运行快速,运行结果与常用开发、生产环境保持一致的特点。
yout