MPL/Fusion/Hana в примерах
От: kaa.python Ниоткуда РСДН профессионально мёртв и завален ватой.
Дата: 06.05.15 14:54
Оценка: +3 -1
Очень часто слышу мнение о невероятной полезности MPL (было дело, пару раз нашел ей применение) подобный библиотек. Сейчас вот Hana подоспела, которая тоже невероятно полезна. Так вот, а не видел ли кто некого труда, можно по аналогии с творением от GoF о реальных или более-менее похожих на реальность вариантах использования этих библиотек? Ну, так что бы десяток-другой примеров, хотя бы, в духе "была пробелема Ы, в при помощи замечательной MPL/Hana мы её очень эффективно решили". Лично я, когда читаю приложенную документацию и/или тесты, понимаю что "все очень круто", но вопрос "а нахрена?" меня никак не покидает уже многие годы
Re[5]: Метапрограммирование в примерах
От: Evgeny.Panasyuk Россия  
Дата: 06.05.15 15:37
Оценка: +2
Здравствуйте, andrey.desman, Вы писали:

EP>>Это считается примером или нет?

AD>Примеров и так хватает. Главный вопрос был: а нахера?

Так он же и просит примеры применения ("реальные", а не из документации) чтобы понять "а нахрена?"
Re: MPL/Fusion/Hana в примерах
От: jazzer Россия Skype: enerjazzer
Дата: 08.05.15 04:03
Оценка: 12 (1)
Здравствуйте, kaa.python, Вы писали:

KP>Очень часто слышу мнение о невероятной полезности MPL (было дело, пару раз нашел ей применение) подобный библиотек. Сейчас вот Hana подоспела, которая тоже невероятно полезна. Так вот, а не видел ли кто некого труда, можно по аналогии с творением от GoF о реальных или более-менее похожих на реальность вариантах использования этих библиотек? Ну, так что бы десяток-другой примеров, хотя бы, в духе "была пробелема Ы, в при помощи замечательной MPL/Hana мы её очень эффективно решили". Лично я, когда читаю приложенную документацию и/или тесты, понимаю что "все очень круто", но вопрос "а нахрена?" меня никак не покидает уже многие годы


Вот старый боевой пример: http://rsdn.ru/forum/cpp/2899831
Автор: jazzer
Дата: 02.04.08

Вот еще пример: http://rsdn.ru/forum/cpp/3722136
Автор: jazzer
Дата: 02.03.10

Подход родился при решении реальной задачи на работе (и именно поэтому он такой, какой есть, а не проще — потому что в реальной задаче все сильно развесистей и MPL очень помогает с этой развесистостью справиться — у меня в реальном коде условия генерятся через MPL, а не запиываются сразу все целиком, как в статье).

Вот еще: http://rsdn.ru/forum/cpp/4544930.1
Автор: jazzer
Дата: 16.12.11
(посмотри там на скрытую секцию про макрос PYTHON_DECL — это, опять же, мой рабочий код с кучей (реально кучей, несколько файлов) метапрограммирования внутри, как на препроцессоре, так и на MPL)

Вот еще топик был небольшой: http://rsdn.ru/forum/cpp/4530248
Автор: jazzer
Дата: 07.12.11

и еще один, еще более старый: http://rsdn.ru/forum/cpp.applied/1258144
Автор: Anton V. Kolotaev
Дата: 06.07.05
jazzer (Skype: enerjazzer) Ночная тема для RSDN
Автор: jazzer
Дата: 26.11.09

You will always get what you always got
  If you always do  what you always did
Re[2]: Метапрограммирование в примерах
От: Evgeny.Panasyuk Россия  
Дата: 06.05.15 15:09
Оценка: 9 (1)
Здравствуйте, Άнoним, Вы писали:

Ά>А нет ли какого-нибудь труда, который бы понятным языком разъяснял что это вообще такое?


* C++ Template Metaprogramming: Concepts, Tools, and Techniques from Boost and Beyond by David Abrahams and Aleksey Gurtovoy.
* Modern C++ Design: Generic Programming and Design Patterns Applied by Andrei Alexandrescu.

Правда они немного устарели в связи с выходом C++11/C++14 — некоторые техники уже не актуальны в связи с новыми языковыми возможностями. Тем не менее общее понимание они дадут на хорошем уровне.
Re[9]: Метапрограммирование в примерах
От: Evgeny.Panasyuk Россия  
Дата: 14.05.15 17:13
Оценка: 8 (1)
Здравствуйте, Tilir, Вы писали:

T>>>лучше flex/bison они хоть и хардкорны, но не таят гнилых сюрпризов.

EP>>Если наткнулись на баг в Spirit'е (экспоненциальная сложность там где её быть не должно) — то нужно открыть ticket в их trac'е.
T>Такого рода "баг" это очень часто "споткнулись на неявном неправильном использовании". Свести к простому примеру? Часто не сводится. Выкладывать полностью? Очень много проприетарного кода который не хочется открывать даже примерно.

По моему опыту часто всё локализуется через банальное "разделяй и властвуй" — причём это относится не только к шаблонному мета-программированию.
И только в редких случаях важны какие-то сайд-эффекты влияния под-частей друг на друга (так что при удалении/выключении одной из них исследуемый эффект пропадает).

T>Вот кстати интересно -- а кто что использует для получения "препроцессированных" исходников после всех шаблонных подстановок?


