c++ - boost tuple 'get' 方法是如何工作的？

Question

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

我正在努力理解的是如何将数字模板化参数映射到特定的成员名称？此外，递归模板函数不会总是收敛到第一个元素（如递归模板函数的停止条件, get<0>())?, 如何访问大于零的元素？

Answer 1

作为一个小例子，你可以想象这样的事情——现在只是一个固定类型的元组：

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

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

现在我们可以尝试访问第ith 个元素：

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