disable_sized_sentinel_for.md

disable_sized_sentinel_for

• iterator[meta header]
• std[meta namespace]
• variable[meta id-type]
• cpp20[meta cpp]

namespace std {
  template<class S, class I>
  inline constexpr bool disable_sized_sentinel_for = false;

  // reverse_iteratorに対する特殊化
  template<class Iterator1, class Iterator2>
    requires (!sized_sentinel_for<Iterator1, Iterator2>)
  inline constexpr bool disable_sized_sentinel_for<reverse_iterator<Iterator1>,
                                                   reverse_iterator<Iterator2>> = true;
}

• sized_sentinel_for[link /reference/iterator/sized_sentinel_for.md]
• reverse_iterator[link /reference/iterator/reverse_iterator.md]

概要

disable_sized_sentinel_forは、任意のイテレータ型Iとその番兵型Sについてsized_sentinel_forを無効化するカスタマイゼーションポイントである。

イテレータ型I, Sがsized_sentinel_forを満たすがそのモデルとならない（意味論的な要件まで満足することができない）ようなイテレータをライブラリで使用するためのopt-outメカニズムとして提供されている。

要件

I, Sがプログラム定義型である場合に、非配列型かつオブジェクト型であるI, Sに対して特殊化が許可される。
そのような特殊化は定数式で使用可能であり、const bool型を持つ必要がある。

例

sized_sentinel_forのサンプルコードを参照。

バージョン

言語

• C++20

処理系

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

関連項目

• C++20 コンセプト

参照

• P0896R4 The One Ranges Proposal (was Merging the Ranges TS)
• P1871R0 Should concepts be enabled or disabled?
• P1871R1 Concept traits should be named after concepts
• microsoft/STL P1871R1 disable_sized_sentinel_for #607 - Github