apply/lambda Semantics

1. Nullary metafunction classes are now consistent with all other metafunction classes, rather than being identical to nullary metafunctions:

   Nullary...	Before	Now
   Метафункция	f::тип	f::тип
   Класс метафункций	c::type	c::apply<>::typeилиc::apply::type

   Это устраняет недостаток алгебры метафункции, которая долгое время была основным источником других несоответствий в библиотеке.

2. The apply metafunction now automatically invokes lambda on its first argument. For example, the following is well-formed now:

   typedef apply< plus<_1,_1>, int_<2> >::type four;
   

   apply_wrapnвспомогательные метафункции доступны в редких случаях, когда крайне важно устранить небольшие накладные расходы, связанные с лямбда-выражениями, при этом все еще избегая различных ошибок компилятора, которые, как известно, вызывают проблемы с очевиднымf::templateapply<...>::typeсинтаксисом.

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

Чтобы получить подробную картину новой прикладной/ламбда-семантики, см. пример испытаний вlibs/mpl/test/apply.cppи соответствующие разделы справочного руководства MPL.