Что конкретно имеется в виду? Для какой цели?
Если для выявления самой долгой instantiation — то тут нужно не раскрытие, а замеры времени.
Если для тестирования — то здесь нужны unit-test'ы, а не результирующие подстановки.
По большому счёту для макросов (или для кодогенерации) результирующие подстановки полезны потому что манипуляция происходит на уровне конкатенации незаконченных текстовых фрагментов кода (которые могут комбинироваться причудливыми способами), в случае же шаблонов картина принципиально иная.
Если же речь идёт не про результирующие подстановки, а про своего рода backtrace воплощений с промежуточными аргументами — то каждый современный компилятор C++ умеет его выводить (при compile error; которую при необходимости можно спровоцировать вручную).
Если же для оценки оптимальности результирующего кода — то тут естественно нужно смотреть в результирующий ASM.

T>Может уже все давно спасены и я один во мраке?


Для отладки и профилирования шаблонного кода создаются разные утилиты, например: Metashell, Templight. Но я пока обхожусь без их помощи.
Re[11]: Метапрограммирование в примерах
От: jazzer Россия Skype: enerjazzer
Дата: 15.05.15 05:23
Оценка: 8 (1)
Здравствуйте, Tilir, Вы писали:

T>На уровне: "сколько раз раскрылся вот этот вот шаблон и с какими параметрами".


Если речь о GCC, то есть флажок -fdump-class-hierarchy
Например, для файла
#include <iostream>
template<class T> struct F {
  static const int value = T::value * F< boost::mpl::int_<T::value-1> >::value;
};
template<> struct F< boost::mpl::int_<0> > {
  static const int value = 1;
};

int main() {
  std::cout << F<boost::mpl::int_<10>>::value << std::endl;
}

получается вот такой вывод:
> grep '^Class F<' test.cpp.002t.class
Class F<mpl_::int_<0> >
Class F<mpl_::int_<10> >
Class F<mpl_::int_<9> >
Class F<mpl_::int_<8> >
Class F<mpl_::int_<7> >
Class F<mpl_::int_<6> >
Class F<mpl_::int_<5> >
Class F<mpl_::int_<4> >
Class F<mpl_::int_<3> >
Class F<mpl_::int_<2> >
Class F<mpl_::int_<1> >
jazzer (Skype: enerjazzer) Ночная тема для RSDN
Автор: jazzer
Дата: 26.11.09

You will always get what you always got
  If you always do  what you always did
Re[5]: Метапрограммирование в примерах
От: Evgeny.Panasyuk Россия  
Дата: 07.05.15 10:30
Оценка: 2 (1)
Здравствуйте, kaa.python, Вы писали:

EP>>Шаблоны используются не только для метапрограммирования. А метапрограммирование возможно и без MPL/Fusion/Hana.

EP>>Топик же называется "Метапрограммирование в примерах", а не "MPL/Fusion/Hana в примерах" — поэтому и уточняю.
KP>Ты прав, переименовал.

Ок, несколько примеров:
1. Сериализация
Автор: Evgeny.Panasyuk
Дата: 06.10.14
на базе Boost.Fusion — описываем структуры через BOOST_FUSION_DEFINE_STRUCT и автоматом получаем serialize, operator<, operator==, hash_value, и любой другой необходимый обход этих структур. Например понадобилось при реализации паука обходящего P2P сеть Bitcoin, причём когда понадобился текстовый dump сообщений — достаточно было только написать соответствующий код рекурсивного обхода структур.
2. MPL используется внутри Boost.Variant — мне он часто требуется в реальных проектах.
3. MPL и Fusion используются внутри Boost.Spirit, который например мне понадобился для парсинга грамматики в реальном проекте — более удобной альтернативы я не знаю.
4. MPL используется внутри Boost.TypeErasure, который помогает делать штуки типа std::function и any_iterator (практичность и полезность которых думаю сомнений не вызывает).
5. Товарищ jazzer подробно описывал
Автор: jazzer
Дата: 02.04.08
конкретный пример использования MPL и Variant в реальном проекте.

Книжек фокусирующихся на примерах использования MPL и Fusion — я не видел.
Но например по Fusion мне вполне хватило примеров из документации к библиотеке — это библиотека для работы с гетерогенными структурами данных, в том числе позволяющая эмулировать compile-time reflection/introspection/reification. Опять таки, думаю полезность reflection не вызывает никаких сомнений.

EP>>Это считается примером или нет?

KP>Этот текст? Думаю, очевидно что нет.

Нет, не текст, а Eigen. Мне в реальном проекте понадобился Eigen, внутри которого много template metaprogramming.
Re: Метапрограммирование в примерах
От: Abyx Россия  
Дата: 06.05.15 20:32
Оценка: -1
Здравствуйте, kaa.python, Вы писали:

KP>Очень часто слышу мнение о невероятной полезности MPL (было дело, пару раз нашел ей применение) подобный библиотек. Сейчас вот Hana подоспела, которая тоже невероятно полезна. Так вот, а не видел ли кто некого труда, можно по аналогии с творением от GoF о реальных или более-менее похожих на реальность вариантах использования этих библиотек? Ну, так что бы десяток-другой примеров, хотя бы, в духе "была пробелема Ы, в при помощи замечательной MPL/Hana мы её очень эффективно решили". Лично я, когда читаю приложенную документацию и/или тесты, понимаю что "все очень круто", но вопрос "а нахрена?" меня никак не покидает уже многие годы


ну прямо как будто первый день в С++

