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

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

接著進(jìn)行偏特化，將可變模板參數(shù)中的類型逐個(gè)和目標(biāo)類型進(jìn)行比較，直到類型相同或者模板參數(shù)列表為空

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...>> {};

由于基礎(chǔ)模板類的模板參數(shù)僅有T和Args兩個(gè)，所以如果想要表示三個(gè)就需要進(jìn)行特化

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

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

當(dāng)布爾表達(dá)式為真時(shí)返回type1，為假時(shí)返回type2。注意布爾表達(dá)式必須可以在編譯期計(jì)算出來

在contains的實(shí)現(xiàn)中，判斷類型T和U是否相同，如果相同返回std::true_type類型，否則丟棄U，繼續(xù)展開Args直到展開為空時(shí)，調(diào)用基礎(chǔ)模板類，相當(dāng)于返回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; }

總結(jié)

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

如果覺得生活随笔網(wǎng)站內(nèi)容還不錯(cuò)，歡迎將生活随笔推薦給好友。