Question

在深入研究优秀的boost元组类（tuple_basic.hpp）的源代码后，我可以看到在'get'方法中使用递归模板化算法来访问元组成员。

我正在努力理解的是数字模板化参数如何映射到特定的成员名称？另外，递归模板函数不会总是收敛到第一个元素（如，停止条件，递归模板函数，得到＆lt; 0＆gt;（））?,如何访问大于零的元素？

Answer 1

作为一个婴儿的例子，你可以想象这样的东西 - 现在只是一个固定类型的元组：

template <int N> struct MyTuple : MyTuple<N - 1>
{
    T data;
};
template <> struct MyTuple<0> { };

现实世界的解决方案当然会为数据类型提供可变参数模板参数，并且还提供可变参数构造函数，使用第一个元素构造data并将其余元素传递给基础构造函数。

现在我们可以尝试访问i元素：

template <int K> struct get_impl
{
    template <int N> static T & get(MyTuple<N> & t)
    {
        return get_impl<K - 1>::get(static_cast<MyTuple<N - 1>&>(t));
    }
};
template <> struct get_impl<0>
{
    template <int N> static T & get(MyTuple<N> & t)
    {
        return t.data;
    }
};

这里的关键是在K = 0提取实际元素时进行特化，并在继续存在之前逐步建立继承层次结构。最后，我们通过函数模板弹出元组类型推导：

template <int K, int N> T & get(MyTuple<N> & t)
{
    return get_impl<K>::get(t);
}

boost元组'get'方法如何工作？

1 个答案: