1

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

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_;
}

阅读Get index of a tuple element's type和For std::tuple, how to get data by type, and how to get type by index的答案？我通过递归访问者方法实现了这一点，并且使用具有 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);
}

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

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

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

顺便说一句：即使元组的元素远远超过三个，访问者方法也能很好地工作。容器将被限制为 3 或 4 个元组元素，所以我什至不介意将索引硬编码到我的实现中。

4

1 回答 1

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_);
}
于 2013-09-15T14:00:22.347 回答