使用 Boost 库中的 mpl 模块能够实现元编程（MetaProgramming），其中的 at 函数可以获取指定位置上的序列元素

使用 Boost 库中的 mpl 模块能够实现元编程（MetaProgramming），其中的 at 函数可以获取指定位置上的序列元素。在本篇文章中，我们将介绍如何编写一个带有测试程序的 at 函数实现，并展示其相关用法。

首先，我们需要定义一个序列类型。在这里，我们使用一个包含了整数 1 到 4 的序列作为例子：

#include <boost/mpl/vector.hpp>
#include <boost/mpl/integral_c.hpp>

using seq = boost::mpl::vector<
    boost::mpl::integral_c<int, 1>,
    boost::mpl::integral_c<int, 2>,
    boost::mpl::integral_c<int, 3>,
    boost::mpl::integral_c<int, 4>
>;

接着，我们编写 at 函数实现。该函数的作用是获取序列 seq 中指定位置的元素：

#include <boost/mpl/at.hpp>

template <typename Seq, int I>
struct at
{
    using type = typename boost::mpl::at<Seq, boost::mpl::integral_c<int, I>>::type;
};

在这里，我们定义了 at 结构体模板，它接受序列类型 Seq 和整数值 I 作为参数，并通过调