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

Question

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

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) 时发生错误。但是，如果我在没有类 SPACE 的情况下这样做，没关系。例如：

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

有人知道怎么回事吗？

Answer 1

POINT 声明：

   virtual int point_dim() const = 0;

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

   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！