可以用模板替换类类型信息宏吗？

debugcn 发表于 Dev

达伦

我有一个传统的大类继承树（域类），它实现了它自己的类类型信息和注册表。这样做的方式是每个类都“调用”一个像这样的宏

class MyClass : public MyParent {
  MY_DECLARE_DYNAMIC(MyClass)

  ...
};

//in .c file:
MY_IMPLEMENT_DYNAMIC(MyClass, MyParent)

基本上这些宏插入了一个静态函数，它是一个 meyer 的单例，返回一个指向MyClassInfo它的指针，如下所示：

class MyClass : public MyParent {
    MyClassInfo* GetClassInfo_() {
      static MyClassInfo instance=...;
      return &instance;
    }

    virtual MyClassInfo* GetClassInfo() const;
};

宏插入的另一件事是一个虚函数，用于检索类信息以供运行时使用（即，从某个基类型指针）。

MyClassInfo* 保存类的字符串名称和获取父类信息的某种方式（实现当前为此使用函数指针）。

现在可以通过直接写入来使用此信息：MyClass::GetClassInfo_()或myClass.GetClassInfo()

在实际情况中，有（您可能已经猜到）更多细节，但我认为这足以说明这个概念，只是说每个类都可以有更多的特征，如数据（例如，一个枚举值指示这是否特定类已弃用）

这种模式在 WxWidgets 和 MFC https://docs.microsoft.com/en-us/previous-versions/ywz9k63y(v=vs.140) 中也是众所周知的。

有没有人有摆脱这些宏的解决方案？除了手工编写所有内容 - 例如使用模板或虚拟继承等。最好是不增加每个对象的大小（不仅仅是一个虚拟函数）。

坦率

使代码更好的一种合理且简单的方法是将的静态实例MyClassInfo完全移出类，并使其成为模板化函数：

这是一个完整的例子：

#include <type_traits>

class MyClassInfo {
public:
    virtual ~MyClassInfo() {}
    virtual MyClassInfo* get_parent() const = 0; 
};

template<typename T>
MyClassInfo* get_class_info();

template<typename T>
class MyClassInfo_impl : public MyClassInfo {
public:
    using parent_t = typename T::parent_t;
    MyClassInfo* get_parent() const override {
        if constexpr(std::is_same_v<parent_t, void>) {
            return nullptr;
        }
        else {
          return get_class_info<parent_t>();
        }
    }
};

template<typename T>
MyClassInfo* get_class_info() {
    static MyClassInfo_impl<T> impl;
    return &impl;
}

class Parent {
public:
    // Could probably be inferred through SFINAE instead.
    using parent_t = void;
};

class MyClass : public Parent {
public:
    using parent_t = Parent;
    virtual MyClassInfo* GetClassInfo() { 
      return get_class_info<MyClass>();
    } 
};

int main() {
    auto class_info = get_class_info<MyClass>();
}