std::iter_value_t(C++20)

namespace std {
  template<class I>
  using iter_value_t = /*see below*/;
}

概要

任意のイテレータ型Iから、そのイテレータの要素型（value_type）を取得する。

効果

RI = remove_cvref_t<I>とすると、次のどちらか

iterator_traits<RI>がプライマリテンプレートの特殊化となる場合
- indirectly_readable_traits<RI>::value_type
その他の場合
- iterator_traits<RI>::value_type

備考

プログラム定義型（ユーザー定義の任意のイテレータ型）でこの結果をカスタマイズするには、indirectly_readable_traitsを特殊化する。

例

#include <iterator>
#include <vector>

int main() {
  using vec_iterator = std::vector<int>::iterator;
  using pointer = double*;

  static_assert(std::same_as<std::iter_value_t<vec_iterator>, int>);
  static_assert(std::same_as<std::iter_value_t<pointer>     , double>);
}

std::iter_value_t(C++20)

概要

効果

備考

例

出力

バージョン

言語

処理系

関連項目

参照