抽象类型作为类成员变量的问题

problem with an abstract type as class member variable

本文关键字：成员 变量 问题 抽象类 类型 抽象      更新时间：2023-10-16

我尝试在类定义中使用抽象类类型作为成员变量，但不知何故它有一些问题。下面是抽象类的类型:

class POINT{
   public:
       virtual int point_dim() = 0;
       /*other virtual functions...*/ 
}

下面是继承的类:

class POINTX : public POINT{
   public:
       int point_dim(){return 10;}
}

我创建了另一个类，使用POINT作为成员变量，因为POINT是一个纯虚类，所以我只能将它声明为指针:

class SPACE{
   public:
       POINT* m_point;
       /*some other declarations*/
}

但是当我在main中使用它时，它不像我期望的那样工作:

int main(){
    POINTX *ptx = new POINTX();
    SPACE space;
    space.m_point = (POINT*)ptx;
    //some function call use POINT as parameter(pass by reference):
    func(*space.m_point, ....);
}
调用func(space.m_pint)时发生

错误。然而，如果我这样做没有类空间，这是可以的。例如:

int main(){
    POINTX *ptx = new POINTX();
    POINT *m_point = (POINT*)ptx;
    //some function call use POINT as parameter(pass by reference):
    func(*m_point, ....);
}

谁知道怎么回事?

POINT声明:

   virtual int point_dim() const = 0;

因此POINTX必须有一个称为point_dim的const方法:

   int point_dim() const {return 10;}

如果没有这个，它将有两个point_dim()方法，一个非const，一个const但纯virtual，留下POINTX作为抽象。

只要func()以引用指向POINT:

int func(const POINT& pt)
{
    const int dim = pt.point_dim();
    // ...
}

你可以这样调用它:

func(*space.m_point);

另外，请注意这里不需要c风格的强制转换:

space.m_point = ptx;

当你完成时不要忘记delete ptx !

相关文章：