берешь буст, и грепаешь там "/mpl/", находишь 2000+ файлов которые используют MPL, читаешь как она используется.
— реальные примеры использования MPL для создания реальных библиотек
In Zen We Trust
Re[2]: Метапрограммирование в примерах
От: kaa.python Ниоткуда РСДН профессионально мёртв и завален ватой.
Дата: 07.05.15 00:19
Оценка: +1
Здравствуйте, Abyx, Вы писали:

A>ну прямо как будто первый день в С++


Ты как будто первый раз текст на русском читаешь. Я не хочу читать 2000+ файлов и анализировать их, BOOST мало чем отличается от любой другой бибилиотеки и основная его часть решает проблемы существующие в исключительно в голове авторов. Я же хочу некий труд: заметку, статью, которая покажет на примерах полезные практики и варианты использования. Не зря же в качестве примера я упомянул GoF.
Re: MPL/Fusion/Hana в примерах
От: Patalog Россия  
Дата: 07.05.15 03:15
Оценка: -1
Здравствуйте, kaa.python, Вы писали:

[]

Метапрограммирование вообще и сабжи в частности в основном применяются для производства других библиотек, которые и служат для "была пробелема Ы"решения конкретных прикладных задач, либо в свою очередь, служат основой для опять же библиотек, которые ... =)
Пример — boost.proto\boost.mpl -> boost.simd -> nt2 -> HPC
Почетный кавалер ордена Совка.
Re: MPL/Fusion/Hana в примерах
От: niXman Ниоткуда https://github.com/niXman
Дата: 07.05.15 18:27
Оценка: -1
Здравствуйте, kaa.python, Вы писали:

KP>MPL/Fusion/Hana

в рамках некоторого проекта появились восточные коллеги, которые много рассказывают про SPROUT.
выглядит очень солидно
дока, правда, недописана... та и без нее вроде все понятно.

непременно опробую, когда появится подходящая задача.
пачка бумаги А4 стОит 2000 р, в ней 500 листов. получается, лист обычной бумаги стОит дороже имперского рубля =)
Re[7]: Метапрограммирование в примерах
От: AndrewJD США  
Дата: 14.05.15 14:24
Оценка: -1
Здравствуйте, Tilir, Вы писали:

T>Boost.Spirit штука очень коварная -- оно сначала кажется няшным и все такое, а потом вы добавляете ещё фичу и ещё и замечаете, что у вас время компиляции выросло экспоненциально при линейном вроде добавлении фич. Потому что шаблоны. У нас в соседнем отделе ребята с таким столкнулись, теперь больно и тоскливо, а сделать уже нечего -- переписывать все с нуля никто не даст.


Время компиляции — это одна сторона. Boost.Spirit жуткий тормоз в рантайме. Если хоть немного важна скорость парсинга, то лучше сразу смотреть на альтернативы.
"For every complex problem, there is a solution that is simple, neat,
and wrong."
Re[8]: Метапрограммирование в примерах
От: alex_public  
Дата: 14.05.15 21:02
Оценка: +1
Здравствуйте, AndrewJD, Вы писали:

AJD>Время компиляции — это одна сторона. Boost.Spirit жуткий тормоз в рантайме. Если хоть немного важна скорость парсинга, то лучше сразу смотреть на альтернативы.


Эээ что? ) Как раз Boost.Spirit один из самых быстрых парсеров. У него скорее другие проблемы. Ориентация на не особо сложные грамматики и проблематичные ошибки (общая проблема всего метапрограммирования на шаблонах). А уж со скоростью там всё отлично. )
Re[9]: Метапрограммирование в примерах
От: jazzer Россия Skype: enerjazzer
Дата: 15.05.15 04:47
Оценка: +1
Здравствуйте, Tilir, Вы писали:

T>Здравствуйте, jazzer, Вы писали:


J>>Потому что обычно парсинг — это один файл, который почти не меняется. Ну скомпилируется он один раз долго — ну и хрен бы с ним


T>Если что-то можно унести в один файл и забыть, никакого метапрограммирования там вообще не нужно. MP удобно как раз для мест, где нечто расползлось по всему коду и генерировать это одним файлом сложно или неудобно.


Почему же не нужно? Вот спирит — сплошное МП, но в реальном проекте он используется в одном-двух файлах, когда надо что-то парсить.
Не много же проектов, где парсинг — главная часть приложения.
jazzer (Skype: enerjazzer) Ночная тема для RSDN
Автор: jazzer
Дата: 26.11.09

You will always get what you always got
  If you always do  what you always did
Re: Метапрограммирование в примерах
От: Evgeny.Panasyuk Россия  
Дата: 06.05.15 15:01
Оценка:
Здравствуйте, kaa.python, Вы писали:

KP>Очень часто слышу мнение о невероятной полезности MPL (было дело, пару раз нашел ей применение) подобный библиотек. Сейчас вот Hana подоспела, которая тоже невероятно полезна. Так вот, а не видел ли кто некого труда, можно по аналогии с творением от GoF о реальных или более-менее похожих на реальность вариантах использования этих библиотек?


Нужны примеры именно с использованием MPL/Fusion/Hana? Или подойдут любые TMP примеры?
Re: Метапрограммирование в примерах
От: Άнoним  
Дата: 06.05.15 15:03
Оценка:
Здравствуйте, kaa.python, Вы писали:

