我想知道，是否有办法在编译时检查某个迭代器类型的类型 T 是否为 const_iterator。迭代器定义的类型（value_type，指针，...）在迭代器和 const 迭代器之间是否存在一些差异？
我想实现这样的目标：
typedef std::vector<int> T;
is_const_iterator<T::iterator>::value // is false
is_const_iterator<T::const_iterator>::value // is true
【问题讨论】：
标签： c++ templates stl iterator metaprogramming
至少在 gcc 上有效的一种方法是通过 reference typedef:
struct true_type { };
struct false_type { };
template<typename T>
struct is_const_reference
{
typedef false_type type;
};
template<typename T>
struct is_const_reference<T const &>
{
typedef true_type type;
};
template<typename T>
struct is_const_iterator
{
typedef typename is_const_reference<
typename std::iterator_traits<T>::reference>::type type;
};
您可以通过使用验证它是否有效
inline bool test_internal(true_type)
{
return true;
}
inline bool test_internal(false_type)
{
return false;
}
template<typename T>
bool test(T const &)
{
return test_internal(typename is_const_iterator<T>::type());
}
bool this_should_return_false(void)
{
std::list<int> l;
return test(l.begin());
}
bool this_should_return_true(void)
{
std::list<int> const l;
return test(l.begin());
}
在足够高的优化级别下，最后两个函数应该分别减少到return false; 和return true;。至少他们为我做了。
【讨论】：
iterator 类型是否有 reference 类型？将工作代码发布到 ideone！
staticconst成员，达到同样的效果。
typename T::reference。当l.begin() 的类型可以是iterator 或const_iterator（在您的语法中实际上是T）时，您如何编写此代码。所以我的问题是：iterator::reference 如何工作？你测试过吗？请在 www.ideone.com 上发布工作代码。
typename std::iterator_traits<T>::reference 会更正确。对于非特殊情况，这是一个指向 typename T::reference 的 typedef，这似乎是迭代器类型的约定。
std::iterator_traits的使用并上传了结果here。
这有点 hacky，因为您必须自己传递 T 但它可以工作（模板专业化，g++ 4.4.5）：
template<typename T, typename S>
struct is_const_iterator {
enum {
value = false
};
};
template<typename T>
struct is_const_iterator<T, typename T::const_iterator> {
enum {
value = true
};
};
这样使用：
typedef std::vector<int> T;
is_const_iterator<T, T::iterator>::value //is false
is_const_iterator<T, T::const_iterator>::value //is true
【讨论】：
C++03 解决方案：
由于没有一个答案似乎正确，这是我与 GCC 合作的尝试：
template<typename T>
struct is_const_pointer { static const bool value = false; };
template<typename T>
struct is_const_pointer<const T*> { static const bool value = true; };
template <typename TIterator>
struct is_const_iterator
{
typedef typename std::iterator_traits<TIterator>::pointer pointer;
static const bool value = is_const_pointer<pointer>::value;
};
例子：
int main()
{
typedef std::vector<int>::iterator it_type;
typedef std::vector<int>::const_iterator const_it_type;
std::cout << (is_const_iterator<it_type>::value) << std::endl;
std::cout << (is_const_iterator<const_it_type>::value) << std::endl;
}
输出：
0
1
【讨论】：
std::iterator_traits<I>::pointer 是代理类类型时不起作用。但是，如果有针对这种情况的解决方案，则必须使用一些非常讨厌的 SFINAE。
reference 的原因，它可以保证不是代理。不过iterator_traits 很好。
reference 是一个代理，例如std::vector<bool> 和其他“类似容器”的东西。
在 C++11 中，新的标准头 <type_traits> 提供了 std::is_const<T>，
所以可以简化 Nawaz 的解决方案：
template<typename Iterator>
struct is_const_iterator
{
typedef typename std::iterator_traits<Iterator>::pointer pointer;
static const bool value =
std::is_const<typename std::remove_pointer<pointer>::type>::value;
};
【讨论】：
C++11
template<class IT, class T=decltype(*std::declval<IT>())>
constexpr bool
is_const_iterator() {
return ! std::is_assignable <
decltype( *std::declval<IT>() ),
T
>::value;
}
【讨论】：