std::projected_value_t(C++26)

namespace std {
  template <indirectly_readable I,
            indirectly_regular_unary_invocable<I> Proj>
  using projected_value_t = remove_cvref_t<invoke_result_t<Proj&, iter_value_t<I>&>>;
}

概要

イテレータ型Iが指す値型を取得する。

この型は、間接参照可能な型Iに任意の射影操作Projを適用した結果となる値型を返す。

例

#include <concepts>
#include <iterator>
#include <functional>
#include <vector>

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

  static_assert(std::same_as<
    std::projected_value_t<vec_iterator, std::identity>,
    int
  >);

  static_assert(std::same_as<
    std::projected_value_t<pointer, std::identity>,
    double
  >);
}

出力

バージョン

言語

C++26

処理系

Clang: 21 ✅
GCC: 15.1 ✅
Visual C++: 2022 Update 13 ❌

参照

P2248R8 Enabling list-initialization for algorithms
- C++26で、アルゴリズムに波カッコ初期化 (リスト初期化) を渡せるようにするために導入された。find(r, {1, 2});

std::projected_value_t(C++26)

概要

例

出力

バージョン

言語

処理系

関連項目

参照