當 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>;
};