扫一扫
分享文章到微信
扫一扫
关注官方公众号
至顶头条
作者:谢启东编译 来源:天极开发 2007年11月12日
关键字:
using namespace System; public ref struct A { /*1a*/ void F0() { Console::WriteLine("A::F0"); } /*1b*/ virtual void F1() { Console::WriteLine("A::F1"); } /*1c*/ virtual void F2() { Console::WriteLine("A::F2"); } //*1d*/ virtual void F3() { Console::WriteLine("A::F3"); } }; public ref struct B : public A { /*2a*/ void F0() new { Console::WriteLine("B::F0"); } /*2b*/ virtual void F1() override { Console::WriteLine("B::F1"); } /*2c*/ virtual void F2() new { Console::WriteLine("B::F2"); } private: //*2d*/ void F3() new { Console::WriteLine("B::F3"); } }; public ref struct C : public B { /*3a*/ void F0() new { Console::WriteLine("C::F0"); } /*3b*/ virtual void F1x() override = B::F1 { Console::WriteLine("C::F1x"); } /*3c*/ virtual void F2x() = B::F2 { Console::WriteLine("C::F2x"); } //*3d*/ virtual void F3() { Console::WriteLine("C::F3"); } }; |
A^ a = gcnew A(); a->F0(); //调用 A::F0 a->F1(); //调用A::F1 a->F2(); //调用A::F2 a->F0():A::F0是一个非虚拟函数,因此使用的是a的编译时类型(也就是A),导致A::F0被调用。 a->F1():A::F1是一个虚拟函数,因此使用的是a的运行时类型(也就是A),导致A::F1被调用。 a->F2():与A::F1类似,A::F2也是一个虚拟函数,因此使用的是a的运行时类型(也就是A),导致A::F2被调用。 B^ b = gcnew B(); b->F0(); //调用 B::F0 b->F1(); //调用B::F1 b->F2(); //调用B::F2 b->F0():B::F0是一个非虚拟函数,因此使用的是b的编译时类型(也就是B),导致B::F0被调用。 b->F1():B::F1覆盖了虚拟函数A::F1,因此使用的是b的运行时类型(也就是B),导致B::F1被调用。 b->F2():B::F2(通过new)隐藏了虚拟函数A::F2,因此使用的b的是编译时类型(也就是B),导致B::F2被调用。这个隐藏函数同样也为virtual,允许继承自B的类覆盖这个带有new的函数。 a = b; a->F0(); //调用 A::F0 a->F1(); //调用B::F1 a->F2(); //调用A::F2 a->F0():A::F0是一个非虚拟函数,因此使用的是a的编译时类型(也就是A),导致A::F0被调用。 a->F1():A::F1是一个虚拟函数,因此使用的是a的运行时类型(也就是B),导致B::F1被调用。 a->F2():A::F2是一个虚拟函数,其被函数B::F2所隐藏,因此使用的是a的编译时类型(也就是A),导致A::F2被调用。(请记住,要先有后续的覆盖函数,才会有动态查询过程,而在本例中,是不存在的。) C^ c = gcnew C(); c->F0(); //调用C::F0 c->F1(); //调用C::F1x c->F2(); //调用 C::F2x c->F0():C::F0是一个非虚拟函数,因此使用的是c的编译时类型(也就是C),导致C::F0被调用。 c->F1():C::F1x是一个虚拟函数,因此使用的是c的运行时类型(也就是C),但是,在C::F1x的情况中,使用了一个命名覆盖,也就是说,被覆盖的函数与覆盖函数有着不同的名称,这导致C::F1x被调用。 c->F2():C::F2x覆盖了虚拟函数B::F2,因此使用的是c的运行时类型(也就是C),导致C::F2x被调用。(正如大家所见,在这个命名覆盖中,省略了显式覆盖修饰符。) b = c; b->F0(); //调用 B::F0 b->F1(); //调用C::F1x b->F2(); //调用C::F2x b->F0():B::F0是一个非虚拟函数,因此使用的是b的编译时类型(也就是B),导致B::F0被调用。 b->F1():B::F1覆盖了虚拟函数A::F1,因此使用的是b的运行时类型(也就是C),导致C::F1x被调用。 b->F2():B::F2是一个虚拟函数,因此使用的是b的运行时类型(也就是C),导致C::F2x被调用。 a = c; a->F0(); //调用A::F0 a->F1(); //调用C::F1x a->F2(); //调用 A::F2 a->F0():A::F0是一个非虚拟函数,因此使用的是a的编译时类型(也就是A),导致A::F0被调用。 a->F1():A::F1是一个虚拟函数,因此使用的是a的运行时类型(也就是C),导致C::F1x被调用。 a->F2():A::F2是一个虚拟函数,其被函数B::F2所隐藏,因此使用的是a的编译时类型(也就是A),导致A::F2被调用。(请记住,要先有后续的覆盖函数,才会有动态查询过程,而在这些例子中,是不存在的。) |
如果您非常迫切的想了解IT领域最新产品与技术信息,那么订阅至顶网技术邮件将是您的最佳途径之一。