C++ 基类列表以及如何确定类类型

Question

我有一个基类line，它有一个子类arc（请注意，其他类将从line继承）...我需要存储一个列表，或者vector的line对象可能是line 或arc。 arc 具有line 没有的附加属性。因此，当我处理我的列表或line 对象中的vector 时，如何确定该对象是line 还是arc？

我准备了一个小示例程序，并在 cmets 中放入了我将尝试完成的示例的伪代码。这甚至可能吗？

#include <iostream>
#include <vector>
#include <iterator>

using namespace std;

struct point
{
    double x;
    double y;
};

class line
{
    public:

        point start;
        point end;

};

class arc: public line
{
    public:

        point center;

};


int main( int argc, char* argv[] )
{


    vector<line*> a;
    a.push_back( new line );
    a.push_back( new arc );

    for( vector<line*>::iterator i = a.begin(); i < a.end(); i++ )
    {
        (*i)->start.x = 10;
        (*i)->start.y = 11;
        (*i)->end.x = 101;
        (*i)->end.y = 102;
        //if( type of (*i) is arc ) 
        //{
        //  (i)->center.x = 111;
        //  (i)->center.y = 112;
        // }
    }

    return 0;

}

Answer 1

在你的循环中，试试这个：

arc *ar = dynamic_cast<arc *>(*i);
if ( NULL != ar ) {
 // it's an arc!
}else {
  // it's just a line
}

Sid 也是对的……使用虚函数代替。在这种简单的情况下使用 dynamic_cast 通常被认为是糟糕的风格。

Answer 2

class curve
{
public:
    typedef void * type;

public:
    virtual type rtti() const = 0;
};

#define     
DEFINE_RTTI  \
    public: \
        virtual type rtti() const { return desc(); }        \
    public: \
        inline static type desc() { return &desc; } \

class line : public curve
{
    DEFINE_RTTI;
};

class arc : public curve
{
    DEFINE_RTTI;
};

///////////////////////////////////////////////////////////////////////////////
//  Main program
int main()
{
    arc arc_;
    line line_;

    curve *curve_ = new arc();

    _ASSERT(arc_.rtti() == arc::desc());
    _ASSERT(arc_.rtti() != line::desc());

    _ASSERT(line_.rtti() != arc::desc());
    _ASSERT(line_.rtti() == line::desc());

    return 0;
}

这个 rtti 在一个模块（exe 或 dll）中工作，如果你想在多个模块中使用它，你必须构建类字典

Answer 3

为什么需要确定？如果你绝对需要，你可以通过 RTTI 使用 typeid 字段。但是通常如果您使用虚拟方法，如果您的程序设计良好，您不需要知道类是什么。在基类引用或指针上调用虚函数将根据它所指向的内容调用适当的实例方法。 这就是通过类层次结构实现多态性的全部意义所在。

但同样，如果您绝对需要知道实例属于哪个类，请使用 typeid。

此外，您不能通过基类指针访问派生类成员数据。您只能通过基类接口进行交谈。这就是抽象的全部意义所在。 一种丑陋的解决方法是创建一个胖接口，在基类接口中为这些数据成员提供访问器/修改器作为虚拟成员函数。