通过一道面试题学习重载Overload重写Override和虚函数virtual

父类虚函数,必须由子类实现。
父类子类同名函数,参数相同为重写,参数不相同为重载。

public class Father
{
    public void show()
    {
        Console.WriteLine("Father show");
    }
    public virtual void F()
    {
        Console.WriteLine("Father F");
    }
}
public class Son : Father
{
    public new void show()
    {
        Console.WriteLine("Son show");
    }
    public override void F()
    {
        Console.WriteLine("Son F");
    }
}

(1)类Son与类Father的关系是什么?
(2)类Son中有几个show方法,几个F方法?
答:一个show方法,一个F方法。

若一个实例方法声明前带有virtual关键字,那么这个方法就是虚方法。
虚方法与非虚方法的最大不同是,虚方法的实现可以由派生类所取代,这种取代是通过方法的重写实现的(以后再讲)
虚方法的特点:
虚方法前不允许有static,abstract,或override修饰符
虚方法不能是私有的,因此不能使用private修饰符
虚方法的执行:
我们知道一般函数在编译时就静态地编译到了执行文件中,其相对地址在程序运行期间是不发生变化的,
而虚函数在编译期间是不被静态编译的,它的相对地址是不确定的,它会根据运行时期对象实例来动态判断要调用的函数,
其中那个申明时定义的类叫申明类,那个执行时实例化的类叫实例类。
如:A a =new B(); 其中A是申明类,B是实例类。
1.当调用一个对象的函数时,系统会直接去检查这个对象申明定义的类,即申明类,看所调用的函数是否为虚函数;
2.如果不是虚函数,那么它就直接执行该函数。而如果是一个虚函数,那么这个时候它就不会立刻执行该函数了,而是开始检查对象的实例类。
3.在这个实例类里,他会检查这个实例类的定义中是否有实现该虚函数或者重新实现该虚函数(通过override关键字)的方法,
如果有,它就不会再找了,而是马上执行该实例类中实现的虚函数的方法。而如果没有的话,系统就会不停地往上找实例类的父类,
并对父类重复刚才在实例类里的检查,直到找到第一个重载了该虚函数的父类为止,然后执行该父类里重载后的函数。
例1:

    class A
    {
        public virtual void Sum()
        {
            Console.WriteLine("I am A Class,I am virtual sum().");
        }
    }
    class Program
    {
        static void Main(string[] args)
        {
             A a=new A();   // 定义一个a这个A类的对象.这个A就是a的申明类,实例化a对象,A是a的实例类   
             a.Sum();
             Console.Read();
        }
    }

 执行a.Sum:
1.先检查申明类A 2.检查到是sum是虚拟方法 3.转去检查实例类A,结果是题本身 
4.执行实例类A中实现Sum的方法 5.输出结果 I am A Class,I am virtual sum(). 
例2:

class A
    {
        public virtual void Sum()
        {
            Console.WriteLine("I am A Class,I am virtual sum().");
        }
    }
    class B : A    
    {
        public override void Sum() // 重新实现了虚函数   
        {
            Console.WriteLine("I am B Class,I am override sum().");
        }  

    }
    class Program
    {
        static void Main(string[] args)
        {
             A a=new B();  // 定义一个a这个A类的对象.这个A就是a的申明类,实例化a对象,B是a的实例类              
             a.Sum();
             Console.Read();
        }
    }

执行a.Sum:
1.先检查申明类A 2.检查到是虚拟方法 3.转去检查实例类B,有重写的方法 4.执行实例类B中的方法 5.输出结果 I am B Class,I am override sum().
例3:

    class A
    {
        public virtual void Sum()
        {
            Console.WriteLine("I am A Class,I am virtual sum().");
        }
    }
    class B : A    
    {
        public override void Sum() // 重新实现了虚函数   
        {
            Console.WriteLine("I am B Class,I am override sum().");
        }  

    }
    class C : B
    {

    }
    class Program
    {
        static void Main(string[] args)
        {
             A a=new C();// 定义一个a这个A类的对象.这个A就是a的申明类,实例化a对象,C是a的实例类              
             a.Sum();
             Console.Read();
        }
    }

执行a.Sum:
1.先检查申明类A 2.检查到是虚拟方法 3.转去检查实例类C,无重写的方法 4.转去检查类C的父类B,有重写的方法
5.执行父类B中的Sum方法 6.输出结果 I am B Class,I am override sum().  
例4:

   class A
    {
        public virtual void Sum()
        {
            Console.WriteLine("I am A Class,I am virtual sum().");
        }
    }
    class B : A    
    {
        public new void Sum() //覆盖父类里的同名函数,而不是重新实现  
        {
            Console.WriteLine("I am B Class,I am new sum().");
        }  

    }
    class Program
    {
        static void Main(string[] args)
        {
             A a=new B();
             a.Sum();
             Console.Read();
        }
    }

