c++ - 当 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>;
};