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