最終更新日時:
が更新

履歴 編集

<forward_list>

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

namespace std {
  template <class InputIterator,
            class Allocator = allocator<typename iterator_traits<InputIterator>::value_type>>
  forward_list(InputIterator, InputIterator, Allocator = Allocator())
    -> forward_list<typename iterator_traits<InputIterator>::value_type, Allocator>;
}

概要

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

#include <forward_list>
#include <type_traits>

int main()
{
  // 初期化子リストから推論
  std::forward_list fls1 = {1, 2, 3};
  static_assert(std::is_same_v<decltype(fls1), std::forward_list<int>>);

  // パラメータ設定済みのforward_listからの推論
  std::forward_list fls2 = fls1;
  static_assert(std::is_same_v<decltype(fls2), std::forward_list<int>>);

  // 値1を3回繰り返すコンストラクタからの推論。
  // fls3{3, 1} とすると初期化子リストと見なされてしまうので注意
  std::forward_list fls3(3, 1);
  static_assert(std::is_same_v<decltype(fls3), std::forward_list<int>>);

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

出力

バージョン

言語

  • C++17

処理系

関連項目

参照