执行a.Sum:
1.先检查申明类A 2.检查到是虚拟方法 3.转去检查实例类B,无重写的(这个地方要注意了,虽然B里有实现Sum(),但没有使用override关键字,所以不会被认为是重写) 4.转去检查类B的父类A,就为本身 5.执行父类A中的Sum方法 6.输出结果 I am A Class,I am virtual sum().  
那么如果在例4里,申明的是类B呢?

    class A
    {
        public virtual void Sum()
        {
            Console.WriteLine("I am A Class,I am virtual sum().");
        }
    }
    class B : A    
    {
        public new void Sum() //覆盖父类里的同名函数,而不是重新实现  
        {
            Console.WriteLine("I am B Class,I am new sum().");
        }  

    }
    class Program
    {
        static void Main(string[] args)
        {
             B b=new B();
             b.Sum();
             Console.Read();
        }
    }

执行B类里的Sum(),输出结果I am B Class,I am new sum(). 
可以使用抽象函数重写基类中的虚函数吗?
答案是可以的。

    class A
    {
        public virtual void PrintFriends()
        {
            Console.WriteLine("A.PrintFriends()");   
        }  
    }
    abstract class B : A    
    {
        public abstract override void PrintFriends();   //使用override 修饰符,表示抽象重写了基类中该函数的实现
    }
    abstract class C : A
    {
        public abstract new void PrintFriends();        //使用 new 修饰符显式声明,表示隐藏了基类中该函数的实现
    }

密封类可以有虚函数吗?
可以,基类中的虚函数将隐式的转化为非虚函数,但密封类本身不能再增加新的虚函数

    class A
    {
        public virtual void Fun()
        {
            Console.WriteLine("I am A.");
        }
    }
    sealed class Program:A
    {
        public override void Fun()
        {
            Console.WriteLine("I am B.");
        }
        static void Main(string[] args)
        {
            Program p = new Program();
            p.Fun();
            Console.Read();
        }
    }

虚函数 (virtual)

一、OOP的目标:

使用面向对象的开发过程就是在不断地抽象事物的过程,我们的目标就是抽象出一个高内聚、低偶合,易于维护和扩展的模型。

二、遇到的问题:

但是在抽象过程中我们会发现很多事物的特征不清楚,或者很容易发生变动,怎么办呢?比如飞禽都有飞这个动作,但是对于不同的鸟类它的飞的动作方式是不同的,有的是滑行,有的要颤抖翅膀,虽然都是飞的行为,但具体实现却是千差万别,在我们抽象的模型中不可能把一个个飞的动作都考虑到,那么怎样为以后留下好的扩展,怎样来处理各个具体飞禽类千差万别的飞行动作呢?比如我现在又要实现一个类“鹤”,它也有飞禽的特征(比如飞这个行为),如何使我可以只用简单地继承“飞禽”,而不去修改“飞禽”这个抽象模型现有的代码,从而达到方便地扩展系统呢?

三、解决上述问题的方法:

面向对象的概念中引入了虚函数来解决这类问题。

使用虚函数就是在父类中把子类中共有的但却易于变化或者不清楚的特征抽取出来,作为子类需要去重新实现的操作(override),我们可以称之做“热点”。而虚拟函数也是OOP中实现多态的关键之一。

