当 T 为 'const std::map' 时如何获取 const_iterator？

Question

我有以下结构：

template<typename T>
struct Foo 
{
  typename T::iterator iter;
};

预期类型：

• iter 是std::map<K, V>::iterator，而T 被推导出为std::map<K, V>。

• iter 是std::map<K, V>::const_iterator，而T 推导出为const std::map<K, V>

但我的代码总是得到std::map<K, V>::iterator。

如何实现预期的实现？

Answer 1

您可以提供std::conditional 类型：

#include <type_traits>  // std::conditional_t

template<typename T>
struct Foo {
  using iter = std::conditional_t<std::is_const_v<T>
               , typename T::const_iterator
               , typename T::iterator>;
};