C++派生类的类型列表

pw136qt2 于 2023-08-09 发布在其他

关注(0)|答案(2)|浏览(86)

使用CRTP（奇怪的循环模板模式），您可以提供一个基类，并提供从它派生的类的知识。创建一个数组来存储从基类派生的每个类的示例并不是那么困难（参见示例）

class Base{
    public:
        static std::vector<Base *> m_derivedInstances;
};

template <class Derived>
class CRTPBase : public Base {
    public:
        static bool m_temp;
        static bool addInstance()
        {
            m_derivedInstances.push_back(new Derived);
            return true;
        }
};
template <class Derived>
CRTPBase<Derived>::m_temp = CRTPBase<Derived>::addInstance();

字符串
我想知道是否可以创建一个包含所有派生类类型的Typelist（参见http://www.research.ibm.com/designpatterns/pubs/ph-jun00.pdf）。问题是，每次编译器看到一个从Base派生的新类时，它都需要向列表中添加一个新类型，但Typelists是不可变的（可以创建一个新的列表，并向其添加新类型，但据我所知，向列表中添加元素是不可能的。最后，我希望有这样的东西：

struct DerivedClassHolder {
    typedef Loki::TL::MakeTypeList</*list all derived classes here*/>::Result DerivedTypes;
};

型
最终目标是能够迭代所有从Base派生的类。

c++

来源：https://stackoverflow.com/questions/10707552/c-typelist-of-derived-class

2条答案

按热度按时间

ej83mcc01#

这可以使用伪类型Map来完成。下面是一些使用boost：：mpl的示例代码。“Implem”的显式定义可以在每个对应的implem头部中使用宏来完成。

#include <iostream>
#include <boost/mpl/vector.hpp>
#include <boost/mpl/eval_if.hpp>
#include <boost/mpl/identity.hpp>
#include <boost/mpl/for_each.hpp>
#include <boost/mpl/push_front.hpp>
#include <boost/mpl/empty_sequence.hpp>
#include <boost/type_traits/is_same.hpp>

using namespace boost::mpl;
using namespace boost;

// A type map. Implem #N of type Key is type (default: void)

template <typename Key, int N>
struct Implem
{
  public:
    typedef void type;
};

// Type vector building functions
// void, the default type, is used to stop the recursion

template <typename Key, int N = 1>
struct ImplemToList;

template <typename Key, typename Item, int N>
struct ImplemListItem
{
  public:
    typedef typename push_front<typename ImplemToList<Key, N + 1>::type, Item>::type type;
};

template <typename Key, int N>
struct ImplemToList
{
  public:
    typedef typename Implem<Key, N>::type item;
    typedef typename eval_if<is_same<item, void>,
                             identity<vector<> >,
                             ImplemListItem<Key, item, N> >::type type;
};

// Example code: an interface with two implems

class Interface
{
  public:
    virtual const char* name() const = 0;
};

class Implem1 : public Interface
{
  public:
    virtual const char* name() const { return "implem_1"; }
};

class Implem2 : public Interface
{
  public:
    virtual const char* name() const { return "implem_2"; }
};

template <>
struct Implem<Interface, 1>
{
  public:
    typedef Implem1 type;
};

template <>
struct Implem<Interface, 2>
{
  public:
    typedef Implem2 type;
};

void print(Interface const& i)
{
  std::cout << i.name() << std::endl;
}

int main()
{
  typedef ImplemToList<Interface>::type IList;
  for_each<IList>(&print);
}

字符串

赞(0）回复(0）举报 2023-08-09

wvt8vs2t2#

您的类型列表只能手工创建。你提到的问题，不变性，是无法克服的。

赞(0）回复(0）举报 2023-08-09