里氏替换原则 提供了两个 运算符
 ① is ②as
as  是强制类型转换
is  是吗???
还有
在继承中
如果没有用 base 关键字 调用父类的构造方法,则必须给父类制定一个无参的构造方法吗???