C++在派生类指针数组上调用虚函数

Question

我有一个指针数组，指向派生类对象。
代码总是调用 Base::func()，即使它在基类中是虚的，并且数组中只有派生类对象。

double Base::func2(){
    ...
    for(unsigned i=0;i<elementNum;i++){
        array[i]->func1();
        ...
    }

带有虚函数的Base:

class Base{ 
        ...
public:
    virtual double func1()
};

派生类:

class Derived: public Base{
        ...
public:
    double func1(){...}
};

有一个push函数会导致这个问题:

template<typename T>
void Stack::push(T element){
    Base** pTemp= new Base*[elementNum+1];
    for(unsigned i=0;i<elementNum;i++){
    pTemp[i]=new Base;
    *pTemp[i]=*array[i];
}
pTemp[elementNum]=new Base;
*pTemp[elementNum]=element;
delete[] array;
array=pTemp;
elementNum++;
return;
}

Answer 1

There's a push function that can cause the problem

点对点!分配给临时数组时，您正在切掉位于原始数组中的对象的派生部分(如果首先有 Derived 对象，则不会显示相关代码) :

pTemp[i]=new Base;    // creates a Base object
*pTemp[i]=*array[i];  // object slicing here, Derived part gets lost

阅读有关对象切片的更多信息 here .

如果希望保留对象的动态类型，则需要复制指针。