虚函数的问题

[Kang_TJU]

小弟这两天看到了一道虚函数的面试题，自己有点迷惑。求大神指教，先把题目放上来。下面这道题目最后输出的结果是调用了A当中的print()函数，也就是说没有发生多态！基类指针，虚函数调用，这两个条件都符合啊？为什么没有触发多台呢？求大神指导

#include <iostream>

class A{
public:
	virtual void print( char a ){ std::cout << "A called." << std::endl;
		std::cout << a << std::endl;}
};
 
class B : public A{
public:
	virtual void print( int a ){ std::cout << "B called." << std::endl;
		std::cout << a << std::endl;}
};

int main( void ){

	A* pa = new B();

	pa->print( 65 );

	delete pa;
	return 0;
}

[一个程序渣渣的小后院]

多态中的虚函数要求函数格式完全相同，代码中不相同，所以构不成多态 pa是基类指针，调用非多态的虚函数只能在基类作用域中进行函数查找

[trytry1992]

你需要C++11 新关键字 override

[黑娃]

引用 1 楼 sinat_35261315 的回复:

多态中的虚函数要求函数格式完全相同，代码中不相同，所以构不成多态 pa是基类指针，调用非多态的虚函数只能在基类作用域中进行函数查找

+1 补充一点，A的入参也可以接收一个字节的整形数字

[jena_wy]

一个是print( int a )，一个是print( char a )，两个完全没有关系，没有重写

[sdghchj]

这个叫函数隐藏，不叫函数覆盖。

[Kang_TJU]

引用 1 楼 sinat_35261315 的回复:

多态中的虚函数要求函数格式完全相同，代码中不相同，所以构不成多态 pa是基类指针，调用非多态的虚函数只能在基类作用域中进行函数查找

有个问题得先说清楚，什么叫非多态的虚函数？对这个概念不是很理解。说下自己的理解，多态作为一种oo特性，语言层面有虚函数支持，对象模型有vptr+vtable支持。所以，我认为多态和虚函数在逻辑上不在一个层面。 当派生类重写基类的虚函数时，派生类的vtable当中，基类的虚函数被替换成派生类的虚函数，这是多态的根本原因。如果没有发生重写，基类的虚函数和派生类的虚函数都存在于派生类的vtable当中。 我的问题是，既然他们都存在与派生类的vtable当中，为什么调用个基类的虚函数，因为从函数标签上来说，应该匹配派生类的虚函数才对。

[一个程序渣渣的小后院]

引用 6 楼 Kang_TJU的回复:

[quote=引用 1 楼 sinat_35261315 的回复:] 多态中的虚函数要求函数格式完全相同，代码中不相同，所以构不成多态 pa是基类指针，调用非多态的虚函数只能在基类作用域中进行函数查找

有个问题得先说清楚，什么叫非多态的虚函数？对这个概念不是很理解。说下自己的理解，多态作为一种oo特性，语言层面有虚函数支持，对象模型有vptr+vtable支持。所以，我认为多态和虚函数在逻辑上不在一个层面。 当派生类重写基类的虚函数时，派生类的vtable当中，基类的虚函数被替换成派生类的虚函数，这是多态的根本原因。如果没有发生重写，基类的虚函数和派生类的虚函数都存在于派生类的vtable当中。 我的问题是，既然他们都存在与派生类的vtable当中，为什么调用个基类的虚函数，因为从函数标签上来说，应该匹配派生类的虚函数才对。[/quote] 个人理解基类的指针要在基类的虚函数表中进行函数查找，之所以存在多态，是基类的虚函数表中的同标签函数被覆盖，和派生类的虚函数表无关。

[sdghchj]

引用 6 楼 Kang_TJU 的回复:

[quote=引用 1 楼 sinat_35261315 的回复:] 多态中的虚函数要求函数格式完全相同，代码中不相同，所以构不成多态 pa是基类指针，调用非多态的虚函数只能在基类作用域中进行函数查找

有个问题得先说清楚，什么叫非多态的虚函数？对这个概念不是很理解。说下自己的理解，多态作为一种oo特性，语言层面有虚函数支持，对象模型有vptr+vtable支持。所以，我认为多态和虚函数在逻辑上不在一个层面。 当派生类重写基类的虚函数时，派生类的vtable当中，基类的虚函数被替换成派生类的虚函数，这是多态的根本原因。如果没有发生重写，基类的虚函数和派生类的虚函数都存在于派生类的vtable当中。 我的问题是，既然他们都存在与派生类的vtable当中，为什么调用个基类的虚函数，因为从函数标签上来说，应该匹配派生类的虚函数才对。[/quote] 你也知道“派生类的vtable当中，基类的虚函数被替换成派生类的虚函数，这是多态的根本原因”这个道理不是？ 也知道“如果没有发生重写，基类的虚函数和派生类的虚函数都存在于派生类的vtable当中”。 vtable存的是函数指针，又没有函数类型。 你告诉我一下基类如何能找到派生类的其它虚函数地址在哪里？ 所谓的函数标签，不过是常量值类型能够隐式转换而已。