C++ 模板元编程（TMP）是一种在编译时执行计算的技术，它允许我们使用模板来创建泛型代码，这些代码在编译时生成并优化。TMP 可以实现编译期的多态性，这是通过使用类型作为函数参数，并在编译时根据这些类型生成不同的代码来实现的。
以下是一个简单的示例，展示了如何使用 C++ 模板元编程实现编译期的多态性：
template <typename T>
struct MyType {
typedef typename T::value_type value_type;
};
template <typename T>
void printValue(const T& obj) {
std::cout << obj.value_type() << std::endl;
}
int main() {
MyType<std::vector<int>> vec;
MyType<std::list<double>> lst;
printValue(vec); // 输出 int
printValue(lst); // 输出 double
return 0;
}
在上面的示例中，我们定义了一个名为 MyType 的模板结构体，它接受一个类型参数 T，并定义了一个名为 value_type 的嵌套类型。然后，我们定义了一个名为 printValue 的模板函数，它接受一个类型为 T 的对象，并打印出该对象的 value_type 成员。
在 main 函数中，我们创建了两个不同类型的对象：一个 std::vector<int> 对象和一个 std::list<double> 对象。然后，我们使用 printValue 函数打印这些对象，编译器会根据对象的类型生成不同的代码来调用 printValue 函数。
这个示例展示了如何使用 C++ 模板元编程实现编译期的多态性。通过使用模板和类型作为函数参数，我们可以在编译时生成不同的代码，从而实现编译期的多态性。
