我最近在带新人时出了一道经典测验题父类引用指向子类对象Java和C分别访问成员变量和调用成员方法各自会输出什么结果答得五花八门有人把成员变量也可以被重写写在注释里有人分不清C的virtual到底管什么。今天就把Java与C多态访问成员变量和方法的差异完整拆一遍从现象到字节码和虚表机制再到构造器陷阱和面试答题思路一次说透。这道题的高频程度在Java面试题和C面试题里都排得上号。只要理解了变量看静态类型方法看动态类型或virtual标志这条主线后面所有变体题都能迎刃而解。1. 先看现象父类引用访问变量与方法两个语言给出不同答案1.1 Java方法全部动态绑定字段始终静态绑定先来一段最直观的Java代码这就是面试题最常见的样子class Base { int x 1; void f1() { System.out.println(Base::f1 - x x); } void f2() { System.out.println(Base::f2); } } class Derived extends Base { int x 2; Override void f1() { System.out.println(Derived::f1 - 当前x x); } Override void f2() { System.out.println(Derived::f2); } } public class Main { public static void main(String[] args) { Derived d new Derived(); Base b d; b.f1(); // Derived::f1 - 当前x2 b.f2(); // Derived::f2 System.out.println(b.x); // 1 System.out.println(d.x); // 2 } }运行结果Derived::f1 - 当前x2 Derived::f2 1 2Java里的普通实例方法非static、非private、非final默认都是多态的。b虽然声明为Base但实际引用的是Derived对象调用f1()和f2()时JVM会在运行期找到Derived中重写的方法所以输出子类版本。成员变量就完全不同了。b.x输出1d.x输出2。同一个对象同一个名字x通过不同类型的引用访问得到的是两个不同的值。这说明访问成员变量时JVM和编译器看的是引用/变量的静态类型而不是对象的实际类型。Java中字段没有重写override只有隐藏hiding。1.2 C非虚方法不派发只有virtual才多态同样场景用C写一遍#include iostream class Base { public: int x 1; void f1() { std::cout Base::f1 - x x std::endl; } virtual void f2() { std::cout Base::f2 std::endl; } }; class Derived : public Base { public: int x 2; void f1() { std::cout Derived::f1 - x x std::endl; } void f2() override { std::cout Derived::f2 std::endl; } }; int main() { Derived d; Base* b d; b-f1(); // Base::f1 - x1 b-f2(); // Derived::f2 std::cout b-x \n; // 1 std::cout d.x \n; // 2 return 0; }运行结果Base::f1 - x1 Derived::f2 1 2C里f1()不是virtual编译器在编译期就决定调用Base::f1不会管b实际指向谁。f2()声明了virtual通过Base*调用时会查对象的虚函数表最终调用的是Derived::f2。字段行为和Java一致b-x是1d.x是2。不管指针静态类型是什么成员变量绑定永远走编译期解析。1.3 一句话总结现象方法看行为字段看声明把两个语言的现象放一起规则很清晰访问方式JavaC实例方法默认动态绑定调用实际类型的方法非virtual静态绑定virtual动态绑定成员变量静态绑定按引用类型解析静态绑定按指针/引用类型解析静态方法静态绑定按引用类型解析静态绑定按引用类型解析私有方法静态绑定不参与多态静态绑定不参与多态方法描述的是对象的行为多态的价值就在于让行为随实际类型变化字段描述的是这个类视角下的状态它属于声明它的那个类因此绑定到声明类型。理解了这层意图就不会再把字段多态挂在嘴边了。2. 绑定机制拆解静态绑定管字段动态绑定管虚方法2.1 静态绑定编译器在编译期就替你决定了静态绑定也叫编译期绑定、前期绑定。编译器看到的是引用/指针的声明类型直接按这个类型查找成员生成固定访问指令。以字段为例Java里b.x编译器解析到Base这个类的字段槽位字节码是getfield Base.x运行时就加载Base部分的内存偏移处的值。C里b-x类似编译器按Base的内存布局计算偏移量生成一条LOAD指令。非虚成员函数也一样。C的b-f1()编译器直接生成call Base::f1(b)目标地址固定运行期不会变。Java的private方法、static方法、invokespecial调用也都走静态绑定private方法不能被继承static方法不属于具体对象的实例表所以不存在派发。静态绑定的好处是快。函数地址在编译期确定不需要查表还可能被内联。C零开销原则正是建立在这上面你写普通成员函数就获得普通函数调用的性能不想要虚函数调度的开销就去掉virtual。2.2 动态绑定Java的invokevirtual与C的虚表Java普通实例方法默认动态绑定。JVM字节码层面调用b.f1()编译成invokevirtual Base.f1()。这条指令运行时不直接跳到Base的方法而是先找到b引用的实际对象类型Derived在方法表里查f1的实现入口。JVM还有inline caching等优化但语义上始终按实际类型查找方法。C动态绑定只能由virtual触发。类中只要存在virtual函数对象就带一个隐藏的vptr虚表指针指向该对象实际类型对应的vtable虚函数表。虚表按virtual函数声明顺序存函数指针调用代码如下load vptr load vtable[slot] call function_address这里有个关键点C的多态必须借助指针或引用。按值传递子类对象给基类形参时会发生对象切片object slicing子类部分被切掉对象变成基类类型vptr也被覆盖为基类虚表指针虚函数派发随之失效。Java没有值语义引用天然就带多态能力所以不会有切片问题。2.3 为什么Java默认多态C偏偏要手动声明virtual这个问题面试经常追问背后是设计哲学的分岔。Java走安全优先路线语言设计者认为方法覆盖是面向对象的基本能力默认打开才能降低使用者心智负担。代价是几乎所有实例方法调用都要走方法表性能优化要靠JIT和内联缓存来解决。C走零开销原则路线不为没用的特性付费。如果你根本不需要继承和重写普通成员函数就是普通函数调用性能完全可控。需要多态时再显式加virtual由使用者主动选择是否承担查表成本。这也解释了另一个现象Java里的final方法虽然也编译成invokevirtual但因为final不可重写分派结果确定编译器可以放心内联。C里的非virtual函数则从一开始就走直接调用两者本质都是确定性能 确定的语义。3. 成员变量隐藏Hiding不等于重写同一个名字内存里两份3.1 隐藏规则子类和父类各存各的先明确一个反直觉事实Java和C中当子类声明与父类同名字段时对象里实际存在两份独立字段。Base b new Derived(); b.x 100; // 设置的是Base.x不是Derived.xDerived d; d.x 200; // 设置的是Derived.x static_castBase(d).x 300; // 这是另一块内存里的Base.x为什么是两份因为字段归属不是世界上某个对象的状态而是某个类视角下的状态。子类可以放置新的成员只是在名字上遮蔽了父类成员。访问时编译器看的是访问表达式的静态类型b.x走Base的字段表d.x走Derived的字段表。C里这份内存布局非常直观Derived对象内存 [Base子对象] [Derived新增成员]。Base::x在Base子对象区域Derived::x在后面的新区域。Java同理JVM的字段解析按方法/引用所处的类进行。3.2 在父类方法体内访问x看到的永远是父类字段这是最容易踩的坑。因为字段名解析是编译期的、按定义方法所在的类来解析的。class Base { int x 1; void show() { System.out.println(x); // 这里编译期就绑定到Base.x } } class Derived extends Base { int x 2; } // 调用 new Derived().show()输出1不是2C对应的行为完全一致。基类成员函数里写的x无论对象实际是什么类型都解析为基类字段。方法代码是定义在哪个类里就看到哪个类的世界这是理解字段隐藏的关键。方法可以动态派发到子类但方法体内的字段访问不会跟着子类重新绑定。如果想明确访问Java用super.x或((Base) this).xC用Base::x或static_castBase(*this).x。3.3 实战建议尽量不要字段遮蔽我建议代码规范里直接禁止无意义的同名字段声明。字段遮蔽带来的问题远比收益多setter/getter设置的是父类字段子类字段却一直是默认值调试时明明赋了值打印出来却是0。这类bug不会报错极难定位。如果子类确实需要新状态换个新名字或者干脆把共享状态收敛到父类。C编译器可以用-Wshadow开启遮蔽告警Java的IDE通常也会高亮shadows field提示。踩过几次这种坑之后我在代码评审里看到同名字段就会直接打回。4. 重写、隐藏、重载三兄弟别搞混同名不一定多态4.1 方法重写Override动态分派的通行证Java里子类方法签名与父类相同返回类型相同或为其父类返回类型的子类型协变返回类型就能构成重写。写不写Override不影响语义但写了能获得编译期检查强烈建议写。C里只有基类函数声明为virtual子类相同签名的函数才是重写。C11开始推荐在子类函数后加override关键字让编译器检查你确实重写了某个虚函数。如果基类不是virtual那子类写一个相同签名的函数不叫重写叫隐藏name hiding基类版本依然通过基类指针调用。4.2 静态方法不能重写只能隐藏Java规定静态方法不能重写。在子类里定义父类相同签名的静态方法属于隐藏hiding。调用哪个版本取决于调用表达式的静态类型class Parent { static void hello() { System.out.println(Parent.hello); } } class Child extends Parent { static void hello() { System.out.println(Child.hello); } } Parent p new Child(); p.hello(); // Parent.hello因为静态方法按声明类型调用 ((Child) p).hello(); // Child.helloC同样禁止virtual静态成员函数因为虚函数表要在运行时根据对象类型选择函数而静态函数不绑定到特定对象。C子类中的同名静态成员函数也是隐藏基类版本。这里有个识别技巧看到static就把它当作不可多态。同理Java的private方法和final方法都不会参与重写分派面试题里只要方法修饰符带了这两个词输出结果一定由声明类型决定。4.3 重载Overload编译期决定的同名不同参重载是在同一个类的编译期解析中根据参数列表选择最匹配的方法和继承体系没有直接关系。Java和C都支持重载但两者在继承场景下行为不同。C有一个著名的坑叫name hiding子类一旦声明了和基类同名的成员函数哪怕参数完全不同基类所有同名重载版本在子类作用域中都会被隐藏。class Base { public: void f(int) {} void f(double) {} }; class Derived : public Base { public: using Base::f; void f(const std::string) {} }; int main() { Derived d; d.f(1); // 如果没有using Base::f这一行编译错误 }Java没有这种全部隐藏的行为。子类和父类同名不同参方法会共同参与重载解析编译器找到最匹配的一个不会因为子类定义了一个同名方法就把父类版本全部屏蔽。场景JavaC实例方法动态绑定默认仅virtual静态方法重写不支持隐藏不支持隐藏private方法重写不存在子类写同名只是新方法不存在非virtual且private无法覆盖final方法重写禁止非virtual无法重写字段重写不存在隐藏不存在隐藏构造器中调用多态方法派发到子类版本不派发到子类版本通过值传递对象引用语义无切片对象切片多态失效这张表基本把面试中能问到的对比点都覆盖了。5. 构造器里的多态陷阱半成品对象上的方法调用5.1 Java父类构造器调用可重写方法会打到子类刚开始学继承的人很容易掉进这个坑。看这段代码class Parent { Parent() { print(); // 父类构造器调用了一个可重写方法 } void print() { System.out.println(Parent); } } class Child extends Parent { private String name hello; Override void print() { System.out.println(Child: name); } } public class Demo { public static void main(String[] args) { new Child(); } }运行结果Child: null不是Parent也不是Child: hello而是Child: null。原因在于Java对象的构造顺序先执行父类构造器此时子类的字段初始化name hello还没运行。但父类构造器里的print()是invokevirtual指令运行期找到实际类型后派发到了Child.print()于是访问了一个还没初始化的name读到了默认值null。这个问题本质上是动态分派遇到了半成品对象。如果方法根据字段计算出错轻则输出怪值重则抛NPE。很多框架里所谓不要在构造器中调用可覆写方法的规范就是在防这个。5.2 C构造期间虚函数不派发到子类C为了避开半成品对象调用子类方法的问题做了一条硬性规定构造函数和析构函数执行期间对象的动态类型被视为当前正在构造或析构的类的类型虚函数调用只会派发到当前类的版本不会到子类。class Parent { public: Parent() { print(); } virtual void print() { std::cout Parent std::endl; } }; class Child : public Parent { public: int value 42; void print() override { std::cout Child: value std::endl; } }; int main() { Child c; return 0; }输出是Parent原因是vptr在基类构造阶段指向基类虚函数表等子类构造开始后才被改为子类虚函数表。基类构造器里调用虚函数查到的是基类版本这是有意的语言设计既然子类部分尚未构造就不该调用子类逻辑。但这也会带来另一种困惑如果基类构造器里调用的是一个非虚函数而非虚函数内部又调用了virtual方法那么那次virtual调用同样按当前vptr走基类版本因为非虚函数的调用方式不会改变当前对象的动态类型。C的特性是构造和析构期间的动态类型收缩写框架时务必记住。5.3 两种语言共同的错误依赖构造阶段的多态钩子Java允许你写模板方法模式父类构造器安排流程子类重写钩子方法提供实现。这在Java里能用但要警惕钩子方法访问子类字段时字段还没初始化。C里更极端基类构造中钩子方法如果是virtual压根调不到子类模板方法直接失效。我的个人经验是继承体系中基类构造器只做初始化父类自身状态这件事尽量调用private或final方法如果一定要给子类留扩展点单独提供一个显式的init()方法在对象构造完成后由外部调用而不是在构造器里隐式触发。Java和C都适用这条建议。6. 面试答题与实战排查怎样又快又准地判断绑定结果6.1 面试常见变体题多态访问的题目可以变出很多花样核心还是那几条规则。整理几个高频考法父类引用指向子类对象访问成员变量和调用方法各输出什么答变量看声明类型方法Java看实际类型C看是否virtual。Java的成员变量能被重写吗答不能只能隐藏。子类和父类同名字段在对象中同时存在通过不同静态类型的引用访问到不同版本。Java静态方法能被重写吗答不能只能隐藏。通过父类类型引用调用静态方法时按引用类型解析。C的普通成员函数为什么没有多态答C默认静态绑定以保证零开销只有virtual函数才能进入虚函数表实现运行期派发。Java和C构造器中调用可重写/虚方法分别输出什么答Java派发到子类版本可能读到未初始化的子类字段C不派发到子类调用当前构造类版本的虚函数。C按值传递子类对象给基类形参多态还生效吗答不生效发生对象切片虚函数按基类版本调用。Java final方法和private方法有多态吗答没有。final禁止重写private不会被子类看到都不参与动态绑定。答题框架我习惯分三步先区分绑定阶段编译期还是运行期再讲是什么决定了绑定静态类型、virtual标志、实际类型最后用一个小例子收尾。面试官要的不是背诵结论而是你能否自洽地推导。6.2 做题和排查代码的快速心法遇到输出判断题先做三步定位定位访问路径这个变量/方法是通过什么类型的引用或指针触发的这决定了静态绑定阶段看到的类型。定位方法性质是普通实例方法、虚函数、静态方法、私有方法还是final方法静态、私有、非virtual不看实际类型。定位对象实际类型只在方法可能动态派发时才有意义。字段访问尤其要注意当前代码处于哪个类的方法体中。父类方法体内的x永远指父类字段和运行时多态无关。带着这个心法我在代码评审里基本扫一眼就能判断哪几行是多态、哪几行其实绑死了。6.3 动手验证把结论变成自己的面试准备别只背答案建议自己把上面的代码跑一遍再改几个变量验证把Java的f1()改成static看输出变化把C的f2()的virtual去掉看b-f2()是否变成Base版本在Java父类构造器里调用f1()观察子类字段是否为默认值在C基类构造器里调用虚函数观察是否调用子类版本。这些实验一遍跑下来比刷二十道题都管用。我个人的调试习惯是遇到多态相关的诡异输出先打印对象地址、引用类型名称、实际类型名称再逐步注释掉virtual或重写方法缩小范围。这样能快速把问题从语言特性里剥离出来。工具方面C可以用gdb的info vtbl查看虚表内容Java用javap -c看字节码里的invokevirtual和getfield都能直观看到绑定关系。掌握这套排查思路这个知识点就算真正吃透了。
我最近在带新人时出了一道经典测验题父类引用指向子类对象Java和C分别访问成员变量和调用成员方法各自会输出什么结果答得五花八门有人把成员变量也可以被重写写在注释里有人分不清C的virtual到底管什么。今天就把Java与C多态访问成员变量和方法的差异完整拆一遍从现象到字节码和虚表机制再到构造器陷阱和面试答题思路一次说透。这道题的高频程度在Java面试题和C面试题里都排得上号。只要理解了变量看静态类型方法看动态类型或virtual标志这条主线后面所有变体题都能迎刃而解。1. 先看现象父类引用访问变量与方法两个语言给出不同答案1.1 Java方法全部动态绑定字段始终静态绑定先来一段最直观的Java代码这就是面试题最常见的样子class Base { int x 1; void f1() { System.out.println(Base::f1 - x x); } void f2() { System.out.println(Base::f2); } } class Derived extends Base { int x 2; Override void f1() { System.out.println(Derived::f1 - 当前x x); } Override void f2() { System.out.println(Derived::f2); } } public class Main { public static void main(String[] args) { Derived d new Derived(); Base b d; b.f1(); // Derived::f1 - 当前x2 b.f2(); // Derived::f2 System.out.println(b.x); // 1 System.out.println(d.x); // 2 } }运行结果Derived::f1 - 当前x2 Derived::f2 1 2Java里的普通实例方法非static、非private、非final默认都是多态的。b虽然声明为Base但实际引用的是Derived对象调用f1()和f2()时JVM会在运行期找到Derived中重写的方法所以输出子类版本。成员变量就完全不同了。b.x输出1d.x输出2。同一个对象同一个名字x通过不同类型的引用访问得到的是两个不同的值。这说明访问成员变量时JVM和编译器看的是引用/变量的静态类型而不是对象的实际类型。Java中字段没有重写override只有隐藏hiding。1.2 C非虚方法不派发只有virtual才多态同样场景用C写一遍#include iostream class Base { public: int x 1; void f1() { std::cout Base::f1 - x x std::endl; } virtual void f2() { std::cout Base::f2 std::endl; } }; class Derived : public Base { public: int x 2; void f1() { std::cout Derived::f1 - x x std::endl; } void f2() override { std::cout Derived::f2 std::endl; } }; int main() { Derived d; Base* b d; b-f1(); // Base::f1 - x1 b-f2(); // Derived::f2 std::cout b-x \n; // 1 std::cout d.x \n; // 2 return 0; }运行结果Base::f1 - x1 Derived::f2 1 2C里f1()不是virtual编译器在编译期就决定调用Base::f1不会管b实际指向谁。f2()声明了virtual通过Base*调用时会查对象的虚函数表最终调用的是Derived::f2。字段行为和Java一致b-x是1d.x是2。不管指针静态类型是什么成员变量绑定永远走编译期解析。1.3 一句话总结现象方法看行为字段看声明把两个语言的现象放一起规则很清晰访问方式JavaC实例方法默认动态绑定调用实际类型的方法非virtual静态绑定virtual动态绑定成员变量静态绑定按引用类型解析静态绑定按指针/引用类型解析静态方法静态绑定按引用类型解析静态绑定按引用类型解析私有方法静态绑定不参与多态静态绑定不参与多态方法描述的是对象的行为多态的价值就在于让行为随实际类型变化字段描述的是这个类视角下的状态它属于声明它的那个类因此绑定到声明类型。理解了这层意图就不会再把字段多态挂在嘴边了。2. 绑定机制拆解静态绑定管字段动态绑定管虚方法2.1 静态绑定编译器在编译期就替你决定了静态绑定也叫编译期绑定、前期绑定。编译器看到的是引用/指针的声明类型直接按这个类型查找成员生成固定访问指令。以字段为例Java里b.x编译器解析到Base这个类的字段槽位字节码是getfield Base.x运行时就加载Base部分的内存偏移处的值。C里b-x类似编译器按Base的内存布局计算偏移量生成一条LOAD指令。非虚成员函数也一样。C的b-f1()编译器直接生成call Base::f1(b)目标地址固定运行期不会变。Java的private方法、static方法、invokespecial调用也都走静态绑定private方法不能被继承static方法不属于具体对象的实例表所以不存在派发。静态绑定的好处是快。函数地址在编译期确定不需要查表还可能被内联。C零开销原则正是建立在这上面你写普通成员函数就获得普通函数调用的性能不想要虚函数调度的开销就去掉virtual。2.2 动态绑定Java的invokevirtual与C的虚表Java普通实例方法默认动态绑定。JVM字节码层面调用b.f1()编译成invokevirtual Base.f1()。这条指令运行时不直接跳到Base的方法而是先找到b引用的实际对象类型Derived在方法表里查f1的实现入口。JVM还有inline caching等优化但语义上始终按实际类型查找方法。C动态绑定只能由virtual触发。类中只要存在virtual函数对象就带一个隐藏的vptr虚表指针指向该对象实际类型对应的vtable虚函数表。虚表按virtual函数声明顺序存函数指针调用代码如下load vptr load vtable[slot] call function_address这里有个关键点C的多态必须借助指针或引用。按值传递子类对象给基类形参时会发生对象切片object slicing子类部分被切掉对象变成基类类型vptr也被覆盖为基类虚表指针虚函数派发随之失效。Java没有值语义引用天然就带多态能力所以不会有切片问题。2.3 为什么Java默认多态C偏偏要手动声明virtual这个问题面试经常追问背后是设计哲学的分岔。Java走安全优先路线语言设计者认为方法覆盖是面向对象的基本能力默认打开才能降低使用者心智负担。代价是几乎所有实例方法调用都要走方法表性能优化要靠JIT和内联缓存来解决。C走零开销原则路线不为没用的特性付费。如果你根本不需要继承和重写普通成员函数就是普通函数调用性能完全可控。需要多态时再显式加virtual由使用者主动选择是否承担查表成本。这也解释了另一个现象Java里的final方法虽然也编译成invokevirtual但因为final不可重写分派结果确定编译器可以放心内联。C里的非virtual函数则从一开始就走直接调用两者本质都是确定性能 确定的语义。3. 成员变量隐藏Hiding不等于重写同一个名字内存里两份3.1 隐藏规则子类和父类各存各的先明确一个反直觉事实Java和C中当子类声明与父类同名字段时对象里实际存在两份独立字段。Base b new Derived(); b.x 100; // 设置的是Base.x不是Derived.xDerived d; d.x 200; // 设置的是Derived.x static_castBase(d).x 300; // 这是另一块内存里的Base.x为什么是两份因为字段归属不是世界上某个对象的状态而是某个类视角下的状态。子类可以放置新的成员只是在名字上遮蔽了父类成员。访问时编译器看的是访问表达式的静态类型b.x走Base的字段表d.x走Derived的字段表。C里这份内存布局非常直观Derived对象内存 [Base子对象] [Derived新增成员]。Base::x在Base子对象区域Derived::x在后面的新区域。Java同理JVM的字段解析按方法/引用所处的类进行。3.2 在父类方法体内访问x看到的永远是父类字段这是最容易踩的坑。因为字段名解析是编译期的、按定义方法所在的类来解析的。class Base { int x 1; void show() { System.out.println(x); // 这里编译期就绑定到Base.x } } class Derived extends Base { int x 2; } // 调用 new Derived().show()输出1不是2C对应的行为完全一致。基类成员函数里写的x无论对象实际是什么类型都解析为基类字段。方法代码是定义在哪个类里就看到哪个类的世界这是理解字段隐藏的关键。方法可以动态派发到子类但方法体内的字段访问不会跟着子类重新绑定。如果想明确访问Java用super.x或((Base) this).xC用Base::x或static_castBase(*this).x。3.3 实战建议尽量不要字段遮蔽我建议代码规范里直接禁止无意义的同名字段声明。字段遮蔽带来的问题远比收益多setter/getter设置的是父类字段子类字段却一直是默认值调试时明明赋了值打印出来却是0。这类bug不会报错极难定位。如果子类确实需要新状态换个新名字或者干脆把共享状态收敛到父类。C编译器可以用-Wshadow开启遮蔽告警Java的IDE通常也会高亮shadows field提示。踩过几次这种坑之后我在代码评审里看到同名字段就会直接打回。4. 重写、隐藏、重载三兄弟别搞混同名不一定多态4.1 方法重写Override动态分派的通行证Java里子类方法签名与父类相同返回类型相同或为其父类返回类型的子类型协变返回类型就能构成重写。写不写Override不影响语义但写了能获得编译期检查强烈建议写。C里只有基类函数声明为virtual子类相同签名的函数才是重写。C11开始推荐在子类函数后加override关键字让编译器检查你确实重写了某个虚函数。如果基类不是virtual那子类写一个相同签名的函数不叫重写叫隐藏name hiding基类版本依然通过基类指针调用。4.2 静态方法不能重写只能隐藏Java规定静态方法不能重写。在子类里定义父类相同签名的静态方法属于隐藏hiding。调用哪个版本取决于调用表达式的静态类型class Parent { static void hello() { System.out.println(Parent.hello); } } class Child extends Parent { static void hello() { System.out.println(Child.hello); } } Parent p new Child(); p.hello(); // Parent.hello因为静态方法按声明类型调用 ((Child) p).hello(); // Child.helloC同样禁止virtual静态成员函数因为虚函数表要在运行时根据对象类型选择函数而静态函数不绑定到特定对象。C子类中的同名静态成员函数也是隐藏基类版本。这里有个识别技巧看到static就把它当作不可多态。同理Java的private方法和final方法都不会参与重写分派面试题里只要方法修饰符带了这两个词输出结果一定由声明类型决定。4.3 重载Overload编译期决定的同名不同参重载是在同一个类的编译期解析中根据参数列表选择最匹配的方法和继承体系没有直接关系。Java和C都支持重载但两者在继承场景下行为不同。C有一个著名的坑叫name hiding子类一旦声明了和基类同名的成员函数哪怕参数完全不同基类所有同名重载版本在子类作用域中都会被隐藏。class Base { public: void f(int) {} void f(double) {} }; class Derived : public Base { public: using Base::f; void f(const std::string) {} }; int main() { Derived d; d.f(1); // 如果没有using Base::f这一行编译错误 }Java没有这种全部隐藏的行为。子类和父类同名不同参方法会共同参与重载解析编译器找到最匹配的一个不会因为子类定义了一个同名方法就把父类版本全部屏蔽。场景JavaC实例方法动态绑定默认仅virtual静态方法重写不支持隐藏不支持隐藏private方法重写不存在子类写同名只是新方法不存在非virtual且private无法覆盖final方法重写禁止非virtual无法重写字段重写不存在隐藏不存在隐藏构造器中调用多态方法派发到子类版本不派发到子类版本通过值传递对象引用语义无切片对象切片多态失效这张表基本把面试中能问到的对比点都覆盖了。5. 构造器里的多态陷阱半成品对象上的方法调用5.1 Java父类构造器调用可重写方法会打到子类刚开始学继承的人很容易掉进这个坑。看这段代码class Parent { Parent() { print(); // 父类构造器调用了一个可重写方法 } void print() { System.out.println(Parent); } } class Child extends Parent { private String name hello; Override void print() { System.out.println(Child: name); } } public class Demo { public static void main(String[] args) { new Child(); } }运行结果Child: null不是Parent也不是Child: hello而是Child: null。原因在于Java对象的构造顺序先执行父类构造器此时子类的字段初始化name hello还没运行。但父类构造器里的print()是invokevirtual指令运行期找到实际类型后派发到了Child.print()于是访问了一个还没初始化的name读到了默认值null。这个问题本质上是动态分派遇到了半成品对象。如果方法根据字段计算出错轻则输出怪值重则抛NPE。很多框架里所谓不要在构造器中调用可覆写方法的规范就是在防这个。5.2 C构造期间虚函数不派发到子类C为了避开半成品对象调用子类方法的问题做了一条硬性规定构造函数和析构函数执行期间对象的动态类型被视为当前正在构造或析构的类的类型虚函数调用只会派发到当前类的版本不会到子类。class Parent { public: Parent() { print(); } virtual void print() { std::cout Parent std::endl; } }; class Child : public Parent { public: int value 42; void print() override { std::cout Child: value std::endl; } }; int main() { Child c; return 0; }输出是Parent原因是vptr在基类构造阶段指向基类虚函数表等子类构造开始后才被改为子类虚函数表。基类构造器里调用虚函数查到的是基类版本这是有意的语言设计既然子类部分尚未构造就不该调用子类逻辑。但这也会带来另一种困惑如果基类构造器里调用的是一个非虚函数而非虚函数内部又调用了virtual方法那么那次virtual调用同样按当前vptr走基类版本因为非虚函数的调用方式不会改变当前对象的动态类型。C的特性是构造和析构期间的动态类型收缩写框架时务必记住。5.3 两种语言共同的错误依赖构造阶段的多态钩子Java允许你写模板方法模式父类构造器安排流程子类重写钩子方法提供实现。这在Java里能用但要警惕钩子方法访问子类字段时字段还没初始化。C里更极端基类构造中钩子方法如果是virtual压根调不到子类模板方法直接失效。我的个人经验是继承体系中基类构造器只做初始化父类自身状态这件事尽量调用private或final方法如果一定要给子类留扩展点单独提供一个显式的init()方法在对象构造完成后由外部调用而不是在构造器里隐式触发。Java和C都适用这条建议。6. 面试答题与实战排查怎样又快又准地判断绑定结果6.1 面试常见变体题多态访问的题目可以变出很多花样核心还是那几条规则。整理几个高频考法父类引用指向子类对象访问成员变量和调用方法各输出什么答变量看声明类型方法Java看实际类型C看是否virtual。Java的成员变量能被重写吗答不能只能隐藏。子类和父类同名字段在对象中同时存在通过不同静态类型的引用访问到不同版本。Java静态方法能被重写吗答不能只能隐藏。通过父类类型引用调用静态方法时按引用类型解析。C的普通成员函数为什么没有多态答C默认静态绑定以保证零开销只有virtual函数才能进入虚函数表实现运行期派发。Java和C构造器中调用可重写/虚方法分别输出什么答Java派发到子类版本可能读到未初始化的子类字段C不派发到子类调用当前构造类版本的虚函数。C按值传递子类对象给基类形参多态还生效吗答不生效发生对象切片虚函数按基类版本调用。Java final方法和private方法有多态吗答没有。final禁止重写private不会被子类看到都不参与动态绑定。答题框架我习惯分三步先区分绑定阶段编译期还是运行期再讲是什么决定了绑定静态类型、virtual标志、实际类型最后用一个小例子收尾。面试官要的不是背诵结论而是你能否自洽地推导。6.2 做题和排查代码的快速心法遇到输出判断题先做三步定位定位访问路径这个变量/方法是通过什么类型的引用或指针触发的这决定了静态绑定阶段看到的类型。定位方法性质是普通实例方法、虚函数、静态方法、私有方法还是final方法静态、私有、非virtual不看实际类型。定位对象实际类型只在方法可能动态派发时才有意义。字段访问尤其要注意当前代码处于哪个类的方法体中。父类方法体内的x永远指父类字段和运行时多态无关。带着这个心法我在代码评审里基本扫一眼就能判断哪几行是多态、哪几行其实绑死了。6.3 动手验证把结论变成自己的面试准备别只背答案建议自己把上面的代码跑一遍再改几个变量验证把Java的f1()改成static看输出变化把C的f2()的virtual去掉看b-f2()是否变成Base版本在Java父类构造器里调用f1()观察子类字段是否为默认值在C基类构造器里调用虚函数观察是否调用子类版本。这些实验一遍跑下来比刷二十道题都管用。我个人的调试习惯是遇到多态相关的诡异输出先打印对象地址、引用类型名称、实际类型名称再逐步注释掉virtual或重写方法缩小范围。这样能快速把问题从语言特性里剥离出来。工具方面C可以用gdb的info vtbl查看虚表内容Java用javap -c看字节码里的invokevirtual和getfield都能直观看到绑定关系。掌握这套排查思路这个知识点就算真正吃透了。
