当 T 是"const std：：map"时如何获得const_iterator？

Question

我有以下结构体:

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

期望的类型:

• 当T推导为std::map<K, V>时，iter为std::map<K, V>::iterator。

• 当T推导为const std::map<K, V>时，iter为std::map<K, V>::const_iterator

但是我的代码总是得到一个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>;
};