解读经典《C#高级编程》第七版 Page100-107.继承.Chapter4

前言

本章节继续讲实现继承。

实现继承

密封类和密封方法

密封类和方法的概念很简单，就是为了不允许类和方法被继承和扩展。不允许扩展一般的原因有：

• 如果类或者方法被扩展，可能会导致类库执行错误
• 因为版权原因，不允许第三方随意扩展该类

.Net库有很多密封类，使用者不能随意扩展。我猜测这么做可能是因为设计者想保持框架的纯净性和单一性，即不希望使用者随意扩展而导致出现众多“分支框架”，最终的导致框架的碎片化（参考Andriod的碎片化）。
最典型的，string类型就是密封类。我们可以猜测扩展方法的出现（.Net3.5版本）就是因为对.Net框架密封类有扩展的需求，但是密封类无法继承，所以出一个扩展方法作为“补偿办法”，一定程度上解决了对基础框架的扩展问题。

密封类案例
/// <summary>
/// 密封类案例：不能被继承，其方法不能被override。这个类同时还是基类
/// </summary>
public sealed class SaUser
{
    public void Test()
    {
        //密封类方法不能有virtual关键字，因为virtual代表可override，这和密封类的概念矛盾了
    }

    /// <summary>
    /// 此写法为非法，不同通过编译： 基类中不能定义密封方法
    /// </summary>
    public sealed override void Test2()
    {
        //Test2()不能定义sealed，也不能定义sealed override，都会导致编译异常。
    }
}

密封方法案例
/// <summary>
/// 普通基类
/// </summary>
public class SaUser2
{
    public virtual void Test()
    {
        //可扩展的方法
    }
}
/// <summary>
/// 派生类的密封方法
/// </summary>
public class SaUserChilid : SaUser2
{
    /// <summary>
    /// 密封方法必须是重写的方法
    /// </summary>
    public sealed override void Test()
    {
        //密封方法必须同时有sealed和override关键字
        base.Test();
    }
}

有趣的现象
如上代码，有个有趣的现象是，定义密封类只需要使用sealed关键字，而定义密封方法时，sealed必须和override配对使用。同时，在基类中也不能对方法实行密封。为什么会这样呢？我猜想，设计者的观点应该是：“所谓密封，应该是对一个原先处于“开放”状态下的类进行密封”。但对密封的这个限制，确实使得语言特性不够灵活。实际上，对基类的方法进行密封，虽然极少发生，但理论上还是有需求的。

派生类的构造函数

前面我们讲过了单个类的构造函数。我们知道构造函数是必须的，当我们没有类的构造函数时，系统会默认提供一个构造函数，因为类中字段的数据初始化是依赖于构造函数的。
当我们还要构造较为复杂的派生类时，其构造函数如何运行，就成为一个非常值得研究的问题。研究清楚了它，你才能用“合适”的办法完成派生类的初始化。派生类的构造函数的麻烦，来自于类的“多构造函数”，也就是构造函数的重载。
首先，我们要知道构造函数的原则：

1. 每个类（基类，派生类）的构造函数都是必须的。
2. 类的构造是自底向上来构造的，先构造基类，再逐级向上构建派生类。（为什么必须这样逐级构造，可以看原文章了解）
3. 类的构造方法是可重载的（多构造函数）。

在以上原则下，当一个派生类要开始构造时，我们发现，关键要注意什么？是构造链不能断！在这点上编译器会智能判断，如果它发现构造链断了，会发生编译错误。我们可以看个例子，这个例子我以前的文章就贴过。

/// <summary>
/// 基类
/// </summary>
class Line
{
    private int thick;

    /// <summary>
    /// 基类构造方法：代号A
    /// </summary>
    Line()
    {
        thick = 1;
    }
}

/// <summary>
/// 派生类
/// </summary>
public class Rect
{
    private int width;
    private int height;

    /// <summary>
    /// 构造方法：代号B
    /// </summary>
    /// <param name="length"></param>
    Rect(int length)
        :this(length, length)   //初始化器
    {
        //构造一个正方形
    }

    /// <summary>
    /// 构造方法：代号C
    /// </summary>
    /// <param name="width"></param>
    /// <param name="height"></param>
    Rect(int width, int height)
        :base()     //初始化器
    {
        //构造一个长方形
        this.width = width;
        this.height = height;
    }
}

我给代码中的构造方法都加了代号。以上的demo，我们可以分析得出，如果使用B方法来构造对象，它的构造链是：A->C->B。如果用C方法来构造对象，构造链是：A->C。构造链是清晰的，就没有问题。

修饰符

重申一下何为修饰符：应用于类型或者成员的关键字。

可见性修饰符

不能把类型定义为protected，private，protected interval。嵌套类除外，因为类成员可以使用访问限制性修饰符，而嵌套类是和类的成员同等级的。

其他修饰符

讲完继承，下篇开始讲解接口。

欢迎关注本人微信公众号，更及时的关注最新文章（每周多篇原创文章，以及多篇专题文章）：

扫描二维码关注