- •Вычисления значений
- •Пример:
- •Вычисления типов
- •Преимущества мета подхода:
- •Польза использования mpl:
- •Числовая метафункция
- •Свойства
- •Метаданные
- •Специализация
- •Первичный шаблон:
- •Инстанцирование:
- •Метафункции
- •Полиморфизм
- •Возможности свойств:
- •Организация свойств в Boost:
- •Пример:
- •Типовые ассоциации
- •Альтернатива:
- •Метафункции Продвижение (пересылка) метафункций
- •Класс метафункции
- •Формат:
- •Числовые
- •Пример:
- •Нульарные
- •Метрический анализ (Анализ размерностей)
- •Метрики
- •Величины
- •Сложение и вычитание
- •Умножение
- •Класс метафункции
- •Деление
- •Пример:
- •Метафункции высшего порядка (Каскады вложенных вызовов)
- •Использование apply:
- •Заполнители
- •Безымянный заполнитель:
- •Определение выражений с заполнителями
- •Лямбда (Лямбда метафункции/выражения)
- •Частичное приложение метафункции
- •Лямбда и Шаблоны Неметафункции
- •Обертки
- •Выбор типа
- •Ленивый Выбор Типа
- •Логические Операторы
- •Целочисленные обертки
- •Составные Операторы
- •Операторы с булевым значением:
- •Операторы для сравнения значений:
- •Операторы для интегральных значений:
- •Побитовые операторы:
- •Арифметические операторы:
- •Целочисленная «стенография»
- •Интегральные последовательности
- •Формат:
- •Последовательности
- •Концепции
- •Итераторы
- •Двунаправленные
- •Произвольные
- •Последовательности
- •Двунаправленные
- •Произвольные
- •Расширенные
- •Ассоциативные
- •Требования
- •Расширения
- •Расширенные ассоциативные последовательности
- •Алгоритмы и последовательности
- •Итераторы
- •Равенство
- •Операции Внутренние операции с последовательностей
- •Наследование
- •Создание последовательности
- •Реализация:
- •Создание итератора
- •Преимущества полной специализации перед частичной:
- •Добавление расширения
- •Алгоритмы
- •Абстракция:
- •Stl алгоритмы
- •Детали правильного использования stl:
- •Mpl алгоритмы
- •Различия stl и mpl алгоритмов:
- •Пример:
- •Вставки
- •Пример 1:
- •Пример 2:
- •Пример 3:
- •Фундамент алгоритмов
- •Пример:
- •Запрашиваемые алгоритмы
- •Последовательности (Алгоритмы, создающие последовательности)
- •Синонимы функциональных алгоритмов:
- •Создание алгоритма
- •Итераторы «Просмотр» и итераторы-адаптеры
- •Концепция просмотра
- •Применение просмотра Сравнения значений элементов последовательности:
- •Объединение множественных (мульти-) последовательностей
- •Упрощение 1
- •Упрощение 2 (создание просмотра)
- •Уход от ненужного вычисления
- •Выборочная обработка элемента
- •Итератор-адаптер
- •Создание просмотра
- •Реализация итератора-адаптера для zip_view.
- •Диагностика
- •Отладка ошибок
- •Трассировка инстанцирования
- •Исправленный пример:
- •Форматы сообщений об ошибках
- •Блок «with»
- •Устранение параметров шаблона по умолчанию
- •Глубокий typedef
- •Инструменты
- •Несколько компиляторов
- •(Статические Утверждения)
- •Формат:
- •Формат:
- •Индивидуальные сообщения утверждений
- •Настройка предиката:
- •(Генерирование встроенных сообщений)
- •Формат:
- •Выбор стратегии:
- •Тип печати
- •Кросс этапность компиляции/выполнения
- •Печать типов:
- •Тип посещения:
- •Выбор реализаций
- •Специализация шаблонов классов
- •Тег диспетчеризации
- •Выбор структуры
- •Композиция классов
- •Указатели на функцию
- •Ослабление типизации
- •Пример:
- •Обобщение:
- •Динамический полиморфизм
- •Автоматизация
- •Сохранение интерфейса
- •Рекуррентный шаблон
- •Формат:
- •Генерирование функций
- •Управление разрешением перегрузки
- •Явное управление множеством перегрузки
- •Документация mpl Последовательности
- •Концепции
- •(Прямая последовательность)
- •(Двунаправленная Последовательность)
- •(Последовательность произвольного доступа)
- •(Расширенная последовательность)
- •(Расширенная последовательность начала)
- •(Расширенная последовательность конца)
- •(Ассоциативная последовательность)
- •(Расширенная ассоциативная последовательность)
- •(Обертка интегральной последовательности )
- •(Переменная последовательность)
- •Представления
- •Метафункции (Внутренние)
- •Итераторы
- •Концепции
- •(Прямой итератор)
- •(Двунаправленный итератор)
- •(Итератор произвольного доступа)
- •Метафункции
- •Алгоритмы
- •Концепции
- •(Инсертер: механизм вставок)
- •Инсертеры (инсертер: механизм вставок)
- •Итеративные алгоритмы
- •Запрашиваемые алгоритмы
- •Преобразования
- •Метафункции
- •Концепции Метафункция
- •Метафункциональный класс
- •Лямбда выражения
- •Заполнители
- •Тэг диспетчеризированные метафункции
- •Числовые метафункции
- •Тривиальные метафункции
(Двунаправленная Последовательность)
Описание:
Двунаправленная последовательность - прямая последовательность, итераторная модель которой - двунаправленный итератор.
Уточнение:
Forward Sequence (прямая последовательность).
Требования к выражениям:
Дополняет требования, определенные для прямой последовательности, для любой двунаправленной последовательности s, должны быть действительными следующие выражения:
Выражение |
Тип |
Сложность |
begin<s>::type |
Bidirectional Iterator |
Амортизированное постоянное время. |
end<s>::type |
Bidirectional Iterator |
Амортизированное постоянное время. |
back<s>::type |
Любой тип |
Амортизированное постоянное время. |
Семантика выражений:
Поддерживает семантику прямой последовательности, добавляет отличные/не определенные выражения:
Выражения |
Семантика |
back<s>::type |
Последний элемент последовательности.
|
Модели:
vector
range_c
Смотри также:
Sequences, Forward Sequence, Random Access Sequence, Bidirectional Iterator, begin / end, back
Random Access Sequence
(Последовательность произвольного доступа)
Описание:
Последовательность произвольного доступа - двунаправленная последовательность, итераторная модель которой - итератор произвольного доступа. Последовательность произвольного доступа гарантирует амортизированное постоянное времени доступа к произвольному элементу последовательности.
Уточнение:
Bidirectional sequence (двунаправленная последовательность).
Требования к выражениям:
Дополняет требования, определенные для двунаправленной последовательность, для любой последовательности произвольного доступа s, должны быть действительными следующие выражения:
Выражение |
Тип |
Сложность |
begin<s>::type |
Random Access Iterator |
Амортизированное постоянное время. |
end<s>::type |
Random Access Iterator |
Амортизированное постоянное время. |
at<s,n>::type |
Любой тип |
Амортизированное постоянное время. |
Семантика выражений:
Поддерживает семантику двунаправленной последовательности, добавляет отличные/не определенные выражения:
Выражения |
Семантика |
at<s,n>::type |
n-ый элемент от начала последовательности s.
|
Модели:
vector
range_c
Смотри также:
Sequences, Bidirectional Sequence, Extensible Sequence, Random Access Iterator, begin / end, at
Extensible Sequence
(Расширенная последовательность)
Описание:
Расширенная последовательность - последовательность, которая поддерживает вставку и удаление элементов. Расширения независимы (ортогональны) от характеристик обхода последовательности.
Требования к выражениям:
Для любой расширенной последовательности s, ее итераторов pos и last, прямой последовательности r, и любого типа х, должны быть действительными следующие выражения:
Выражение |
Тип |
Сложность |
insert<s,pos,x>::type |
Extensible Sequence |
Не определена |
insert_range<s,pos,r>::type |
Extensible Sequence |
Не определена |
erase<s,pos>::type |
Extensible Sequence |
Не определена |
erase<s,pos,last>::type |
Extensible Sequence |
Не определена |
clear<s>::type |
Extensible Sequence |
Постоянное время |
Семантика выражений:
Выражения |
Семантика |
insert<s,pos,x>::type |
Новая последовательность, концепцепт-идентичная последовательности s, состоящая из следующих элементов: [begin<s>::type, pos), x, [pos, end<s>::type); |
insert_range<s,pos,r>::type |
Новая последовательность, концепцепт-идентичная последовательности s, состоящая из следующих элементов: [begin<s>::type, pos), [begin<r>::type, end<r>::type), [pos, end<s>::type); |
erase<s,pos>::type |
Новая последовательность, концепцепт-идентичная последовательности s, состоящая из следующих элементов: [begin<s>::type, pos), [next<pos>::type, end<s>::type); |
erase<s,pos,last>::type |
Новая последовательность, концепцепт-идентичная последовательности s, состоящая из следующих элементов: [begin<s>::type, pos), [last, end<s>::type); |
clear<s>::type |
Пустая (empty) последовательность, концепцепт-идентичная последовательности s; |
Модели:
vector
list
Смотри также:
Sequences, Back Extensible Sequence, insert, insert_range, erase, clear
Front Extensible Sequence