名稱空間
變體
操作

std::incrementable_traits<std::common_iterator>

來自 cppreference.com
 
 
迭代器庫
迭代器概念
迭代器原語
演算法概念與工具
間接可呼叫概念
常用演算法要求
工具
迭代器介面卡
 
 
定義於標頭檔案 <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 型別的屬性的統一介面
(類模板特化) [編輯]