5
如何檢查模板參數是否爲std::vector<T>::iterator？檢查模板參數是否爲std :: vector <T> :: iterator
對於void類型，我們有std :: is_void。 std::vector<T>::iterator有沒有這樣的事情？
A
回答
6
你可以創建一個特點：
#include <vector>
#include <list>
#include <type_traits>
template <class T, class = void>
struct is_vector_iterator: std::is_same<T, std::vector<bool>::iterator> { };
template <class T>
struct is_vector_iterator<T, decltype(*std::declval<T>(), std::enable_if_t<!std::is_same<T, std::vector<bool>::iterator>::value>())>: std::is_same<T, typename std::vector<std::decay_t<decltype(*std::declval<T>())>>::iterator> { };
int main() {
static_assert(is_vector_iterator<std::vector<int>::iterator>::value, "Is not a vector iterator");
static_assert(is_vector_iterator<std::vector<bool>::iterator>::value, "Is not a vector iterator");
static_assert(!is_vector_iterator<std::list<int>::iterator>::value, "Is a vector iterator");
static_assert(!is_vector_iterator<std::list<int>::iterator>::value, "Is a vector iterator");
}
2
你可以寫這樣的特質：
namespace detail
{
template<typename T> constexpr std::false_type is_vector_iterator(T&&, ...)
{
return {};
}
template<typename T>
constexpr auto is_vector_iterator(T&& t, void* = nullptr) ->
decltype(std::is_same<typename std::vector<std::decay_t<decltype(*t)>>::iterator, std::decay_t<T>>{})
{
return {};
}
}
template<typename T>
struct is_vector_iterator : decltype(detail::is_vector_iterator(declval<T>(), 0)) {};
在這裏，我發現了腐朽的類型* T製作vector<type>::iterator並檢查與T是否相等。它適用於vector<bool>這個例外，它不是一個真正的矢量。
3
使用
std::iterator_traits更好
我想：
#include <list>
#include <vector>
#include <iterator>
template <class It, class = void>
struct is_vector_iterator : std::false_type { };
template <class It>
struct is_vector_iterator<It, std::enable_if_t<
std::is_same<
It,
typename std::vector<
typename std::iterator_traits<It>::value_type
>::iterator
>::value
>> : std::true_type { };
int main() {
static_assert(is_vector_iterator<std::vector<int>::iterator>::value, "Is not a vector iterator");
static_assert(is_vector_iterator<std::vector<bool>::iterator>::value, "Is not a vector iterator");
static_assert(!is_vector_iterator<std::list<int>::iterator>::value, "Is a vector iterator");
}
+0
使用'std :: iterator_traits
+1
因爲如上所述** Bo Persson **以上：*該標準允許'std :: vector
+0
@ComeRaczy另外，要處理'bool'的情況，其中'* std :: declval
3
另一種解決方案也採用的std :: iterator_traits：
#include <iostream>
#include <vector>
#include <list>
template <typename T>
struct is_vector_iterator
{
typedef char yes[1];
typedef char no[2];
template <typename C>
static yes& test(
typename std::enable_if<
std::is_same<T, typename std::vector<typename C::value_type>::iterator>::value
>::type*);
template <typename>
static no& test(...);
static const bool value = sizeof(test<T>(nullptr)) == sizeof(yes);
};
int main() {
std::cout << is_vector_iterator<int>::value << std::endl;
std::cout << is_vector_iterator<int*>::value << std::endl;
std::cout << is_vector_iterator<std::list<int>::iterator>::value << std::endl;
std::cout << is_vector_iterator<std::vector<int>::iterator>::value << std::endl;
return 0;
}
+0
不幸的是，它也適用於'std :: list
+0
我現在修好了！ –
+0
所以你認爲：[demo]（http://coliru.stacked-crooked.com/a/5e5b2e165bd94081） –
相關問題
- 1. 是否可以模板basic_string <> :: iterator？
- 2. iterate std :: vector <std :: vector <char>>？
- 3. 容器模板參數std :: map或std :: vector
- 4. 什麼是std :: vector <T> :: iterator的提升等價物？
- 5. 檢查模板參數是否爲參考[C++ 03]
- 6. 非模板參數爲什麼不能通過std :: vector
- 7. 在std :: vector :: begin（）之前遞減std :: vector :: iterator
- 8. C++ std :: vector作爲std :: function的參數
- 9. 如何檢查模板的參數類型是否爲整數？
- 10. C++的std ::加爲模板參數
- 11. 將std :: vector <const Type*>轉換爲const std :: vector <T, A>＆Vec
- 12. 如何專門爲STD模板的模板參數::向量C++
- 13. C++循環std :: vector <std :: map <std :: string，std :: string>>
- 14. 使用與typedef for std :: vector :: iterator
- 15. 如何計算std :: vector <int> :: iterator與std :: vector <int> :: reverse_iterator之間的距離？
- 16. 如何識別模板參數是否爲std :: complex？
- 17. C++ std :: vector <std :: shared_ptr>
- 18. srand（）和vector :: iterator
- 19. 將std :: vector <std :: pair <const K, V> *>轉換爲std :: vector <std :: pair <const K, V>>
- 20. std :: vector <T>
- 21. 檢查模板參數是否是類類型？
- 22. 檢查模板參數
- 23. 模板參數檢查是否有一個成員函數
- 24. 我可以將std :: vector <Animal*>轉換爲std :: vector <Dog*>而不必查看每個元素？
- 25. std :: pair作爲模板<class>的參數？ C++
- 26. 只爲某些std啓用模板::向量<T2>類型
- 27. std ::元組作爲模板參數？
- 28. std :: sort on std :: vector <std::string>
- 29. 將std :: shared_ptr << std :: vector <double>>傳遞給函數
- 30. 如何將std :: vector <unsigned short>轉換爲std :: vector <int>？
@ W.F。在我添加之前，''沒有出現。對不起。我正在考慮編寫自定義特徵。像'template std :: vector class> struct is_vec_iterator {static const bool value = true; };' –
我不相信你可以，但你可以檢查參數是否是一個隨機訪問迭代器。 – aschepler
我認爲模板的重點是沒有明確的。如果您需要針對特定類型的特殊實現使用模板專業化 – user2717954