还是上面的例子(C#):

class 飞禽

{ 

        public string wing;             // 翅膀

        public string feather;          // 羽毛  

        ……                            // 其它属性和行为  

        public virtual bool Fly()       // 利用关键字virtual来定义为虚拟函数,这是一个热点

        {

                // 空下来让子类去实现

        }

}

 

class 麻雀 : 飞禽                       // 麻雀从飞禽继承而来

{

        ……    // 定义麻雀自己特有的属性和行为

        public override bool Fly()      // 利用关键字override重载飞翔动作,实现自己的飞翔

        {

                ……    // 实现麻雀飞的动作

        }

}

 

class  鹤 : 飞禽                        // 鹤从飞禽继承而来

{

        ……    // 定义鹤自己的特有的属性和行为

        public override bool Fly()      // 利用关键字override重载实现鹤的飞翔

        {

                ……    // 实现鹤飞的动作

        }

}

这样我们只需要在抽象模型“飞禽”里定义Fly()这个行为,表示所有由此“飞禽”派生出去的子类都会有Fly()这个行为,而至于Fly()到底具体是怎么实现的,那么就由具体的子类去实现就好了,不会再影响“飞禽”这个抽象模型了。

比如现在我们要做一个飞禽射击训练的系统,我们就可以这样来使用上面定义的类:

// 如何来使用虚拟函数,这里同时也是一个多态的例子.

// 定义一个射击飞禽的方法

// 注意这里申明传入一个“飞禽”类作为参数,而不是某个具体的“鸟类”。好处就是以后不管再出现多少

// 种鸟类,只要是从飞禽继承下来的,都照打不误:)(多态的方式)

void ShootBird(飞禽 bird) 

{

        // 当鸟在飞就开始射击

        if(bird.Fly())

        {

                ……    // 射击动作

        }

}

 

static void main()

{

        / /打麻雀

        ShootBird(new 麻雀());

        // 打鹤

        ShootBird(new 鹤());    

        // 都是打鸟的过程,我只要实现了具体某个鸟类(从“飞禽”派生而来)的定义,就可以对它

        // 进行射击,而不用去修改ShootBird函数和飞禽基类

        ShootBird(new 其它的飞禽());      

}

四、C#种虚拟函数的的执行过程:

在C++、Java等众多OOP语言里都可以看到virtual的身影,而C#作为一个完全面向对象的语言当然也不例外。

虚拟函数从C#的程序编译的角度来看,它和其它一般的函数有什么区别呢?一般函数在编译时就静态地编译到了执行文件中,其相对地址在程序运行期间是不发生变化的,也就是写死了的!而虚函数在编译期间是不被静态编译的,它的相对地址是不确定的,它会根据运行时期对象实例来动态判断要调用的函数,其中那个申明时定义的类叫申明类,那个执行时实例化的类叫实例类。

(         如:飞禽 bird = new 麻雀();

那么飞禽就是申明类,麻雀是实例类。       )

具体的检查的流程如下:

 1当调用一个对象的函数时,系统会直接去检查这个对象申明定义的类,即申明类,看所调用的函数是否为虚函数;

 2如果不是虚函数,那么它就直接执行该函数。而如果有virtual关键字,也就是一个虚函数,那么这个时候它就不会立刻执行该函数了,而是转去检查对象的实例类。

 3在这个实例类里,他会检查这个实例类的定义中是否有重新实现该虚函数(通过override关键字),如果是有,那么OK,它就不会再找了,而马上执行该实例类中的这个重新实现的函数。而如果没有的话,系统就会不停地往上找实例类的父类,并对父类重复刚才在实例类里的检查,直到找到第一个重载了该虚函数的父类为止,然后执行该父类里重载后的函数。

知道这点,就可以理解下面代码的运行结果了:

class A

{

        protected virtual Func()        // 注意virtual,表明这是一个虚拟函数

        {

                Console.WriteLine("Func In A");

        }

}

 

class B : A                             // 注意B是从A类继承,所以A是父类,B是子类

{

        protected override Func()       // 注意override ,表明重新实现了虚函数

        {

                Console.WriteLine("Func In B");

        }

}

 

class C : B                             // 注意C是从A类继承,所以B是父类,C是子类

{

       

}

 

class D : A                             // 注意B是从A类继承,所以A是父类,D是子类

{

        protected new Func()            // 注意new ,表明覆盖父类里的同名类,而不是重新实现

        {

                Console.WriteLine("Func In B");

        }

}

 

static void main()

{

        A a;                            // 定义一个a这个A类的对象.这个A就是a的申明类

        A b;                            // 定义一个b这个A类的对象.这个A就是b的申明类

        A c;                            // 定义一个c这个A类的对象.这个A就是b的申明类

        A d;                            // 定义一个d这个A类的对象.这个A就是b的申明类

 

        a = new A();                    // 实例化a对象,A是a的实例类

        b = new B();                    // 实例化b对象,B是b的实例类

        c = new C();                    // 实例化b对象,C是b的实例类

        d = new D();                    // 实例化b对象,D是b的实例类

 

        a.Func() ;       

        // 执行a.Func:1.先检查申明类A 2.检查到是虚拟方法 3.转去检查实例类A,就为本身 4.执行实例类A中的方法 5.输出结果 Func In A     

        b.Func() ;    

        // 执行b.Func:1.先检查申明类A 2.检查到是虚拟方法 3.转去检查实例类B,有重载的 4.执行实例类B中的方法 5.输出结果 Func In B

        c.Func() ;    

        // 执行c.Func:1.先检查申明类A 2.检查到是虚拟方法 3.转去检查实例类C,无重载的 4.转去检查类C的父类B,有重载的 5.执行父类B中的Func方法 5.输出结果 Func In B

        d.Func();

        // 执行d.Func:1.先检查申明类A 2.检查到是虚拟方法 3.转去检查实例类D,无重载的(这个地方要注意了,虽然D里有实现Func(),但没有使用override关键字,所以不会被认为是重载) 4.转去检查类D的父类A,就为本身 5.执行父类A中的Func方法 5.输出结果 Func In A

 

        D d1 = new D()

        d1.Func();      // 执行D类里的Func(),输出结果 Func In D}

作者:

喜欢围棋和编程。

 
发布于 分类 编程标签

发表评论

电子邮件地址不会被公开。