op_deduction_guide.md

推論補助

• string_view[meta header]
• std[meta namespace]
• basic_string_view[meta class]
• cpp20[meta cpp]

namespace std {
  template <class It, class End>
  basic_string_view(It, End)
    -> basic_string_view<iter_value_t<It>>;          // (1) C++20

  template<class R>
  basic_string_view(R&&)
    -> basic_string_view<ranges::range_value_t<R>>;  // (2) C++23
}

• iter_value_t[link /reference/iterator/iter_value_t.md]
• ranges::range_value_t[link /reference/ranges/range_value_t.md]

概要

std::basic_string_viewクラステンプレートの型推論補助。イテレータ範囲やレンジから推論する。

テンプレートパラメータ制約

• (1) :
  • Itはcontiguous_iteratorの要件を満たすこと
  • Endはsized_sentinel_for<It>の要件を満たすこと
• (2) :
  • Rはranges::contiguous_rangeの要件を満たすこと

例

#include <iostream>
#include <string_view>

int main()
{
  std::string s = "Hello";
  std::basic_string_view sv{s.begin(), s.end()};
  std::cout << sv << std::endl;
}

• s.begin()[link /reference/string/basic_string/begin.md]
• s.end()[link /reference/string/basic_string/end.md]

出力

Hello

バージョン

言語

• C++20

処理系

• Clang:
• GCC: 10.1 [mark verified]
• Visual C++: ??

関連項目

• C++17 クラステンプレートのテンプレート引数推論

参照

• P1391R4 Range constructor for std::string_view
• P1989R2 Range constructor for std::string_view 2: Constrain Harder
  • C++23での、レンジ版推論補助追加