多态是基于重写的
- 继承:向子类中添加父类没有的成员,子类对父类的横向扩展
- 重写:纵向扩展,成员没有增加,但成员的版本增加了
引言
Rider
JetBrains:Rider、ReSharper、dotPeek
Rider 支持包括 .NET Core 在内的较全面的 .NET 开发,以及 Unity 开发。
.NET Core / ASP.NETWeb Application 开发包括:
- RestFul API
- .NET Core 网站开发
Q:Rider 是否支持 WinForm 开发?
A:不支持 WinForm,但支持基于 XAML 的 WPF 和 Xamarin
Java 常用 Spring + Hibernate + JPA 这一套,它们都能在 .NET Core 找到对应选择。
ASP.NET Core 框架 + Entity Framework Core
.NET Core 自带 Razor engine
Edx Timothy 参与开发的课程
校长关于 ASP.NET Core 开发的一些课程,分别讲 LINQ、Web 开发基础、RestFul API、实战。
未来还将有一门 ASP.NET Core 高级开发和 Authentication & Authorization。
DFS 与 BFS
- DFS:Depth-First-Search 深度优先搜索
- BFS:Breadth-First Search 广度优先搜索
using System;
using System.Collections.Generic;
using System.Linq; namespace ConsoleTemp
{
// 注:为了方便理解,很多变量命名都用的全称
class Program
{
static void Main(string[] args)
{
// 生成 [0,10) 的自然数数组,即 0,1,2,3...9
var values = Enumerable.Range(0, 10).ToArray();
var binarySearchTree = GetTree(values, 0, values.Length - 1);
DFS(binarySearchTree);
Console.WriteLine("============================");
BFS(binarySearchTree);
} static Node GetTree(int[] values, int lowIndex, int highIndex)
{
if (lowIndex > highIndex) return null;
var middleIndex = lowIndex + (highIndex - lowIndex) / 2;
var node = new Node(values[middleIndex]);
node.Left = GetTree(values, lowIndex, middleIndex - 1);
node.Right = GetTree(values, middleIndex + 1, highIndex);
return node;
} static void DFS(Node node)
{
if (node == null) return;
DFS(node.Left);
Console.WriteLine(node.Value);
DFS(node.Right);
} static void BFS(Node root)
{
var q = new Queue();
q.Enqueue(root);
while (q.Count > 0)
{
var node = q.Dequeue();
Console.WriteLine(node.Value);
if (node.Left != null) q.Enqueue(node.Left);
if (node.Right != null) q.Enqueue(node.Right);
}
}
} class Node
{
public int Value { get; set; } public Node Left { get; set; } public Node Right { get; set; } public Node(int value)
{
Value = value;
}
}
}
C# 语言标准文档
C# 5.0 已经成为国际标准 ECMA-334,ECMA-334 的 PDF 比微软自己的标准文档还要权威。
C# 6.0 7.0 还在 ECMA 验证中。
笔者注:校长还是很注重标准文档,推荐有志于深入 C# 的同学去多翻一翻、读一读。
下面开始讲解本节的正式内容:
本节内容
- 类的继承
- 类成员的“横向扩展”(成员越来越多)
- 类成员的“纵向扩展”(行为改变,版本增高)
- 类成员的隐藏(不常用)
- 重写与隐藏的发生条件:函数成员,可见,签名一致
- 多态(polymorphism)
- 基于重写机制(virtual -> override)
- 函数成员的具体行为(版本)由对象决定
- 回顾:C# 语言的变量和对象都是有类型的,所以会有“代差”
Override 重写
子类对父类成员的重写。
因为类成员个数还是那么多,只是更新版本,所以又称为纵向扩展。
注:重写时,Car 里面只有一个版本的 Run。
重写需要父类成员标记为 virtual,子类成员标记 override。
注:被标记为 override 的成员,隐含也是 virtual 的,可以继续被重写。
virtual:可被重写的、名义上的、名存实亡的
class Program
{
static void Main(string[] args)
{
var car = new Car();
car.Run();
// Car is running! var v = new Vehicle();
v.Run();
// I'm running!
}
} class Vehicle
{
public virtual void Run()
{
Console.WriteLine("I'm running!");
}
} class Car : Vehicle
{
public override void Run()
{
Console.WriteLine("Car is running!");
}
}
Hide
如果子类和父类中函数成员签名相同,但又没标记 virtual 和 override,称为 hide 隐藏。
这会导致 Car 类里面有两个 Run 方法,一个是从 Vehicle 继承的 base.Run(),一个是自己声明的 this.Run()。
可以理解为 v 作为 Vehicle 类型,它本来应该顺着继承链往下(一直到 Car)找 Run 的具体实现,但由于 Car 没有 Override,所以它找不下去,只能调用 Vehicle 里面的 Run。
class Program
{
static void Main(string[] args)
{
Vehicle v = new Car();
v.Run();
// I'm running!
}
} class Vehicle
{
public void Run()
{
Console.WriteLine("I'm running!");
}
} class Car : Vehicle
{
public void Run()
{
Console.WriteLine("Car is running!");
}
}
注:
- 新手不必过于纠结 Override 和 Hide 的区分、关联。因为原则上是不推荐用 Hide 的。很多时候甚至会视 Hide 为一种错误
- Java 里面是天然重写,不必加 virtual 和 override,也没有 Hide 这种情况
- Java 里面的 @Override(annotation)只起到辅助检查重写是否有效的功能
Polymorphism 多态
C# 支持用父类类型的变量引用子类类型的实例。
函数成员的具体行为(版本)由对象决定。
回顾:因为 C# 语言的变量和对象都是有类型的,就导致存在变量类型与对象类型不一致的情况,所以会有“代差”。
class Program
{
static void Main(string[] args)
{
Vehicle v = new RaceCar();
v.Run();
// Race car is running! Car c = new RaceCar();
c.Run();
// Race car is running! Console.ReadKey();
}
} class Vehicle
{
public virtual void Run()
{
Console.WriteLine("I'm running!");
}
} class Car : Vehicle
{
public override void Run()
{
Console.WriteLine("Car is running!");
}
} class RaceCar : Car
{
public override void Run()
{
Console.WriteLine("Race car is running!");
}
}
C# vs Python
Python 是对象有类型,变量没有类型的语言,Python 变量的类型永远跟着对象走。 所以在 Python 中即使重写了,也没有多态的效果。
PS:
- JS 和 Python 类似,也是对象有类型,变量没类型
- TypeScript 是基于 JS 的强类型语言,所以 TS 变量是有类型的,存在多态
重写三条件
函数成员
只有函数成员才能重写,最常用的是重写 Methods 和 Properties。
函数成员的定义:
重写属性示例:
class Program
{
static void Main(string[] args)
{
Vehicle v = new Car();
v.Run();
// "Car is running!"
Console.WriteLine(v.Speed);
// 50
}
} class Vehicle
{
private int _speed; public virtual int Speed
{
get { return _speed; }
set { _speed = value; }
} public virtual void Run()
{
Console.WriteLine("I'm running!");
_speed = 100;
}
} class Car : Vehicle
{
private int _rpm; public override int Speed
{
get { return _rpm / 100; }
set { _rpm = value * 100; }
} public override void Run()
{
Console.WriteLine("Car is running!");
_rpm = 5000;
}
}
可见
只有对子类可见的父类成员可以重写,具体说就是 protected 和 public。例如子类能继承父类 private 的成员,但无法访问,即不可见、不可重写。
访问级别的更多内容参考 https://www.yuque.com/yuejiangliu/dotnet/timothy-csharp-024-025#c75846f4。
签名一致
方法签名:方法名称 + 类型形参的个数 + 每个形参(从左往右)的类型和种类(值、引用或输出)。
注:下面要讲接口和抽象类,为了与本节内容混淆,必须把本节彻底消化吸收。