将 RTTI 与普通旧结构 (gcc) 结合使用

Using RTTI with plain old structures (gcc)

我需要"attach"到外部(不可修改)结构某种 RTTI 信息。

正如我从 gcc 实现中看到的那样,带有虚方法的结构在它们的开头还有一个指向与 type_info.

相关的结构的指针

所以我需要通过使用具有两个部分的双指针来对这些外部结构进行操作:数据指针和 "type" 指针。该双指针具有 "normal" RTTI 结构的所有信息。你知道有什么 "legal" 或 hacky 的方法吗

为此创建一个智能指针class:

#include <typeindex>
#include <type_traits>

// minimal implementation
template<typename T>
class RTTIPointer
{
    T* ptr_;
    std::type_index type_;
public:
    template<typename U, typename std::enable_if<std::is_convertible<U*, T*>::value>::type* = nullptr>
    RTTIPointer(U* p) :
        ptr_(p),
        type_(typeid(*p))
    {

    }

    // typename std::add_lvalue_reference<T>::type instead of T&
    // to support void pointers
    typename std::add_lvalue_reference<T>::type operator*() const
    {
        return *ptr_;
    }

    T* operator->() const
    {
        return ptr_;
    }

    T* get() const
    {
        return ptr_;
    }

    std::type_index type() const
    {
        return type_;
    }
};

struct Base { int a; };
struct Derived : Base { int b; };

#include <iostream>

int main()
{
    Derived b;
    b.a = 2;
    b.b = 3;
    RTTIPointer<Base> r(&b);
    std::cout << r->a << "\n" << r.type().name() << "\n";
    RTTIPointer<void> q(&b);
    std::cout << r.type().name() << "\n";
}

输出:

2
7Derived
7Derived