- •Вычисления значений
- •Пример:
- •Вычисления типов
- •Преимущества мета подхода:
- •Польза использования mpl:
- •Числовая метафункция
- •Свойства
- •Метаданные
- •Специализация
- •Первичный шаблон:
- •Инстанцирование:
- •Метафункции
- •Полиморфизм
- •Возможности свойств:
- •Организация свойств в Boost:
- •Пример:
- •Типовые ассоциации
- •Альтернатива:
- •Метафункции Продвижение (пересылка) метафункций
- •Класс метафункции
- •Формат:
- •Числовые
- •Пример:
- •Нульарные
- •Метрический анализ (Анализ размерностей)
- •Метрики
- •Величины
- •Сложение и вычитание
- •Умножение
- •Класс метафункции
- •Деление
- •Пример:
- •Метафункции высшего порядка (Каскады вложенных вызовов)
- •Использование apply:
- •Заполнители
- •Безымянный заполнитель:
- •Определение выражений с заполнителями
- •Лямбда (Лямбда метафункции/выражения)
- •Частичное приложение метафункции
- •Лямбда и Шаблоны Неметафункции
- •Обертки
- •Выбор типа
- •Ленивый Выбор Типа
- •Логические Операторы
- •Целочисленные обертки
- •Составные Операторы
- •Операторы с булевым значением:
- •Операторы для сравнения значений:
- •Операторы для интегральных значений:
- •Побитовые операторы:
- •Арифметические операторы:
- •Целочисленная «стенография»
- •Интегральные последовательности
- •Формат:
- •Последовательности
- •Концепции
- •Итераторы
- •Двунаправленные
- •Произвольные
- •Последовательности
- •Двунаправленные
- •Произвольные
- •Расширенные
- •Ассоциативные
- •Требования
- •Расширения
- •Расширенные ассоциативные последовательности
- •Алгоритмы и последовательности
- •Итераторы
- •Равенство
- •Операции Внутренние операции с последовательностей
- •Наследование
- •Создание последовательности
- •Реализация:
- •Создание итератора
- •Преимущества полной специализации перед частичной:
- •Добавление расширения
- •Алгоритмы
- •Абстракция:
- •Stl алгоритмы
- •Детали правильного использования stl:
- •Mpl алгоритмы
- •Различия stl и mpl алгоритмов:
- •Пример:
- •Вставки
- •Пример 1:
- •Пример 2:
- •Пример 3:
- •Фундамент алгоритмов
- •Пример:
- •Запрашиваемые алгоритмы
- •Последовательности (Алгоритмы, создающие последовательности)
- •Синонимы функциональных алгоритмов:
- •Создание алгоритма
- •Итераторы «Просмотр» и итераторы-адаптеры
- •Концепция просмотра
- •Применение просмотра Сравнения значений элементов последовательности:
- •Объединение множественных (мульти-) последовательностей
- •Упрощение 1
- •Упрощение 2 (создание просмотра)
- •Уход от ненужного вычисления
- •Выборочная обработка элемента
- •Итератор-адаптер
- •Создание просмотра
- •Реализация итератора-адаптера для zip_view.
- •Диагностика
- •Отладка ошибок
- •Трассировка инстанцирования
- •Исправленный пример:
- •Форматы сообщений об ошибках
- •Блок «with»
- •Устранение параметров шаблона по умолчанию
- •Глубокий typedef
- •Инструменты
- •Несколько компиляторов
- •(Статические Утверждения)
- •Формат:
- •Формат:
- •Индивидуальные сообщения утверждений
- •Настройка предиката:
- •(Генерирование встроенных сообщений)
- •Формат:
- •Выбор стратегии:
- •Тип печати
- •Кросс этапность компиляции/выполнения
- •Печать типов:
- •Тип посещения:
- •Выбор реализаций
- •Специализация шаблонов классов
- •Тег диспетчеризации
- •Выбор структуры
- •Композиция классов
- •Указатели на функцию
- •Ослабление типизации
- •Пример:
- •Обобщение:
- •Динамический полиморфизм
- •Автоматизация
- •Сохранение интерфейса
- •Рекуррентный шаблон
- •Формат:
- •Генерирование функций
- •Управление разрешением перегрузки
- •Явное управление множеством перегрузки
- •Документация mpl Последовательности
- •Концепции
- •(Прямая последовательность)
- •(Двунаправленная Последовательность)
- •(Последовательность произвольного доступа)
- •(Расширенная последовательность)
- •(Расширенная последовательность начала)
- •(Расширенная последовательность конца)
- •(Ассоциативная последовательность)
- •(Расширенная ассоциативная последовательность)
- •(Обертка интегральной последовательности )
- •(Переменная последовательность)
- •Представления
- •Метафункции (Внутренние)
- •Итераторы
- •Концепции
- •(Прямой итератор)
- •(Двунаправленный итератор)
- •(Итератор произвольного доступа)
- •Метафункции
- •Алгоритмы
- •Концепции
- •(Инсертер: механизм вставок)
- •Инсертеры (инсертер: механизм вставок)
- •Итеративные алгоритмы
- •Запрашиваемые алгоритмы
- •Преобразования
- •Метафункции
- •Концепции Метафункция
- •Метафункциональный класс
- •Лямбда выражения
- •Заполнители
- •Тэг диспетчеризированные метафункции
- •Числовые метафункции
- •Тривиальные метафункции
Инсертеры (инсертер: механизм вставок)
back_inserter
Фомрат:
template<typename Seq>
struct back_inserter
{
// unspecified
// ...
};
Описание:
Осуществляет вставку элементов в конец последовательности.
Заголовок:
#include <boost/mpl/back_inserter.hpp>
Модель:
Inserter
Параметры:
Выражение |
Требование |
Описание |
Seq |
Расширяемая последовательность конца |
Последовательность для связывания с инсертером. |
Семантика выражений:
Поддерживает семантику, определенную для инсертера, добавляет отличные/не определенные выражения.
Для любой расширяемой последовательности конца s:
Выражение |
Семантика |
back_inserter<s> |
Инсертер in эквивалентен struct in : inserter<s,push_back<_1,_2>>{}; |
Сложность:
Амортизированное постоянное время.
Пример:
int main()
{
typedef mpl::copy<
mpl::range_c<int,5,10>,
mpl::back_inserter<mpl::vector_c<int,0,1,2,3,4>>
>::type range;
BOOST_MPL_ASSERT((mpl::equal< range, mpl::range_c<int,0,10> > ));
return 0;
};
Смотри также:
Algorithms, Inserter, Reversible Algorithm, inserter, front_inserter, push_back
front_inserter
Фомрат:
template<typename Seq>
struct front_inserter
{
// unspecified
// ...
};
Описание:
Осуществляет вставку элементов в начало последовательности.
Заголовок:
#include <boost/mpl/front_inserter.hpp>
Модель:
Inserter
Параметры:
Выражение |
Требование |
Описание |
Seq |
Расширяемая последовательность начала |
Последовательность для связывания с инсертером. |
Семантика выражений:
Поддерживает семантику, определенную для инсертера, добавляет отличные/не определенные выражения.
Для любой расширяемой последовательности начала s:
Выражение |
Семантика |
front_inserter<s> |
Инсертер in эквивалентен struct in : inserter<s, push_front<_1,_2>>{}; |
Сложность:
Амортизированное постоянное время.
Пример:
int main()
{
typedef mpl::reverse_copy<
mpl::range_c<int,0,5>,
mpl::front_inserter<mpl::vector_c<int,5,6,7,8,9>>
>::type range;
BOOST_MPL_ASSERT((mpl::equal< range, mpl::range_c<int,0,10> > ));
return 0;
};
Смотри также:
Algorithms, Inserter, Reversible Algorithm, inserter, back_inserter, push_front
inserter
Фомрат:
template
<
typename State,
typename Operation
>
struct inserter
{
typedef State state;
typedef Operation operation;
};
Описание:
Модель общего назначения для концепции инсертера.
Заголовок:
#include <boost/mpl/inserter.hpp>
Модель:
Inserter
Параметры:
Выражение |
Требование |
Описание |
State |
Любой тип |
Исходное состояние. |
Operation |
Бинарное лямбда-выражение |
Операция вывода. |
Семантика выражений:
Поддерживает семантику, определенную для инсертера, добавляет отличные/не определенные выражения.
Для любого бинарного лямбда-выражения op и произвольного типа state:
Выражение |
Семантика |
inserter<op,state> |
Инсертер
|
Сложность:
Амортизированное постоянное время.
Пример:
template<typename N>
struct is_odd
: mpl::bool_<( N::value % 2 )>
{};
int main()
{
typedef mpl::copy<
mpl::range_c<int,0,10>,
mpl::inserter< // a filtering ’push_back’ inserter
mpl::vector<>,
mpl::if_<
is_odd<mpl::_2>,
mpl::push_back<mpl::_1, mpl::_2>,
mpl::_1
>
>
>::type odds;
BOOST_MPL_ASSERT
((
mpl::equal<
odds,
mpl::vector_c<int,1,3,5,7,9>,
mpl::equal_to<mpl::_, mpl::_>
>
));
return 0;
}
Смотри также:
Algorithms, Inserter, Reversible Algorithm, front_inserter, back_inserter
