C++模板元編程怎樣進行類型萃取

在 C++ 模板元編程中，可以使用 SFINAE（Substitution Failure Is Not An Error）技術進行類型萃取。SFINAE 是一種編譯器在模板參數替換失敗時不會報錯，而是繼續尋找其他合適的模板特化的機制。

具體來說，可以通過定義一個模板結構體，并在其中使用 std::enable_if 或decltype關鍵字進行類型萃取。例如：

#include <type_traits>

template <typename T, typename std::enable_if<std::is_integral<T>::value, int>::type = 0>
void foo(T t) {
    // 這個函數只接受整數類型的參數
}

int main() {
    foo(42); // 正確：42 是整數類型
    foo(3.14); // 錯誤：3.14 不是整數類型，編譯器會尋找其他合適的模板特化
    return 0;
}

在上面的例子中，foo 函數只接受整數類型的參數。如果傳入的參數不是整數類型，編譯器會使用 SFINAE 技術尋找其他合適的模板特化。在這個例子中，由于沒有其他模板特化匹配傳入的參數類型，編譯器會報錯。

除了 std::enable_if，還可以使用 decltype 關鍵字進行類型萃取。例如：

#include <type_traits>

template <typename T, typename std::enable_if<std::is_same<decltype(std::declval<T>() * 2), int>::value, int>::type = 0>
void bar(T t) {
    // 這個函數只接受可以乘以 2 得到 int 類型的參數
}

int main() {
    bar(4); // 正確：4 可以乘以 2 得到 int 類型
    bar(3.14); // 錯誤：3.14 不能乘以 2 得到 int 類型，編譯器會尋找其他合適的模板特化
    return 0;
}

在上面的例子中，bar 函數只接受可以乘以 2 得到 int 類型的參數。如果傳入的參數不能乘以 2 得到 int 類型，編譯器會使用 SFINAE 技術尋找其他合適的模板特化。在這個例子中，由于沒有其他模板特化匹配傳入的參數類型，編譯器會報錯。