std.range.interfaces

Jump to: empty · front · moveFront · opApply · popFront

interface InputRange(E);

Эти интерфейсы предназначены для обеспечения основанных на виртуальных функциях обёрток вокруг входных диапазонов с типом элемента E. Это полезно, когда требуется четко определенный двоичный интерфейса, как например, когда DLL-функции или виртуальной функции нужно принимать общий дипазон как параметр. Заметьте, что isInputRange и друзья проверяют на соответствие структурным интерфейсам, а не реализацию этих типов интерфейса.

Ограничения: Эти интерфейсы не способны пересылать ref-доступ к элементам.

Бесконечность обернутого диапазона не передается

Длина не передается в случае диапазонов без произвольного доступа.

See Also:

inputRangeObject

Примеры:

import std.algorithm.iteration : map;
import std.range : iota;

void useRange(InputRange!int range) {
    // Тело функции.
}

// Создаём диапазонный тип.
auto squares = map!"a * a"(iota(10));

// Обёртываем его в интерфейс.
auto squaresWrapped = inputRangeObject(squares);

// Используем его.
useRange(squaresWrapped);

@property E front();

E moveFront();

void popFront();

@property bool empty();

int opApply(scope int delegate(E));

int opApply(scope int delegate(size_t, E));

Итерация foreach использует opApply, так как вызов одного делегата на итерации цикла быстрее, чем три вызова виртуальных функций.

Jump to: save

interface ForwardRange(E): InputRange!E;

Интерфейс для лидирующего диапазона типа E.

@property ForwardRange!E save();

Jump to: back · moveBack · popBack · save

interface BidirectionalRange(E): ForwardRange!E;

Интерфейс для двунаправленного диапазона типа E.

@property BidirectionalRange!E save();

@property E back();

E moveBack();

void popBack();

Jump to: length · moveAt · opDollar · opIndex · opSlice · save

interface RandomAccessFinite(E): BidirectionalRange!E;

Интерфейс для конечного диапазона с произвольным доступом типа E.

@property RandomAccessFinite!E save();

E opIndex(size_t);

E moveAt(size_t);

@property size_t length();

alias opDollar = length;

RandomAccessFinite!E opSlice(size_t, size_t);

Jump to: moveAt · opIndex · save

interface RandomAccessInfinite(E): ForwardRange!E;

Интерфейс для бесконечного диапазона с произвольным доступом типа E.

E moveAt(size_t);

@property RandomAccessInfinite!E save();

E opIndex(size_t);

Jump to: front

interface InputAssignable(E): InputRange!E;

Добавляет присваиваемые элементы к InputRange.

@property void front(E newVal);

Jump to: save

interface ForwardAssignable(E): InputAssignable!E, ForwardRange!E;

Добавляет присваиваемые элементы к ForwardRange.

@property ForwardAssignable!E save();

Jump to: back · save

interface BidirectionalAssignable(E): ForwardAssignable!E, BidirectionalRange!E;

Добавляет присваиваемые элементы к BidirectionalRange.

@property BidirectionalAssignable!E save();

@property void back(E newVal);

Jump to: opIndexAssign · save

interface RandomFiniteAssignable(E): RandomAccessFinite!E, BidirectionalAssignable!E;

Добавляет присваиваемые элементы к RandomAccessFinite.

@property RandomFiniteAssignable!E save();

void opIndexAssign(E val, size_t index);

Jump to: put

interface OutputRange(E);

Интерфейс для выходного диапазона типаE. Использование подобно интерфейсу InputRange и его потомкам.

void put(E);

Jump to: this

class OutputRangeObject(R, E...): staticMap!(OutputRange, E);

Реализует интерфейс OutputRange для всех типов E и завёртывает метод put для каждого типа E в виртуальную функцию.

this(R range);

template MostDerivedInputRange(R) if (isInputRange!(Unqual!R))

Возвращает тип интерфейса, который наилучшим образом соответствует R.

template InputRangeObject(R) if (isInputRange!(Unqual!R))

Реализует наиболее производный интерфейс, который работает с R , и завёртывает все важные примитивы диапазона в виртуальные функции. Если R уже является производным от интерфейса InputRange, наружу выводится псевдоним его самого.

InputRangeObject!R inputRangeObject(R)(R range)
if (isInputRange!R);

Удобная функция для создания InputRangeObject соответствующего типа. Смотрите пример в InputRange.

Jump to: outputRangeObject

template outputRangeObject(E...)

Удобная функция для создания OutputRangeObject с базовым диапазоном типа R, которая принимает типы E.

Примеры:

import std.array;
auto app = appender!(uint[])();
auto appWrapped = outputRangeObject!(uint, uint[])(app);
static assert(is(typeof(appWrapped) : OutputRange!(uint[])));
static assert(is(typeof(appWrapped) : OutputRange!(uint)));

OutputRangeObject!(R, E) outputRangeObject(R)(R range);