Question

假设我有一个形状 shape 的基类和两个派生类 square 和 circle 。现在我想要一个没有指定形状的函数

double foo(shape S)
{
return getArea;
}

但是在打电话时会打印正方形的区域

square sq();
foo(sq);

和调用时的圆圈区域

circle cr();
foo(cr);

因此，我在基类（仅返回0）和两个派生类中的相应虚函数中声明了虚函数。但是，当使用方形或圆形对象调用 foo 时，我总是得到基类的结果。怎么做得好？

编辑：

现在代码正常运行，这是一个简单的例子。解决方案确实是通过引用从 shape 类（派生与否）传递对象。这允许定义一个接受所有类型的派生对象的泛型函数：

#include<iostream>

using namespace std;


class shape
{
public:
  shape (double L_par): L(L_par){};
  double getL(){return L;}
  virtual double getArea(){return 0;}

private:
    const double L;
}; 
class square: public shape
{
public:
  square (double L_par): shape(L_par),area(L_par*L_par){cout<<"square with area="<<area<<endl;};
   virtual double getArea(){return area;}

private:
    const double area;
};
class circle: public shape
{
public:
  circle (double L_par): shape(L_par),area(3.1415*L_par*L_par){cout<<"circle with area="<<area<<endl;};
  virtual double getArea(){return area;}

private:
const double area;
};

void foo(shape &shp)
{
  cout<<"L="<<shp.getL()<<endl;
  cout<<"area="<<shp.getArea()<<endl;
}

int main(int argc, char* argv[])
{
  double L=4;
  square sq1(L);
  circle cr1(L);

  foo(sq1);
  foo(cr1);
  cout<<sq1.getArea()<<endl;
  cout<<cr1.getArea()<<endl;
  return 0;
}

Answer 1

您通过值传递shape：

double foo(shape S) { .... }

这意味着该函数只包含对象的shape部分的副本。这称为object slicing。您可以通过传递引用来解决此问题：

double foo(const shape& S) { .... }

Answer 2

通过C ++进行动态绑定是使用引用和指针实现的。因此，您的函数foo应该参考形状;

double foo(shape &s) {
    return s.getArea(); //your virtual function?
}

基类中的虚函数

2 个答案: