最終更新日時:
が更新

履歴 編集

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

概要

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

#include <string>
#include <type_traits>

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

出力

バージョン

言語

  • C++17

処理系

関連項目

参照