声明取决于迭代的容器const或非const

Question

假设我有以下功能：

template <typename Iterator> 
void f() 
{ 
    std::list<int> numList; 
    Iterator it = numList.begin(); 
    ... 
} 

Iterator可以是std::list<int>::iterator或std::list<int>::const_iterator。

上述函数编译为std::list<int>::iterator，但std::list<int>::const_iterator该列表应声明为const std::list<int>。

是否有申报清单要么std::list<int>或const std::list<int>取决于Iterator是iterator或const_iterator类型的方法吗？

Answer 1

应该使用std::iterator_traits，<type_traits>和std::conditional，类似于

using pointer_type = typename std::iterator_traits<Iterator>::pointer; 
using list_type = typename std::conditional<std::is_const<pointer_type>::value, const std::list<int>, std::list<int>>::type; 

list_type numList; 

记住，这是未经测试，所以你或许应该调整它一点点的东西是不可能的，它只是给你背后的基本理念。请检查this答案。