C++模板参数T为const std::map时如何正确获取对应const_iterator

问题根源 #

const std::map<K,V>类型本身同时定义了iterator和const_iterator两个独立的成员类型，不会因为类型本身带const修饰就自动将iterator映射为const_iterator，因此直接写typename T::iterator始终会拿到非const迭代器类型，和T本身是否带const无关。

解决方案 #

以下是不同C++版本下的实现方案：

方案1：C++11及以上通用写法（基于类型判断） #

引入<type_traits>头文件，通过std::conditional判断T是否为const类型，动态选择对应的迭代器类型：

#include <type_traits>

template<typename T>
struct Foo 
{
  using IterType = typename std::conditional<
    std::is_const<T>::value,
    typename std::remove_const<T>::type::const_iterator,
    typename T::iterator
  >::type;
  IterType iter;
};
// C++14及以上可以用更简洁的_t版本别名：
// using IterType = std::conditional_t<
//   std::is_const_v<T>,
//   typename std::remove_const_t<T>::const_iterator,
//   typename T::iterator
// >;

方案2：C++11及以上通用写法（自动推导） #

利用容器begin()方法的返回值类型自动匹配迭代器类型，无需手动判断const，同时兼容所有标准容器：

#include <utility> // 用于std::declval

template<typename T>
struct Foo 
{
  using IterType = decltype(std::declval<T&>().begin());
  IterType iter;
};

原理：const修饰的容器调用begin()会返回const_iterator，非const容器返回iterator，decltype可以直接获取到对应的返回值类型。

方案3：C++20及以上极简写法 #

直接使用标准库<ranges>提供的迭代器萃取工具：

#include <ranges>

template<typename T>
struct Foo 
{
  std::ranges::iterator_t<T> iter;
};

std::ranges::iterator_t会自动根据输入范围类型T是否带const，返回匹配的迭代器类型，完全符合需求。

效果验证 #

可以通过静态断言验证类型匹配逻辑：

#include <map>

int main() {
  // 非const map场景，迭代器为iterator
  Foo<std::map<int, int>> foo_non_const;
  static_assert(std::is_same<decltype(foo_non_const.iter), std::map<int, int>::iterator>::value, "类型不匹配");

  // const map场景，迭代器为const_iterator
  Foo<const std::map<int, int>> foo_const;
  static_assert(std::is_same<decltype(foo_const.iter), std::map<int, int>::const_iterator>::value, "类型不匹配");
  return 0;
}

内容的提问来源于stack exchange，提问作者dancedpipi