组合一组容器类并从基础访问它们

Question

我正在尝试使用 boost::mpl::inherit_linearly 来使用用户提供的类型组成容器类：

#include <typeinfo>
#include <iostream>
#include <vector>

#include <boost/mpl/inherit.hpp>
#include <boost/mpl/inherit_linearly.hpp>
#include <boost/mpl/placeholders.hpp>
#include <boost/mpl/vector.hpp>

namespace mpl = ::boost::mpl;

//////////////////////////////////////////////
// Create the container by chaining vectors
//////////////////////////////////////////////

struct Base {};

// Types provided by the user
typedef mpl::vector<int, char, double>::type myTypes;

typedef mpl::inherit_linearly<
    myTypes, 
    mpl::inherit<mpl::_1, std::vector<mpl::_2> >,
    Base
    >::type InheritedContainer;


// Function for accessing containers
template <typename T>
inline std::vector<T>& get_container(Base& c) {
    return static_cast<std::vector<T>& >(c);
}


// Some functions that manipulate the containers
//     NB: These functions only know about the Base and the types
//         they want to access

void my_int_func(Base& b) {
    get_container<int>(b).push_back(42);
}

void my_char_func(Base& b) {
    get_container<char>(b).push_back('c');
}

int main() {
    InheritedContainer container;
    Base& bref = container;

    my_int_func(bref);
    std::cout << "Int: " << get_container<int>(bref).back() << std::endl;

    my_char_func(bref);
    std::cout << "Char: " << get_container<char>(bref).back() << std::endl;

    return 0;
}

我得到的编译错误是：

question.cpp: In function ‘std::vector<T, std::allocator<_CharT> >& get_container(Base&) [with T = int]’:
question.cpp:40:   instantiated from here
question.cpp:31: error: invalid static_cast from type ‘Base’ to type ‘std::vector<int, std::allocator<int> >&’
question.cpp: In function ‘std::vector<T, std::allocator<_CharT> >& get_container(Base&) [with T = char]’:
question.cpp:44:   instantiated from here
question.cpp:31: error: invalid static_cast from type ‘Base’ to type ‘std::vector<char, std::allocator<char> >&’

不应该 Base是由 inherit_linearly 生成的任何类型的基础吗？如果是这样，那么 vector 和其他向量不应该出现在类型层次结构中以供 static_cast 拉出吗？

还有其他方法可以实现此功能吗？

Answer 1

我认为 Base 是 InheritedContainer 的基类，但不是
std::vector。
众所周知，std::vector 的定义如下：

class vector : Base {...

您可能期望以下继承：

class InheritedContainer : Base, std::vector<int>, ... {...

但是，在本例中，从 Base 到 的转换>vector 是一个交叉转换，
所以这不能用static_cast来完成。

如您所知，以下是允许的：

InheritedContainer container;
Base& bref = container;
InheritedContainer& iref = static_cast<InheritedContainer&>(bref);
std::vector<int>& vi = iref;
std::vector<char>& vc = iref;

如果您可以准备 get_container、my_int_func 和 my_char_func，可能是以下类型
std::vector 将专门针对哪些对象是事先已知的。
如果是这样，我认为持有 InheritedContainer& 而不是 Base& 是相关的
一直以来。
如果您必须将 Base 转换为 vector，可能
RTTI（例如将虚拟函数添加到Base）和dynamic_cast将启用
演员阵容。