最終更新日時(UTC):
が更新

履歴 編集

<string>

std::basic_string::推論補助(C++17)

namespace std {
  template <class InputIterator,
            class Allocator = allocator<typename iterator_traits<InputIterator>::value_type>>
  basic_string(InputIterator, InputIterator, Allocator = Allocator())
    -> basic_string<typename iterator_traits<InputIterator>::value_type,
         char_traits<typename iterator_traits<InputIterator>::value_type>,
         Allocator>;                            // (1) C++17

  template <class CharT,
            class Traits,
            class Allocator = allocator<CharT>>
  explicit basic_string(basic_string_view<CharT, Traits>, const Allocator& = Allocator())
    -> basic_string<CharT, Traits, Allocator>;  // (2) C++20

  template <class CharT,
            class Traits,
            class Allocator = allocator<CharT>>
  basic_string(basic_string_view<CharT, Traits>,
               typename see below::size_type,
               typename see below::size_type,
               const Allocator& = Allocator())
    -> basic_string<CharT, Traits, Allocator>;  // (3) C++20
}

概要

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

備考

  • (3) : size_typeは、推論されたbasic_string型のメンバ型

#include <string>
#include <string_view>
#include <type_traits>

using namespace std::string_view_literals;

int main()
{
  // 文字列リテラルからの推論
  std::basic_string s1 = "Hello";
  static_assert(std::is_same_v<decltype(s1), std::basic_string<char>>);

  // パラメータ設定済みbasic_stringからの推論
  std::string s2_org = "Hello";
  std::basic_string s2 = s2_org;
  static_assert(std::is_same_v<decltype(s2), std::basic_string<char>>);

  // 文字をN回繰り返すコンストラクタからの推論
  std::basic_string s3 {3, 'a'};
  static_assert(std::is_same_v<decltype(s3), std::basic_string<char>>);

  // 初期化子リストからの推論
  std::basic_string s4 = {'H', 'e', 'l', 'l', 'o'};
  static_assert(std::is_same_v<decltype(s4), std::basic_string<char>>);

  // イテレータ範囲からの推論。
  // {s1.begin(), s1.end()} とすると、イテレータの初期化子リストと見なされてしまい、
  // basic_string<decltype(s1)::iterator>型に推論されてしまうので注意
  std::basic_string s5(s1.begin(), s1.end());
  static_assert(std::is_same_v<decltype(s5), std::basic_string<char>>);

  // string_viewからの推論
  std::basic_string s6 = "Hello"sv;
  static_assert(std::is_same_v<decltype(s6), std::basic_string<char>>);
}

出力

バージョン

言語

  • C++17

処理系

関連項目

参照