檢查/修改迭代器「constness」

Question

我有兩個半密切相關的問題。給定一個作爲模板參數傳遞的STL迭代器類型：

1. 如何確定類型是否對應於常量或非常量迭代器？
2. 作爲1的替代方法，如何施加（例如使用enable_if s）此類型對應於非常量迭代器？
3. 如何從非const函數獲得迭代器的const版本（反之亦然）？ [注：在this post中回答;不出所料，你不能。 ]

來自哪裏這樣的問題：

我寫了一個小班，以便於向量運算/關係/代數運算（按向量我的意思是一維固定大小的數據，而不是STL載體）。我沒有強加特定的數據容器，而是定義了一個接口並派生出幾個可能的容器，這些容器基本上是「包裝」各種存儲數據的方式。其中一個容器是STL迭代器的包裝器，我遇到了一些麻煩。

Answer 1

問題1：

你可以使用下列類型的特點：

template<typename T, typename = void> 
struct is_const_iterator : std::false_type { }; 

template<typename T> 
struct is_const_iterator<T, 
    typename std::enable_if< 
     std::is_const< 
      typename std::remove_pointer< 
       typename std::iterator_traits<T>::pointer 
       >::type 
      >::value 
     >::type> : std::true_type { }; 

這裏是一個演示：

#include <type_traits> 
#include <iterator> 
#include <list> 
#include <vector> 

template<typename T, typename = void> 
struct is_const_iterator : std::false_type { }; 

template<typename T> 
struct is_const_iterator<T, 
    typename std::enable_if< 
     std::is_const< 
      typename std::remove_pointer< 
       typename std::iterator_traits<T>::pointer 
       >::type 
      >::value 
     >::type> : std::true_type { }; 

int main() 
{ 
    typedef std::list<int>::iterator LI; 
    typedef std::list<int>::const_iterator CLI; 
    static_assert(is_const_iterator<LI>::value, "!"); // Fires 
    static_assert(is_const_iterator<CLI>::value, "!"); // Does not fire 

    typedef std::vector<int>::iterator VI; 
    typedef std::vector<int>::const_iterator CVI; 
    static_assert(is_const_iterator<VI>::value, "!"); // Fires 
    static_assert(is_const_iterator<CVI>::value, "!"); // Does not fire 
} 

這裏是一個live example。

問題2：

利用上述類型的性狀，這變得簡單。假設你有要約束，使其只接受非const迭代函數模板foo()：

template<typename It, 
    typename std::enable_if<!is_const_iterator<It>::value>::type* = nullptr> 
void foo(It i) 
{ 
    // Does something with i... 
} 

和一個簡單的演示程序：

int main() 
{ 
    std::vector<int> v; 
    foo(v.begin()); // OK 
    foo(v.cbegin()); // ERROR! 
} 

這裏是一個live example。

Answer 2

爲1），你可以做這樣的事情：

std::is_const< 
    typename std::remove_reference< 
    typename std::iterator_traits<Iterator>::reference 
    >::type 
>::value 

或者這樣：

std::is_const< 
    typename std::remove_reference< 
    decltype(*iterator) 
    >::type 
>::value 

您可以使用這些謂詞傳遞給std::enable_if實施2）。

注：正如評論所指出的R.費爾南德斯Martinho，如果有問題的迭代器使用不同類型的比其reference性狀（如std::vector<bool>::const_iterator做）的普通引用這些謂詞將失敗。

Answer 3

你可以在

decltype(**(T*)0 = std::move(**(T*)0)) 

或（XEO的偏好）

decltype(*declval<T&>() = std::move(*declval<T&>())) 

，檢查是否提領該迭代給你的東西分配使用SFINAE。不完美，如果集合的元素類型不可分配，但不管怎麼樣都有什麼好處？

不要測試const_iterator，測試算法實際需要的操作。