无RTTI的类型相等性测试

你应该使用RTTI而不是重新设计轮子。

如果坚持不使用rtti,可以使用crtp和函数局部静态变量,以避免将函数写入每个派生类。根据我为维基百科编写的示例代码改编: http://en.wikipedia.org/wiki/Curiously_recurring_template_pattern#Polymorphic_copy_construction

另一种选择是读取vtable指针(通过 this 和指针算法),但这将取决于编译器和平台,因此它是不可移植的。

您的想法是正确的;也许您可以用模板消除一些样板文件:

class TypeTagged {
public:
  virtual Code code() const = 0;
}

template <class T>
class TypeTaggedImpl: public virtual TypeTagged {
public:
  virtual Code code() const { return Code(&id); }
private:
  static int id;
}

那么您的客户机类只需要这样声明:

class A: public TypeTaggedImpl<A> { ... }

class B: public A, public TypeTaggedImpl<B> { ... }

的不同实例化 TypeTagged 意思是不同的类型 id 字段和不同的ID;虚拟基类型意味着 code 返回最派生的类型。

你可以坐头等舱 id 作为构造函数参数并实现 identity() 基类本身中的函数。然后就不需要在派生类中重复代码了。在派生类构造函数中,可以执行如下操作 derived::derived(): base(0) 样例代码:

class A
{
public:
    A(int n) : m_id(n)
    {
    }
    virtual ~A(){}

    virtual int id() const 
    {
        return m_id;
    }

private:
    int m_id;
};

class B : public A
{
public:
    B() : A(0)
    {
    }
};

您可以使用这两个宏 __FILE__ __LINE__ 作为你的代码
这样可以避免碰撞问题
可以将此值映射到int