首先定義基礎模板類，表示不包含給定類型

template <typename T, typename... Args> struct contains : public std::false_type {};

接著進行偏特化，將可變模板參數中的類型逐個和目標類型進行比較，直到類型相同或者模板參數列表為空

template <typename T, typename U, typename... Args> struct contains<T, U, Args...> :public std::conditional_t<std::is_same_v<T, U>, std::true_type, contains<T, Args...>> {};

由于基礎模板類的模板參數僅有T和Args兩個，所以如果想要表示三個就需要進行特化

std::conditional是一個編譯期類型選擇模板庫，使用方法如下

std::conditional<bool, type1, type2>::type

當布爾表達式為真時返回type1，為假時返回type2。注意布爾表達式必須可以在編譯期計算出來

在contains的實現中，判斷類型T和U是否相同，如果相同返回std::true_type類型，否則丟棄U，繼續展開Args直到展開為空時，調用基礎模板類，相當于返回std::false_type類型

測試程序

#include <tuple> #include <vector> #include <iostream>template <typename T, typename... Args> struct contains : public std::false_type {};template <typename T, typename U, typename... Args> struct contains<T, U, Args...> :public std::conditional_t<std::is_same_v<T, U>, std::true_type, contains<T, Args...>> {};template <typename... Args> void contains_test(Args&&... ) {if constexpr (contains<std::string, Args...>::value) {std::cout << "contains std::string type" << std::endl;}else {std::cout << "don't contains std::string type" << std::endl;} } int main() {contains_test(10, 2.5, std::vector<int>{1, 2, 3}, std::string("hello world"), 1);return 0; }

總結

以上是生活随笔為你收集整理的C++代码片段（二）判断可变模板参数中是否包含某一特定类型的全部內容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網站內容還不錯，歡迎將生活随笔推薦給好友。