26、Boost.MPL 库入门：boost::mpl::vector、boost::mpl::for_each、boost::mpl::transform

说到模板元编程，Boost.MPL 库绝对是个绕不开的里程碑。我刚开始接触元编程那会儿，手写递归模板类处理类型列表，代码又长又容易把人绕晕。后来发现了 MPL，说实话，有种「终于有人把这事儿给标准化了」的感觉。

这一章，咱们就聊聊 MPL 里最常用的三个工具：mpl::vector、mpl::for_each 和 mpl::transform。掌握了它们，你就能在编译期像操作普通容器一样操作类型了。

26.1 什么是 Boost.MPL？

Boost.MPL（Meta-Programming Library）是一套专门为编译期计算设计的库。它提供了类型容器、算法和迭代器——说白了，就是把 STL 那套东西搬到了类型世界里。

你想想看，STL 的 std::vector<int> 存的是整数，MPL 的 mpl::vector<int, float, double> 存的就是类型本身。STL 有 std::for_each 遍历元素，MPL 有 mpl::for_each 遍历类型。STL 有 std::transform 转换元素，MPL 有 mpl::transform 转换类型。

这个类比一旦建立起来，MPL 的学习曲线就平缓多了。

26.2 mpl::vector：编译期的类型容器

mpl::vector 是 MPL 中最基础的容器。它的用法非常直观：

#include <boost/mpl/vector.hpp>
#include <boost/mpl/size.hpp>
#include <boost/mpl/at.hpp>

// 定义一个类型列表
using types = boost::mpl::vector<int, double, char, float>;

// 获取大小（编译期常量）
constexpr auto sz = boost::mpl::size<types>::value;  // 4

// 按索引访问类型
using second_type = boost::mpl::at_c<types, 1>::type;  // double

我在项目中遇到过这样一个场景：需要根据配置参数动态选择不同的算法实现。用 mpl::vector 把所有可能的算法类型列出来，然后通过索引在编译期选定，既安全又高效。

除了 vector，MPL 还提供了 mpl::list、mpl::set 和 mpl::map。它们的区别在于底层实现和查找效率：

容器	特点	适用场景
mpl::vector	随机访问快，适合按索引操作	类型数量固定，需要频繁按位置访问
mpl::list	前向遍历快，适合头部插入/删除	类型列表需要动态构建
mpl::set	元素唯一，查找 O(log n)	需要去重或快速判断类型是否存在
mpl::map	键值对存储，类型到类型的映射	类型分发、策略选择

26.3 mpl::for_each：在运行时遍历编译期类型

这个函数很有意思——它连接了编译期和运行时。你有一个类型列表，想在运行时对每种类型执行某个操作，mpl::for_each 就是干这个的。

#include <boost/mpl/for_each.hpp>
#include <boost/mpl/vector.hpp>
#include <iostream>

struct print_type {
    template<typename T>
    void operator()(T) const {
        std::cout << typeid(T).name() << std::endl;
    }
};

int main() {
    using types = boost::mpl::vector<int, double, char>;
    boost::mpl::for_each<types>(print_type());
    return 0;
}

输出结果（不同编译器可能不同）：

i
d
c

嗯，这里要注意：mpl::for_each 的第二个参数是一个函数对象，它的 operator() 必须是模板。因为遍历过程中，编译器会为列表中的每个类型生成一个实例化版本。

我曾经用这个特性做过一个序列化框架：把结构体的所有字段类型放在 mpl::vector 里，然后用 for_each 在运行时逐个序列化。代码量减少了一半，而且新增字段类型只需要改类型列表就行。

26.4 mpl::transform：编译期的类型转换

mpl::transform 做的事情和 STL 的 std::transform 一样——把一个容器里的每个元素映射成新元素，生成一个新容器。只不过这里操作的是类型。

#include <boost/mpl/transform.hpp>
#include <boost/mpl/vector.hpp>
#include <boost/mpl/placeholders.hpp>
#include <type_traits>

using namespace boost::mpl::placeholders;

// 给每个类型加上 const 限定
using types = boost::mpl::vector<int, double, char>;
using const_types = boost::mpl::transform<
    types,
    std::add_const<_1>
>::type;

// const_types 等价于：mpl::vector<const int, const double, const char>

这里用到了 MPL 的占位符 _1，它类似于 lambda 表达式中的参数占位。你还可以用 _2、_3 处理多参数的情况。

更复杂的例子——提取指针类型的底层类型：

#include <boost/mpl/transform.hpp>
#include <boost/mpl/vector.hpp>
#include <type_traits>

// 自定义元函数：去掉指针
struct remove_pointer {
    template<typename T>
    struct apply {
        using type = typename std::remove_pointer<T>::type;
    };
};

using ptr_types = boost::mpl::vector<int*, double*, char*>;
using value_types = boost::mpl::transform<
    ptr_types,
    remove_pointer
>::type;

// value_types 等价于：mpl::vector<int, double, char>

你想想看，这种能力在实际项目中多有用。比如你有一个工厂类，需要根据配置类型生成对应的处理器。用 transform 把配置类型映射成处理器类型，然后实例化，整个过程在编译期完成，没有任何运行时开销。

26.5 三者联动的实际案例

咱们来看一个综合例子，把 vector、for_each 和 transform 串起来：

#include <boost/mpl/vector.hpp>
#include <boost/mpl/transform.hpp>
#include <boost/mpl/for_each.hpp>
#include <boost/mpl/placeholders.hpp>
#include <iostream>
#include <type_traits>
#include <string>

using namespace boost::mpl::placeholders;

// 原始类型列表
using raw_types = boost::mpl::vector<int, double, std::string>;

// 转换为指针类型
using ptr_types = boost::mpl::transform<
    raw_types,
    std::add_pointer<_1>
>::type;

// 运行时打印指针类型
struct printer {
    template<typename T>
    void operator()(T) const {
        std::cout << typeid(T).name() << std::endl;
    }
};

int main() {
    std::cout << "Pointer types:" << std::endl;
    boost::mpl::for_each<ptr_types>(printer());
    return 0;
}

这个例子展示了 MPL 的典型工作流：定义类型容器 → 用算法转换 → 在运行时消费结果。整个过程类型安全、零开销，而且代码意图非常清晰。

26.6 知识体系总览

下面这张图总结了本章的核心内容，帮你建立整体认知：

从这张图可以看得很清楚：mpl::vector 是数据基础，mpl::transform 是转换引擎，mpl::for_each 是运行时出口。三者配合，就能在编译期完成大部分类型计算工作。

26.7 小结

Boost.MPL 虽然看起来有点「老派」，但它的设计思想至今仍然影响着 C++ 标准库和许多现代库。我个人觉得，理解 MPL 的核心概念，对掌握 C++ 模板元编程有非常大的帮助。

这一章我们聊了：

• mpl::vector 作为编译期类型容器的用法
• mpl::for_each 如何连接编译期和运行时
• mpl::transform 实现类型映射的几种方式
• 三者组合使用的实际案例

说白了，MPL 就是一套编译期的 STL。你如果熟悉 STL 的算法和容器，那 MPL 的学习成本其实很低。差别只在于：STL 操作的是值，MPL 操作的是类型。

---