由继承性可知，程序中子类拥有的成员数目一定大于等于父类拥有的成员数目。