这样写有什么隐患？

[kingstarer]

类A里面的test函数是普通函数
类B继承了A，并将test覆盖成虚函数
类C继承了B

现在把一个B类型的指针指向C类的一个对象
并通过该指针调用C类的test函数

下面测试结果说明调用成功了，
但不知道这样做会不会有什么隐患？

我看一般多态的代码都是在基类里面就定义了test是虚函数，
很少看到像我这样，中间层才把它改成虚函数的
是不是这样做有什么问题呢？

[code=C/C++]

int class_test()
{
class A
{
public:
int test()
{
cout << "A" << endl;
return 1;
}
};

class B: public A
{
public:
virtual int test()
{
cout << "B" << endl;
return 2;
}
};

class C: public B
{
public:
int test()
{
cout << "C" << endl;
return 3;
}
};

B *pb = new C;

cout << pb->test() << endl;

delete pb;

return 0;
}
[code]

[feng4206yu]

从代码看应该是没有什么隐患的，毕竟代码中的问题只涉及到类B和类C，两者的关系一脉相承...但是如果涉及到类A，关系可能会复杂一点，我也不是很了解，就像1楼所说的，我看的书里面没教我将继承而来的普通函数转换为虚函数，不过很有意思..

[猫已经找不回了]

哎，楼主要是碰到了问题可以再拿来讨论。要说有什么隐患还真不清楚。

[捕鲸叉]

覆盖一般不是好主意

[waizqfor]

[Quote=引用 3 楼 kingstarer 的回复:]
哦 即是说只是逻辑上存在混乱 实际并没有其它问题吗？

ps:
local class有什么限制？
[/Quote]
LZ实验一下 看看有什么错误 然后大家来讨论也是来得急
不过你这样覆盖不好

[疯哥哥]

Effective C++:
条款37: 决不要重新定义继承而来的非虚函数
B* pb = new C;
A* pa = pb;
pb->test();
pa->test(); //用一个引用的行为却不一样,感觉很怪异.

[baihacker]

...这样写可能给人逻辑上的混乱...
在这里pb的静态态类型是B*
其中的test是虚的
于是调用要动态绑定到pb指向的实际类型的test函数上.
你换成静态类型为A*的话的话,由于A中的test不是虚的
那么会直接绑定到A::test

PS:
不要用local class来测试,local class有好些限制的.

[kingstarer]

哦 即是说只是逻辑上存在混乱 实际并没有其它问题吗？

ps:
local class有什么限制？

[疯哥哥]

[Quote=引用 3 楼 kingstarer 的回复:]
哦 即是说只是逻辑上存在混乱 实际并没有其它问题吗？

ps:
local class有什么限制？
[/Quote]
貌似对rtti有限制...

[kingstarer]

谢谢各位了

其实我是要在别人的代码基础上做一些东西

原来是
类c继承自a，类d继承自a， 而a定义中test不是虚函数,c和d自己也定义了test

现在需要将c和d的对象的指针都放在一个指针数组，并通过对象的指针调用相应的test

所以需要用到多态，但由于a类代码是一个比较底层的类，被继承得太多了，所以不好修改它的定义

于是我就想到这个方法，新增b类，在b类里面将test改成是虚函数，将c和d改成继承自b类(#defind a b)

上面的测试代码发现我的想发是可行的，但是又不知道会不会出现什么意外情况，所以想在真正动手前确认一下，不要等到改完之后才发现问题，就太迟了