d常的继承

class Base {
    void foo(Object o) {}
}

class Derived : Base {
    override void foo(const Object o) {}
}

上面可以,因为常可转非常.下面不行,因为非常不能转为常.

class Base {
    void foo(const Object o) {}
}

class Derived : Base {
    override void foo(Object o) {}
//不能隐式传递回.
}

子类比父类更严格,因而可以省略部分属性.