KP>Очень часто слышу мнение о невероятной полезности MPL (было дело, пару раз нашел ей применение) подобный библиотек. Сейчас вот Hana подоспела, которая тоже невероятно полезна. Так вот, а не видел ли кто некого труда, можно по аналогии с творением от GoF о реальных или более-менее похожих на реальность вариантах использования этих библиотек? Ну, так что бы десяток-другой примеров, хотя бы, в духе "была пробелема Ы, в при помощи замечательной MPL/Hana мы её очень эффективно решили". Лично я, когда читаю приложенную документацию и/или тесты, понимаю что "все очень круто", но вопрос "а нахрена?" меня никак не покидает уже многие годы


А нет ли какого-нибудь труда, который бы понятным языком разъяснял что это вообще такое? Я в бусте (в его "языковой", "неприкладной" части, то есть не касающейся фукнций ОС и матана) около половины библиотек вполне понимаю что оно и для чего, но вот есть такие о которых вообще сказать что-то сложно — что оно и зачем, не говоря уже о "как работает".
Из доступных книг — http://theboostcpplibraries.com (но там как раз в основном понятные), книга Полухина (в которой тоже в основном простые библиотеки) и загадочная книжка в двух томах "Introduction to the Boost C++ Libraries", на которую есть единственная ссылка —
https://skladchik.com/threads/introduction-to-the-boost-c-libraries-volume-i-foundations.11775
Re[2]: Метапрограммирование в примерах
От: kaa.python Ниоткуда РСДН профессионально мёртв и завален ватой.
Дата: 06.05.15 15:17
Оценка:
Здравствуйте, Evgeny.Panasyuk, Вы писали:

EP>Нужны примеры именно с использованием MPL/Fusion/Hana? Или подойдут любые TMP примеры?


Именно по MPL/Fusion/Hana. В общем случае польза шаблонов и варианты их использования вопросов не вызывают.
Отредактировано 06.05.2015 15:18 kaa.python . Предыдущая версия . Еще …
Отредактировано 06.05.2015 15:18 kaa.python . Предыдущая версия .
Re[3]: Метапрограммирование в примерах
От: Evgeny.Panasyuk Россия  
Дата: 06.05.15 15:28
Оценка:
Здравствуйте, kaa.python, Вы писали:

EP>>Нужны примеры именно с использованием MPL/Fusion/Hana? Или подойдут любые TMP примеры?

KP>Именно по MPL/Fusion/Hana. В общем случае польза шаблонов и варианты их использования вопросов не вызывают.

Шаблоны используются не только для метапрограммирования. А метапрограммирование возможно и без MPL/Fusion/Hana.
Топик же называется "Метапрограммирование в примерах", а не "MPL/Fusion/Hana в примерах" — поэтому и уточняю.

Например библиотека Eigen — там сплошное метапрограммирование, но MPL/Proto они не использовали по каким-то организационным причинам, о чём и пишут в комментариях:
/** \internal
  * \file Meta.h
  * This file contains generic metaprogramming classes which are not specifically related to Eigen.
  * \note In case you wonder, yes we're aware that Boost already provides all these features,
  * we however don't want to add a dependency to Boost.
  */
Это считается примером или нет?
Re[4]: Метапрограммирование в примерах
От: andrey.desman  
Дата: 06.05.15 15:30
Оценка:
Здравствуйте, Evgeny.Panasyuk, Вы писали:

EP>Это считается примером или нет?


Примеров и так хватает. Главный вопрос был: а нахера?
Re: Метапрограммирование в примерах
От: night beast СССР  
Дата: 06.05.15 16:51
Оценка:
Здравствуйте, kaa.python, Вы писали:

KP>Очень часто слышу мнение о невероятной полезности MPL (было дело, пару раз нашел ей применение) подобный библиотек. Сейчас вот Hana подоспела, которая тоже невероятно полезна. Так вот, а не видел ли кто некого труда, можно по аналогии с творением от GoF о реальных или более-менее похожих на реальность вариантах использования этих библиотек? Ну, так что бы десяток-другой примеров, хотя бы, в духе "была пробелема Ы, в при помощи замечательной MPL/Hana мы её очень эффективно решили". Лично я, когда читаю приложенную документацию и/или тесты, понимаю что "все очень круто", но вопрос "а нахрена?" меня никак не покидает уже многие годы


именно MPL, или списки типов и алгоритмы работы с ними в принципе?
ну, например, недавно делал обертку для работы с бд. там параметры упаковывал в подобные списки:
struct Type {
   typedef Type ( construct )( optional<int>, uuid_t ); // не знаю, как по другому сообщить компилятору, какие типы принимает конструктор :(
   Type ( optional<int>, uuid_t );
};


db::result r = db::query( m_link, "select * from table where field_1 = {0} and field_2 = {1}", value1, value2 );
for ( db::result::const_iterator< Type > it = r.begin( ), end = r.end( ); it != end; ++it ) {
   Type record( *it );
// ...
}


без техник, описанных в MPL, работать со списками было бы очень не удобно.
Re: Метапрограммирование в примерах
От: OlegMax  
Дата: 06.05.15 19:45
Оценка:
Здравствуйте, kaa.python, Вы писали:

KP> Лично я, когда читаю приложенную документацию и/или тесты, понимаю что "все очень круто", но вопрос "а нахрена?" меня никак не покидает уже многие годы


Прочитать книжки — 20% ответа. Остальные 80% — найти задачу, требующую MPL, и решить ее (мне помогло).
Re[2]: Метапрограммирование в примерах
От: kaa.python Ниоткуда РСДН профессионально мёртв и завален ватой.
Дата: 07.05.15 00:19
Оценка:
Здравствуйте, OlegMax, Вы писали:

OM>Прочитать книжки — 20% ответа. Остальные 80% — найти задачу, требующую MPL, и решить ее (мне помогло).


Ок, согласен. Линку на книжку дашь?
Re[4]: Метапрограммирование в примерах
От: kaa.python Ниоткуда РСДН профессионально мёртв и завален ватой.
Дата: 07.05.15 00:22
Оценка:
Здравствуйте, Evgeny.Panasyuk, Вы писали:

EP>Шаблоны используются не только для метапрограммирования. А метапрограммирование возможно и без MPL/Fusion/Hana.

EP>Топик же называется "Метапрограммирование в примерах", а не "MPL/Fusion/Hana в примерах" — поэтому и уточняю.

Ты прав, переименовал.

EP>Это считается примером или нет?


Этот текст? Думаю, очевидно что нет.
Re[3]: Метапрограммирование в примерах
От: kaa.python Ниоткуда РСДН профессионально мёртв и завален ватой.
Дата: 07.05.15 00:24
Оценка:
Здравствуйте, Evgeny.Panasyuk, Вы писали:

EP>* C++ Template Metaprogramming: Concepts, Tools, and Techniques from Boost and Beyond by David Abrahams and Aleksey Gurtovoy.

EP>* Modern C++ Design: Generic Programming and Design Patterns Applied by Andrei Alexandrescu.

Потенциально, это то, что мне нужно.
Глянул еще раз. Не опознал английские версии когда-то прочитанных книг. Тот же "Шаблоны C++" мне показались более полезными.
Спасибо!
Отредактировано 07.05.2015 0:56 kaa.python . Предыдущая версия .
Re: MPL/Fusion/Hana в примерах
От: jazzer Россия Skype: enerjazzer
Дата: 07.05.15 02:35
Оценка:
Здравствуйте, kaa.python, Вы писали:

KP>Очень часто слышу мнение о невероятной полезности MPL (было дело, пару раз нашел ей применение) подобный библиотек. Сейчас вот Hana подоспела, которая тоже невероятно полезна. Так вот, а не видел ли кто некого труда, можно по аналогии с творением от GoF о реальных или более-менее похожих на реальность вариантах использования этих библиотек? Ну, так что бы десяток-другой примеров, хотя бы, в духе "была пробелема Ы, в при помощи замечательной MPL/Hana мы её очень эффективно решили". Лично я, когда читаю приложенную документацию и/или тесты, понимаю что "все очень круто", но вопрос "а нахрена?" меня никак не покидает уже многие годы


Один я вижу противоречие между "а нахрена?" и "было дело, пару раз нашел ей применение"?
jazzer (Skype: enerjazzer) Ночная тема для RSDN
Автор: jazzer
Дата: 26.11.09

You will always get what you always got
  If you always do  what you always did
Re[2]: MPL/Fusion/Hana в примерах
От: kaa.python Ниоткуда РСДН профессионально мёртв и завален ватой.
Дата: 07.05.15 02:45
Оценка:
Здравствуйте, jazzer, Вы писали:

J>Один я вижу противоречие между "а нахрена?" и "было дело, пару раз нашел ей применение"?


Вообще-то да. Противоречия нет, т.к. пару раз найти применение паре функций из огромной библиотеки как раз и говорит о "а нахрена оно все". Как минимум для меня. Но ведь не зря люди столько написали, может я просто что-то не понимаю
Отредактировано 07.05.2015 2:47 kaa.python . Предыдущая версия .
Re[3]: MPL/Fusion/Hana в примерах
От: jazzer Россия Skype: enerjazzer
Дата: 07.05.15 03:25
Оценка:
Здравствуйте, kaa.python, Вы писали:

KP>Здравствуйте, jazzer, Вы писали:


J>>Один я вижу противоречие между "а нахрена?" и "было дело, пару раз нашел ей применение"?


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


Очевидно, зависит от задач. У тебя задачи вот такие, что MPL в полный рост не понадобился.
Мне вот бесселевы функции ни разу не понадобились, и чего теперь Есть же люди, которые считают тяжелую математику, им оно нужно. То же с MPL — когда ты пишешь шаблонную библиотеку, которая должна работать с кучей разных типов разных свойств — тебе неизбежно понадобятся какие-то средства, чтоб со всем этим управляться. А если не пишешь — то тебе оно и не надо
jazzer (Skype: enerjazzer) Ночная тема для RSDN
Автор: jazzer
Дата: 26.11.09

You will always get what you always got
  If you always do  what you always did
Re: MPL/Fusion/Hana в примерах
От: ELazin http://rsdn.ru/forum/prj/6225353.1
Автор: ELazin
Дата: 26.10.15
Дата: 07.05.15 09:45
Оценка:
Сначала подумал что ты про SAP Hana, вот это, думаю, вопросы пошли в С++ разделе.

KP>"была пробелема Ы, в при помощи замечательной MPL/Hana мы её очень эффективно решили"

