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++ 模板元編程實現編譯期的多態性。通過使用模板和類型作為函數參數，我們可以在編譯時生成不同的代碼，從而實現編譯期的多態性。
