按类型获取元组元素(pre C++0x)

Question

我有一个模板化类，它包含一个元组，并希望能够在编译时按类型检索元素。为了简化起见，容器类被限制为最多三个条目：

template< class U = null_type, class V = null_type, class W = null_type >
class TupleContainer {
public:
    template< class ReturnT >
    ReturnT& getElementbyType() {
        return get< ReturnT >(data_);
    }
private:
    boost::tuple< U, V, W > data_;
}

阅读获取元组元素类型的索引和 对于 std：：tuple 的答案，如何按类型获取数据，以及如何按索引获取类型？我通过递归访问者方法实现了这一点，并且使用具有 c++11 功能的 GNU C++ 编译器工作得很好。

template< int Index, class Search, class First, class... Types >
struct get_internal
{
    typedef typename get_internal< Index + 1, Search, Types...>::type type;
    static constexpr int index = Index;
};
template< int Index, class Search, class... Types >
struct get_internal< Index, Search, Search, Types... >
{
    typedef get_internal type;
    static constexpr int index = Index;
};
template< class T, class... Types >
T& get( std::tuple< Types... >& tuple )
{
    return std::get< get_internal< 0, T, Types... >::type::index >(tuple);
}

我现在必须将我的代码移植到窗口。由于某些外部库的限制，我必须使用Visual Studio 2010，它似乎不支持可变参数模板。

我确定有一个解决方法（因为 boost：：tuple 也可以在不支持可变参数模板的情况下使用），但我对整个模板元编程主题仍然很陌生，还没有找到解决方案。

那么有没有人知道在Visual Studio 2010中没有可变参数模板的情况下解决此问题的方法？

顺便说一句：访问者方法即使对于具有三个以上元素的元组也很有效。容器将被限制为 3 或 4 个元组元素，所以我甚至不介意将索引硬编码到我的实现中。

Answer 1

您不需要预处理器来生成大量重载，只需调整您的get_internal方法即可在没有可变参数模板的情况下工作。它们需要具有类似数量的参数，例如TupleContainer：

template< class R, class U, class V, class W >
struct getIndex
{
    static const int value = getIndex< R, V, W, null_type >::value + 1;
};
template< class R, class V, class W >
struct getIndex< R, R, V, W >
{
    static const int value = 0;
};
template< class R >
struct getIndex< R, null_type, null_type, null_type >
{
    // let it fail if the type is not found and avoid infinite recursion
};

现在您可以使用

template< class R >
R& getElementByType() {
    return get< getIndex< R, U, V, W >::value >(data_);
}