C++_虚函数

1.目的：

派生类继承自基类。使用指针或引用访问派生类对象时，指针或引用本身所指向的类型可以是基类而不是派生类。如果派生类覆盖了基类中的方法，通过上述指针或引用调用该方法时，可以有两种结果：

• 调用到基类的方法：非虚函数；
• 调用到派生类的方法：虚函数。

注意：

• 在基类的成员函数声明前加上关键字virtual即可让该函数成为虚函数，派生类中对此函数的不同实现都会继承这一修饰符，允许后续派生类覆盖，即便是基类中的成员函数调用虚函数，也会调用到派生类中的版本
• 如果在父类中使用了virtual关键字，而在其派生类中有没有override或new关键字，而直接引用一个同名方法的话，编译器将会报告错误，并将使用new方法，及以忽略派生类中的方法的方式来运行。

简单描述就是，同名函数使用虚函数时，基类调用基类的，派生类调用派生类的函数。但是派生类使用复写的时候，基类调用的话就会调用派生类的同名函数

使用virtual需注意：

      virtual修饰符不能与static、abstract、private或override修饰符一起使用。      
      在静态属性上的使用virtual修饰符是错误的。
      通过使用override修饰符的属性声明，可在派生类中重写virtual继承属性。

使用override需注意：

      override生命不能更改virtual方法的可访问性。
      override方法和virtual方法必须具有相同的访问级别修饰符。
      不能使用修饰符new、static、virtual或abstract来修饰override方法。
      重写属性声明必须指定与继承属性完全相同的访问修饰符、类型和名称，并且被重写的属性必须是virtual、abstract或override的。

2.例子：

using System;  
namespace Smz.Test  
{  
    class A  
    {  
        public virtual void Func() // 注意virtual,表明这是一个虚拟函数  
        {  
            Console.WriteLine("Func In A");  
        }  
  
        public void Non_virtual()  
        {  
            Console.WriteLine("Non virtual func in A");  
        }  
    }  
    class B : A // 注意B是从A类继承,所以A是父类,B是子类  
    {  
        public override void Func() // 注意override ,表明重新实现了虚函数  
        {  
            Console.WriteLine("Func In B");  
        }  
  
        public void Non_virtual()  
        {  
            Console.WriteLine("Non virtual func in B");  
        }  
    }  
    class C : B // 注意C是从A类继承,所以B是父类,C是子类  
    {  
        public void Non_virtual()  
        {  
            Console.WriteLine("Non virtual func in C");  
        }  
    }  
    class D : A // 注意D是从A类继承,所以A是父类,D是子类  
    {  
        public new void Func() // 注意new ，表明覆盖父类里的同名类，而不是重新实现  
        {  
            Console.WriteLine("Func In D");  
        }  
  
        public new void Non_virtual()  
        {  
            Console.WriteLine("Non virtual func in D");  
        }  
    }  
    class program  
    {  
        static void Main()  
        {  
            A a;         // 定义一个a这个A类的对象.这个A就是a的申明类  
            A b;         // 定义一个b这个A类的对象.这个A就是b的申明类  
            A c;         // 定义一个c这个A类的对象.这个A就是c的申明类  
            A d;         // 定义一个d这个A类的对象.这个A就是d的申明类  
            a = new A(); // 实例化a对象,A是a的实例类  
            b = new B(); // 实例化b对象,B是b的实例类  
            c = new C(); // 实例化c对象,C是c的实例类  
            d = new D(); // 实例化d对象,D是d的实例类  
            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  
              
            a.Non_virtual(); //执行A类的Non_virtual  
            b.Non_virtual(); //执行A类的Non_virtual  
            c.Non_virtual(); //执行A类的Non_virtual  
            d.Non_virtual(); //执行A类的Non_virtual  
            d1.Non_virtual(); //执行D类的Non_virtual  
  
            Console.ReadLine();  
        }  
    }  
}