std::incrementable

template< class I >
    concept incrementable =
        std::regular<I> &&
        std::weakly_incrementable<I> &&
        requires(I i) {
            { i++ } -> std::same_as<I>;
        };

Этот концепция определяет требования к типам, которые можно инкрементировать с помощью префиксных и постфиксных операторов инкремента, операции инкремента которых являются сохраняющими равенство, а тип является std::equality_comparable.

В отличие от std::weakly_incrementable, которые поддерживают только алгоритмы однопроходного типа, многопроходные однонаправленные алгоритмы могут использоваться с типами, которые моделируют std::incrementable.

Семантические требования

I моделирует std::incrementable только если заданы любые два инкрементируемых объекта a и b типа I:

• bool(a == b) подразумевает bool(a++ == b), и
• bool(a == b) подразумевает bool(((void)a++, a) == ++b).

Сохранение равенства

Выражения, объявленные в выражениях requires концепций стандартной библиотеки, должны быть сохраняющими равенство (кроме случаев, указанных иначе).

См. также