boost::mp11库中的mp_pop_front函数用于移除类型列表中的第一个元素，返回一个新的类型列表

boost::mp11库中的mp_pop_front函数用于移除类型列表中的第一个元素，返回一个新的类型列表。在本文中，我们将编写一个测试程序，使用mp_pop_front函数演示其用法。

为了使用boost::mp11库，我们需要在程序中包含头文件< boost/mp11/list.hpp>。我们还需要一个类型列表，比如说，我们定义一个由int、float和double三种类型组成的列表。

#include <iostream>
#include <boost/mp11/list.hpp>

using namespace boost::mp11;

int main() {
  // 定义类型列表
  using type_list = mp_list<int, float, double>;

  // 移除第一个元素
  using new_list = mp_pop_front<type_list>;

  // 输出新列表的类型
  std::cout << typeid(new_list).name() << std::endl;
  
  return 0;
}

在上面的程序中，我们首先定义了一个类型列表type_list，其中包含三个不同的类型。我们然后使用mp_pop_front函数移除了第一个元素，得到了一个新的类型列表new_list。最后，我们使用typeid运算符输出新列表的类型名。

我们可以编译并运行上述程序，得到以下输出结果：

4mp11                               // 编译器特定的类型名称