c++ - 未知大小/参数类型的元组

Question

我需要创建一个映射，从整数到元组集合，单个集合中的元组具有相同的大小。问题在于元组的大小及其参数类型可以在运行时确定，而不是在编译时确定。我在想像：

std::map<int, std::set<boost::tuple> >

但不确定如何准确地做到这一点，主要是使用指针。

这样做的目的是创建临时关系（表），每个都有一个唯一的标识符（键），也许你有另一种方法。

Answer 1

的目的boost::tuple是混合任意类型。如果，如你所说，

我只插入整数

那么你应该使用map< int, set< vector< int > > >. （如果我是你，我会扔一些typedefs。）

但是，要回答原始问题，boost::tuple在运行时不允许使用任意类型。boost::any做。但是，any不支持比较，因此如果您想在set.

typedef vector< boost::any > tuple;
struct compare_tuple { bool operator()( tuple const &l, tuple const &r ) const {
    assert ( l.size() == r.size() );

    for ( tuple::iterator lit = l.begin(), rit = r.begin();
          lit != l.end(); ++ lit, ++ rit ) {
        assert ( lit->type() == rit->type() );

        if ( lit->type() == typeid( foo ) ) { // find the type and perform "<"
            return boost::any_cast<foo>(*lit) < boost::any_cast<foo>(*rit);
        } else if ( lit->type() == typeid( bar ) ) {
            return boost::any_cast<bar>(*lit) < boost::any_cast<bar>(*rit);
        } /* etc; you will need to enumerate all the types you can insert */
    }
} };

typedef std::map< int, std::set< tuple, compare_tuple > > main_map;

Answer 2

作为一个现代的旁注（因为以前的答案是大约 2010 年），今天的可变参数模板对此很有用：

template<typename... Args> //Accept any number of arguments and types
auto MyFunction(std::tuple<Args...> &T)->void
{
   //Do stuff...
}

Answer 3

如果您有一些共同的基类，则只能将这些不同的集合存储在同一个集合中。您可以编写一个抽象接口，然后为每种表/元组实现它。问题是，通常这样的接口往往非常混乱，如果你有许多类型的表/元组，你可能会发生类爆炸。Boost.Any对于这样的接口可能很有用（因为您必须动态处理不同的数据类型）。

Answer 4

如果参数类型有共同点，将其捕获到抽象基类中，并使元组包含指向该基类的指针：

class MyParamBase {
public:
    virtual int getFoo() = 0;
    virtual void setFoo(int) = 0;
};

std::map<int, std::set<MyParamBase*> > container;

（为简洁起见省略了 boost::tuple。不知道为什么需要一组元组。）

然后，您可以从 MyParamBase 派生具体参数类型并创建它们并将它们插入到地图中：

class SomeParam: MyParamBase {
public:
    virtual int getFoo() { ... }
    virtual void setFoo(int a) { ... }
};

std::set<MyParamBase*> some_set;
some_set.insert(new SomeParam());
container[123] = some_set;

如果参数类型没有共同点 - 不要将它们放入同一个映射中。他们很可能不属于一起。