名前空間
変種
操作

std::incrementable_traits<std::common_iterator>

From cppreference.com
 
 
イテレータライブラリ
イテレータのコンセプト
イテレータのプリミティブ
アルゴリズムのコンセプトとユーティリティ
間接呼び出し可能コンセプト
共通アルゴリズム要件
(C++20)
(C++20)
(C++20)
ユーティリティ
(C++20)
イテレータアダプタ
Rangeアクセス
(C++11)(C++14)
(C++14)(C++14)  
(C++11)(C++14)
(C++14)(C++14)  
(C++17)(C++20)
(C++17)
(C++17)
 
 
ヘッダ <iterator> で定義
template< class I, class S >

struct incrementable_traits<std::common_iterator<I, S>> {
    using difference_type = std::iter_difference_t<I>;

};
(C++20以降)

std::common_iterator 型の関連する差分型への統一されたインターフェースを提供します。

[編集]

#include <cstddef>
#include <iterator>
#include <list>
#include <string>
#include <type_traits>
 
int main()
{
    using CI = std::common_iterator<
                   std::counted_iterator<int*>,
                   std::default_sentinel_t>;
    using CL = std::common_iterator<
                   std::counted_iterator<std::list<std::string>::iterator>,
                   std::default_sentinel_t>;
    CL cl{std::default_sentinel};
    static_assert(
        std::same_as<std::incrementable_traits<CI>::difference_type, std::ptrdiff_t> &&
        std::same_as<std::incrementable_traits<CL>::difference_type, std::ptrdiff_t> &&
        std::same_as<std::incrementable_traits<decltype(cl)>::difference_type,
                     std::ptrdiff_t>);
}

[編集] 関連項目

weakly_incrementable 型の差分型を計算する
(クラステンプレート) [編集]
イテレータの関連型を計算する
(エイリアステンプレート)[編集]
std::common_iterator 型のプロパティへの統一されたインターフェースを提供します。
(クラステンプレート特殊化) [編集]
English 日本語 中文(简体) 中文(繁體)