Description

Выражение Placeholder представляет собой тип, который является либо placeholder Специализация шаблона класса с по меньшей мере одним аргументом, который сам по себе является выражением .

Expression requirements

Если X является шаблоном класса, и a1, ...an являются произвольными типами, то X является Выражением держателя места, если и только если соблюдены все следующие условия:

• По крайней мере, один из аргументов шаблонаa1,являетсязаполнителем.илиВыражение лица.
• Все параметры шаблонаX, включая параметры по умолчанию, являются типами.
• Число параметров шаблонаX, включая параметры по умолчанию, меньше или равно значениюBOOST_MPL_LIMIT_METAFUNCTION_ARITYмакрос конфигурации.

Models

• _1
• плюс<_,int_<2>>
• если_<меньше<_1,int_<7>>,плюс<_1>,>

See also

Lambda Expression, Placeholders, Metafunctions, apply, lambda