📅 最后修改于: 2020-11-21 07:01:06 🧑 作者: Mango
面向对象编程中最重要的概念之一就是继承。继承使我们可以用另一个类来定义一个类，这使创建和维护应用程序变得更加容易。这也提供了重用代码功能和快速实现时间的机会。
创建类时，程序员可以指定新类继承现有类的成员，而不必编写全新的数据成员和成员函数。此现有类称为基类，而新类称为派生类。
继承的思想实现了IS-A关系。例如，哺乳动物IS A是动物，狗IS-A是哺乳动物，因此也是狗IS-A动物，依此类推。
子类派生自已定义的基类。子类继承基类的成员，并拥有自己的成员。
子类是使用继承关键字定义的，如下所示：
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 编译并执行程序时，将产生以下输出-
Hi, I'm Mohan
Hi, I'm Zara
Hi, I'm Mariam
您可以覆盖基类方法的默认行为，并在子类或派生类中以不同方式实现它。
F＃中的方法默认情况下不可覆盖。
要覆盖派生类中的方法，您必须使用abstract和default关键字将方法声明为可覆盖，如下所示：
type Person(name) =
member x.Name = name
abstract Greet : unit -> unit
default x.Greet() = printfn "Hi, I'm %s" x.Name
现在，可以在派生类中重写Person类的Greet方法。以下示例演示了这一点-
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 编译并执行程序时，将产生以下输出-
Hi, I'm Mohan
Student Zara
Teacher Mariam.
有时，您需要提供对象的不完整实现，而实际上不应该实现。后来，其他一些程序员应该创建抽象类的子类以实现完整的实现。
例如，学校管理系统中将不需要Person类。但是，将需要学生或教师班级。在这种情况下，可以将Person类声明为抽象类。
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 编译并执行程序时，将产生以下输出-
Student Zara
Teacher Mariam.