5. 推論補助

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

履歴 編集

<span>

std::span::推論補助(C++20)

namespace std {

  template<class It, class EndOrSize>
  span(It, EndOrSize)
    -> span<remove_reference_t<iter_reference_t<It>>>;          // (1) C++20
  template<class It, class EndOrSize>
  span(It, EndOrSize)
    -> span<remove_reference_t<iter_reference_t<It>>,
            maybe-static-ext<EndOrSize>>;                       // (1) C++26

  template<class T, size_t N>
  span(T (&)[N]) -> span<T, N>;                                 // (2)

  template<class T, size_t N>
  span(array<T, N>&) -> span<T, N>;                             // (3)

  template<class T, size_t N>
  span(const array<T, N>&) -> span<const T, N>;                 // (4)

  template<class R>
  span(R&&)
    -> span<remove_reference_t<ranges::range_reference_t<R>>>;  // (5)

}

概要

std::spanクラステンプレートの型推論補助。

  • (1) : メモリ連続性をもつイテレータから、要素型を推論する。
    • C++20 : 要素数はデフォルトのstd::dynamic_extentを使用する
    • C++26 : EndOrSizeが整数定数型std::integral_constant互換のときは静的な要素数を推論し、そうでなければ動的な要素数を使用する
  • (2) : 組み込み配列への参照から、要素型と静的な要素数を推論する
  • (3) : std::array型オブジェクトから、要素型と静的な要素数を推論する
  • (4) : constのstd::array型オブジェクトから、要素型と静的な要素数を推論する
  • (5) : メモリ連続性をもつイテレータを持つ型のオブジェクトから、要素型を推論する。要素数はデフォルトのstd::dynamic_extentを使用する

なお、ポインタと要素数の組、およびポインタ範囲を指定するコンストラクタからは推論できない。

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

  • (1) : 型Itはコンセプトstd::contiguous_iteratorを満たすこと
  • (5) : 型Rはコンセプトstd::ranges::contiguous_rangeを満たすこと

例

#include <type_traits>
#include <span>
#include <vector>
#include <array>

int main()
{
  // (1)
  {
    std::vector<int> v = {1, 2, 3, 4, 5};
    std::span s{v.begin(), v.end()}; // std::span<int, std::dynamic_extent>

    static_assert(std::is_same_v<
      decltype(s)::element_type,
      int
    >);

    static_assert(decltype(s)::extent == std::dynamic_extent);
  }
  // (1): C++26以降
  {
    std::vector<int> v = {1, 2, 3, 4, 5};
    std::span s{v.begin(), std::integral_constant<int, 5>{}};
    // std::span<int, 5>

    static_assert(std::is_same_v<
      decltype(s)::element_type,
      int
    >);
    static_assert(decltype(s)::extent == 5);
  }

  // (2)
  {
    std::array ar = {1, 2, 3, 4, 5};
    std::span s{ar}; // std::span<int, 5>

    static_assert(std::is_same_v<
      decltype(s)::element_type,
      int
    >);

    static_assert(decltype(s)::extent == 5);
  }

  // (3)
  {
    const std::array ar = {1, 2, 3, 4, 5};
    std::span s{ar}; // std::span<const int, 5>

    static_assert(std::is_same_v<
      decltype(s)::element_type,
      const int
    >);

    static_assert(decltype(s)::extent == 5);
  }

  // (4)
  {
    std::vector<int> v = {1, 2, 3, 4, 5};
    std::span s{v}; // std::span<int, std::dynamic_extent>

    static_assert(std::is_same_v<
      decltype(s)::element_type,
      int
    >);

    static_assert(decltype(s)::extent == std::dynamic_extent);
  }

  // (5)
  {
    const std::vector<int> v = {1, 2, 3, 4, 5};
    std::span s{v}; // std::span<const int, std::dynamic_extent>

    static_assert(std::is_same_v<
      decltype(s)::element_type,
      const int
    >);

    static_assert(decltype(s)::extent == std::dynamic_extent);
  }
}

出力

バージョン

言語

  • C++20

処理系

参照