General Requirements

В описании выражений генератора используется следующая запись:

Также обратите внимание, чтобустер::диапазон_значение<R>::типдолжен быть неявно конвертируемым в аргументы типаpred,bi_predиfun.

диапазон Категория в следующих описаниях адаптера относится к концепции минимального диапазона, требуемого диапазоном, переданным адаптеру. Результирующий диапазон представляет собой модель той же концепции диапазона, что и входной диапазон, если не указано иное.

Категория возвращенного диапазона является концепцией возвращенного диапазона. В некоторых случаях возвращаемый диапазон имеет меньшую категорию, чем диапазон, переданный адаптеру. Например,фильтрованныйадаптер возвращает только.Передняя частьнезависимо от входа.

Кроме того, к любому выражению формы применяются следующие правила:

rng | boost::adaptors::adaptor_generator

1. Применениеоператора|()к диапазонуR(всегда левый аргумент) и адаптеру диапазонаRA(всегда правильный аргумент) дает новый тип диапазона, который может не соответствовать той же концепции диапазона, что иR.

2. Тип возврата оператора| ()иначе не определен.

3.оператор|()найден Argument Dependent Lookup (ADL), потому что адаптер диапазона реализован в пространстве именбустер::адаптеры.

4.оператор|()используется для добавления нового поведенияленивои никогда не изменяет свой левый аргумент.

5.Все итераторы, извлеченные из левого аргумента, извлекаются с помощью квалифицированных вызовов наповышение::начало()иповышение::конец().

6. Кромеброска- пункты ниже,оператор|()может выбрасывать исключения в результате копирования итераторов. Если такое копирование не может привести к исключению, то не может быть и полного выражения.