я как-то раз применил, так код этот наверняка до сих пор живет без изменений из версии в версию, так как никто его не может изменить кроме меня (:
Re[3]: Метапрограммирование в примерах
От: Abyx Россия  
Дата: 07.05.15 10:18
Оценка:
Здравствуйте, kaa.python, Вы писали:

KP>Я не хочу читать 2000+ файлов и анализировать их, [...] Я же хочу некий труд: заметку, статью, которая покажет на примерах полезные практики и варианты использования.


то есть сам ты трудиться не хочешь, а хочешь чтобы кто-то потрудился за тебя. понятно.
In Zen We Trust
Re: MPL/Fusion/Hana в примерах
От: OlegMax  
Дата: 07.05.15 10:31
Оценка:
Здравствуйте, kaa.python, Вы писали:

KP>"была пробелема Ы, в при помощи замечательной MPL/Hana мы её очень эффективно решили"


Попробую свой пример изложить. Есть стандарт SVG.
В SVG много элементов, у каждого элемента свой набор атрибутов (пересекающийся с другими эл-тами). У каждого атрибута есть тип.
Эту часть спецификации можно реализовать рантайм возможностями языка (виртуальные ф-ции или свичи) или в compile-time, тогда то и начинается метапрограммирование и, местами, MPL. Кстати, эл-тами MPL контейнеров у меня всегда были не "настоящие" типы, а тэги (пустые классы), возможно это характерно для MPL.

Программист должен иметь возможность выбрать, какие элементы и атрибуты SVG обрабатывать. Это опять же можно сделать в рантайме, но тогда нет compile-time проверки, что программист готов принять данные, которые он выбрал для обработки — только рантайм ассерты. Или же предлагаем ему передать MPL контейнер с тэгами эл-тов и атрибутов, которые он хочет обрабатывать. В последнем случае получаем zero overhead, "not pay for what you don't use" и код пользователя, соответствующий заказанным фичам. И никакого неиспользуемого кода в бинарниках.

Вобщем, если спецификация SVG понятна, можете прикинуть архитектуру такой библиотечки и там автоматически должен возникнуть MPL.
Re: MPL/Fusion/Hana в примерах
От: zaufi Земля  
Дата: 13.05.15 20:21
Оценка:
Здравствуйте, kaa.python, Вы писали:

KP>Очень часто слышу мнение о невероятной полезности MPL (было дело, пару раз нашел ей применение) подобный библиотек. Сейчас вот Hana подоспела, которая тоже невероятно полезна. Так вот, а не видел ли кто некого труда, можно по аналогии с творением от GoF о реальных или более-менее похожих на реальность вариантах использования этих библиотек? Ну, так что бы десяток-другой примеров, хотя бы, в духе "была пробелема Ы, в при помощи замечательной MPL/Hana мы её очень эффективно решили". Лично я, когда читаю приложенную документацию и/или тесты, понимаю что "все очень круто", но вопрос "а нахрена?" меня никак не покидает уже многие годы


мои 5¢ -- http://rsdn.ru/forum/cpp.applied/4429917.1
Автор: zaufi
Дата: 21.09.11

в этом качестве использовал MPL не раз! возможность не допускать недопустимое использование библиотеки/класса на этапе компиляции бесценна!

MPL вообще часто нужен^W незаменим там, где есть необходимость что-то сделать для множества типов (масло маслянное %) ... сообщений, например, или типов которыми можно (разрешено) инстанциировать что-то (т.е. всеми остальными нельзя). или вот доводилось делать вектор MPLных пар, в котором first это compile time predicate для типа, а second это функтор, который умеет "обрабатывать" данный тип.

до появления variadic templates boost::fusion выручал когда нужно было в зависимости от параметров шаблона генерить в классе методы с непонятным (до компиляции) числом параметров и хранить их до момента вызова или "постепенно" (по очереди) отдавать во внутренние функции вызываемые из "главной"...
Re[6]: Метапрограммирование в примерах
От: Tilir Россия http://tilir.livejournal.com
Дата: 14.05.15 11:20
Оценка:
Здравствуйте, Evgeny.Panasyuk, Вы писали:

EP>3. MPL и Fusion используются внутри Boost.Spirit, который например мне понадобился для парсинга грамматики в реальном проекте — более удобной альтернативы я не знаю.


Boost.Spirit штука очень коварная -- оно сначала кажется няшным и все такое, а потом вы добавляете ещё фичу и ещё и замечаете, что у вас время компиляции выросло экспоненциально при линейном вроде добавлении фич. Потому что шаблоны. У нас в соседнем отделе ребята с таким столкнулись, теперь больно и тоскливо, а сделать уже нечего -- переписывать все с нуля никто не даст.

Так что для масштабируемости лучше flex/bison они хоть и хардкорны, но не таят гнилых сюрпризов.

Что относится и ко всему прочему MP. Оно должно быть маленьким и очень локальным, если вы не хотите собирать свой проект годами.
Re[7]: Метапрограммирование в примерах
От: jazzer Россия Skype: enerjazzer
Дата: 14.05.15 11:55
Оценка:
Здравствуйте, Tilir, Вы писали:

T>Boost.Spirit штука очень коварная -- оно сначала кажется няшным и все такое, а потом вы добавляете ещё фичу и ещё и замечаете, что у вас время компиляции выросло экспоненциально при линейном вроде добавлении фич. Потому что шаблоны. У нас в соседнем отделе ребята с таким столкнулись, теперь больно и тоскливо, а сделать уже нечего -- переписывать все с нуля никто не даст.


Вообще странно — у них что, парсинг прям везде?
Потому что обычно парсинг — это один файл, который почти не меняется. Ну скомпилируется он один раз долго — ну и хрен бы с ним
Работа основная (и перекомпиляция) в других файлах идет, не в парсилке же (я надеюсь).
jazzer (Skype: enerjazzer) Ночная тема для RSDN
Автор: jazzer
Дата: 26.11.09

You will always get what you always got
  If you always do  what you always did
Re[7]: Метапрограммирование в примерах
От: swingus  
Дата: 14.05.15 12:17
Оценка:
Не знаю. У меня сложилось такое впечатление, что основной ограничитель компиляции сложных конструкций — память. Добавил до 10 GB и перешёл на x64 (target executable x32), такое ощущение, что время компиляции растёт более-менее линейно от сложности (VC++).

Здравствуйте, Tilir, Вы писали:

T>Здравствуйте, Evgeny.Panasyuk, Вы писали:


EP>>3. MPL и Fusion используются внутри Boost.Spirit, который например мне понадобился для парсинга грамматики в реальном проекте — более удобной альтернативы я не знаю.


T>Boost.Spirit штука очень коварная -- оно сначала кажется няшным и все такое, а потом вы добавляете ещё фичу и ещё и замечаете, что у вас время компиляции выросло экспоненциально при линейном вроде добавлении фич. Потому что шаблоны. У нас в соседнем отделе ребята с таким столкнулись, теперь больно и тоскливо, а сделать уже нечего -- переписывать все с нуля никто не даст.


T>Так что для масштабируемости лучше flex/bison они хоть и хардкорны, но не таят гнилых сюрпризов.


T>Что относится и ко всему прочему MP. Оно должно быть маленьким и очень локальным, если вы не хотите собирать свой проект годами.
Re[7]: Метапрограммирование в примерах
От: Evgeny.Panasyuk Россия  
Дата: 14.05.15 12:52
Оценка:
Здравствуйте, Tilir, Вы писали:

EP>>3. MPL и Fusion используются внутри Boost.Spirit, который например мне понадобился для парсинга грамматики в реальном проекте — более удобной альтернативы я не знаю.

T>Boost.Spirit штука очень коварная -- оно сначала кажется няшным и все такое, а потом вы добавляете ещё фичу и ещё и замечаете, что у вас время компиляции выросло экспоненциально при линейном вроде добавлении фич. Потому что шаблоны.

Что значит "потому что шаблоны"? Шаблоны сами по себе не увеличивают время компиляции экспоненциально. Экспоненциальная сложность может быть у конкретной метапрограммы, но не у шаблонов в общем.

По поводу Spirit — да, компилируется медленно, PCH / Unity Builds помогают только отчасти.
Но я видел в открытых проектах грамматики, которые больше моих на порядки. Если бы рост действительно был бы экспоненциальным — то компиляция занимала бы какое-то нереальное время.

T>У нас в соседнем отделе ребята с таким столкнулись, теперь больно и тоскливо, а сделать уже нечего -- переписывать все с нуля никто не даст.

T>Так что для масштабируемости

Я использовал Spirit для небольших грамматик, которые даже в самой пессимистичной перспективе не могли вырасти до больших размеров — вполне себе пример для сабж.

T>лучше flex/bison они хоть и хардкорны, но не таят гнилых сюрпризов.


Если наткнулись на баг в Spirit'е (экспоненциальная сложность там где её быть не должно) — то нужно открыть ticket в их trac'е.

T>Что относится и ко всему прочему MP. Оно должно быть маленьким и очень локальным, если вы не хотите собирать свой проект годами.


Оно может быть большим и глобальным, и при этом проект будет собираться быстро. Оно также может быть "маленьким и очень локальным" — но проект будет собираться годами
Re[8]: Метапрограммирование в примерах
От: Evgeny.Panasyuk Россия  
Дата: 14.05.15 12:56
Оценка:
Здравствуйте, swingus, Вы писали:

S>Не знаю. У меня сложилось такое впечатление, что основной ограничитель компиляции сложных конструкций — память. Добавил до 10 GB и перешёл на x64 (target executable x32), такое ощущение, что время компиляции растёт более-менее линейно от сложности (VC++).


Насколько я знаю, у VS до сих пор 32-битный компилятор C++. Тем не менее, добавленная память может использоваться например под дисковый кэш.
Re[8]: Метапрограммирование в примерах
От: Tilir Россия http://tilir.livejournal.com
Дата: 14.05.15 15:24
Оценка:
Здравствуйте, Evgeny.Panasyuk, Вы писали:

T>>лучше flex/bison они хоть и хардкорны, но не таят гнилых сюрпризов.


EP>Если наткнулись на баг в Spirit'е (экспоненциальная сложность там где её быть не должно) — то нужно открыть ticket в их trac'е.


Такого рода "баг" это очень часто "споткнулись на неявном неправильном использовании". Свести к простому примеру? Часто не сводится. Выкладывать полностью? Очень много проприетарного кода который не хочется открывать даже примерно.

И, кстати, локализация "где именно взорвались" для шаблонов это праздник. Потому что раскрывалки шаблонов (аналог -E для макросов) не существует, насколько мне известно. Я в таких случаях смотрю гимпл (это такой IR в GCC) и даю ценные советы на уровне "ну вот тут же у вас 100500 экземпляров создалось" после чего люди действительно могут (иногда и очень примерно) найти у себя проблему.

Вот кстати интересно -- а кто что использует для получения "препроцессированных" исходников после всех шаблонных подстановок? Может уже все давно спасены и я один во мраке?
Re[9]: Метапрограммирование в примерах
От: swingus  
Дата: 14.05.15 21:12
Оценка:
Там у виндов ограничение на кол-во памяти. Кроме какой-то серверной версии и ключей запуска, все они юзают максимум 4GB.

Здравствуйте, Evgeny.Panasyuk, Вы писали:

EP>Здравствуйте, swingus, Вы писали:


S>>Не знаю. У меня сложилось такое впечатление, что основной ограничитель компиляции сложных конструкций — память. Добавил до 10 GB и перешёл на x64 (target executable x32), такое ощущение, что время компиляции растёт более-менее линейно от сложности (VC++).


EP>Насколько я знаю, у VS до сих пор 32-битный компилятор C++. Тем не менее, добавленная память может использоваться например под дисковый кэш.
Re[10]: Метапрограммирование в примерах
От: Evgeny.Panasyuk Россия  
Дата: 14.05.15 21:22
Оценка:
Здравствуйте, swingus, Вы писали:

S>>>Не знаю. У меня сложилось такое впечатление, что основной ограничитель компиляции сложных конструкций — память. Добавил до 10 GB и перешёл на x64 (target executable x32), такое ощущение, что время компиляции растёт более-менее линейно от сложности (VC++).

EP>>Насколько я знаю, у VS до сих пор 32-битный компилятор C++. Тем не менее, добавленная память может использоваться например под дисковый кэш.
S>Там у виндов ограничение на кол-во памяти. Кроме какой-то серверной версии и ключей запуска, все они юзают максимум 4GB.

Ты о чём? Если бы компилятор (cl.exe) был x64 — то он мог бы спокойно использовать больше 4GiB.
4GiB это ограничение для x32 процессов в x64 Windows.
Отредактировано 14.05.2015 21:23 Evgeny.Panasyuk . Предыдущая версия .
Re[8]: Метапрограммирование в примерах
От: Tilir Россия http://tilir.livejournal.com
Дата: 15.05.15 04:13
Оценка:
Здравствуйте, jazzer, Вы писали:

J>Потому что обычно парсинг — это один файл, который почти не меняется. Ну скомпилируется он один раз долго — ну и хрен бы с ним


Если что-то можно унести в один файл и забыть, никакого метапрограммирования там вообще не нужно. MP удобно как раз для мест, где нечто расползлось по всему коду и генерировать это одним файлом сложно или неудобно.
Re[10]: Метапрограммирование в примерах
От: Tilir Россия http://tilir.livejournal.com
Дата: 15.05.15 04:26
Оценка:
Здравствуйте, Evgeny.Panasyuk, Вы писали:

EP>По моему опыту часто всё локализуется через банальное "разделяй и властвуй" — причём это относится не только к шаблонному мета-программированию.

EP>И только в редких случаях важны какие-то сайд-эффекты влияния под-частей друг на друга (так что при удалении/выключении одной из них исследуемый эффект пропадает).

Комбинаторные взрывы при MP по моему опыту не локализуются: вы что-то убираете у вас все хорошо, добавляете снова у вас все плохо. Это что-то само является какой-то мрачной запутанной фигней из сторонней библиотеки вроде boost::spirit и отлично работает если вы его вставляете в hello world. "Ну и всё, приехали".

EP>Что конкретно имеется в виду? Для какой цели?


Посмотреть на плюсовый код после всех шаблонных подстановок. На уровне: "сколько раз раскрылся вот этот вот шаблон и с какими параметрами".
Цели в основном: оценка оверхеда по размеру кода, поиск узких мест по времени компиляции.

EP>Если же для оценки оптимальности результирующего кода — то тут естественно нужно смотреть в результирующий ASM.


Ассемблер после оптимизирующего компилятора с LTO это мелко рубленная каша, лучше уж IR на начальных фазах.

T>>Может уже все давно спасены и я один во мраке?


EP>Для отладки и профилирования шаблонного кода создаются разные утилиты, например: Metashell, Templight. Но я пока обхожусь без их помощи.


mdb забавная штука, спасибо, не знал.
Re[11]: Метапрограммирование в примерах
От: Evgeny.Panasyuk Россия  
Дата: 15.05.15 06:02
Оценка:
Здравствуйте, Tilir, Вы писали:

EP>>Что конкретно имеется в виду? Для какой цели?

T>Посмотреть на плюсовый код после всех шаблонных подстановок. На уровне: "сколько раз раскрылся вот этот вот шаблон и с какими параметрами".

Достаточно спровоцировать warning внутри шаблона — и компилятор выдаст backtrace воплощений шаблонов, со всеми аргументами. Правда нужно учитывать что воплощения могут мемоизироваться, и повторного вывода не будет.

T>Цели в основном: оценка оверхеда по размеру кода,


По-хорошему нужно смотреть на конечный размер после линковки, так как в объектных файлах может быть много функций которые по факту заинлайнены и больше нигде не требуются. Либо же смотреть размер отдельных конкретных функций.

T>поиск узких мест по времени компиляции.


Само по себе раскрытие здесь не сильно поможет. Нужно либо делать ручное "разделяй и властвуй", либо делать профилирование а-ля Templight.

EP>>Если же для оценки оптимальности результирующего кода — то тут естественно нужно смотреть в результирующий ASM.

T>Ассемблер после оптимизирующего компилятора с LTO это мелко рубленная каша, лучше уж IR на начальных фазах.

Если на начальных фазах — то значит не все оптимизации применены, для оценки оптимальности это как-то не айс. А при просмотре ASM обычно есть представление о том что там примерно должно быть, или хотя бы о том чего там быть точно не должно.
Отредактировано 15.05.2015 6:08 Evgeny.Panasyuk . Предыдущая версия .
 
Подождите ...
Wait...
Пока на собственное сообщение не было ответов, его можно удалить.