类型列表是模板元编程中的基础结构，用于在编译期存储和操作一组类型，不涉及运行时开销。它通过模板语法封装多个类型，并提供访问、遍历、变换等能力，如定义 template
在模板元编程中，类型列表（type list）是一种常见的编排方式，用于在编译期存储和操作一组类型。它本质上是一个类型级别的容器，不涉及运行时数据，只在编译阶段参与逻辑处理。实现一个类型列表的关键在于如何用模板语法将多个类型封装起来，并提供基本的访问、遍历、变换等能力。
什么是类型列表
类型列表是模板元编程中的一种基础结构，它的作用就像运行时的数组或 vector，只不过它保存的是类型而不是值。比如我们想表达“int、float、double”这三个类型组成的集合，就可以用一个类型列表来表示：
template <typename... Ts>
struct type_list {};这样定义之后，type_list<int float double></int> 就代表了一个包含三个类型的列表。这个结构本身不会产生任何运行时开销，只是在编译阶段被用来做元编程运算。
如何访问和操作类型列表中的元素
一旦有了类型列表，就需要有办法去访问其中的元素。常见的操作包括获取第 N 个类型、获取列表长度、追加新类型、过滤或映射等。
举个例子，如果我们想从类型列表中取出第 N 个类型，可以写一个辅助模板：
template <std::size_t N, typename TList>
struct type_at;
template <std::size_t N, template <typename...> class List, typename... Ts>
struct type_at<N, List<Ts...>> {
using type = typename std::tuple_element<N, std::tuple<Ts...>>::type;
};这样就能通过 type_at::type 来获取第二个类型。
需要注意的是，这种写法依赖了 std::tuple_element，虽然看起来有点取巧，但在大多数现代编译器中是可行的。
另外一种更“原生”的做法是通过递归展开参数包来手动定位类型，不过代码会略显复杂一些。
常见操作的设计思路
除了获取单个元素之外，还有一些常用的操作：
- 获取列表长度：可以通过
sizeof...(Ts)实现。 - 判断是否为空：如果参数包为空，则为空列表。
- 添加元素：可以用继承或别名模板的方式扩展。
例如添加一个 push_back 操作：
template <typename List, typename T>
struct push_back;
template <template <typename...> class List, typename... Ts, typename T>
struct push_back<List<Ts...>, T> {
using type = List<Ts..., T>;
};这样就能做到在编译期动态地往类型列表里添加新类型。
其他常见操作还包括：
- 过滤出某些符合条件的类型
- 映射整个列表，对每个类型做某种转换
- 合并两个类型列表
这些操作都可以基于模板特化和参数包展开来实现。
类型列表的实际应用场景
类型列表常用于以下场景：
- 编译期反射：根据类型列表自动生成构造函数、序列化函数等
- 策略组合：将多个策略类型打包成一个列表，在运行时选择使用哪个
- 泛型组件配置：如事件系统、插件系统中声明支持的类型集合
比如我们可以用类型列表配合工厂模式，自动注册所有支持的类：
using supported_types = type_list<Foo, Bar, Baz>;
// 工厂函数根据名字创建对应类型的对象
template <typename List>
struct factory;
template <typename... Ts>
struct factory<type_list<Ts...>> {
static std::unique_ptr<Base> create(const std::string& name) {
return detail::make_one<Ts...>(name);
}
};这只是一个简化示例，实际中可以根据需要加入更多的元编程技巧。
基本上就这些。类型列表虽然看起来简单，但它是很多高级模板技巧的基础。只要掌握好参数包展开、模板特化和递归结构，就能灵活运用它来构建强大的编译期逻辑。
