没有 RTTI 的类型相等性测试

Question

说B 和C 派生自A。我希望能够测试从A 派生的任何两个类实例是否是同一类的实例，即A* foo 和A* bar 是否都指向B 实例，而不使用RTTI。我目前的解决方案是这样的：

class A {
protected:

    typedef uintptr_t Code;
    virtual Code code() const = 0;

}; // class A


class B : public A {
protected:

    virtual Code code() const { return Code(&identity); }

private:

    static int identity;

}; // class B


class C : public A {
protected:

    virtual Code code() const { return Code(&identity); }

private:

    static int identity;

}; // class C

使用这种方法，operator== 可以简单地测试first.code() == second.code()。我想从派生类中删除文字identity 并让A 自动找到代码，这样并非所有派生类都必须重复这个习语。同样，我强烈不希望使用 RTTI。有没有办法做到这一点？

注意：我看过最近的问题[1]和[2]，这不是重复的。那些张贴者想要测试其派生类的内容；我只想测试身份。

Answer 1

您应该只使用 RTTI 而不是重新发明轮子。

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

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

Answer 2

你的想法是正确的；也许您可以使用模板消除一些样板：

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。

Answer 3

您可以让基类将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)
    {
    }
};

Answer 4

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