Sequences

Compile-time sequences of types are one of the basic concepts of C++ template metaprogramming. Differences in types of objects being manipulated is the most common point of variability of similar, but not identical designs, and these are a direct target for metaprogramming. Templates were originally designed to address this exact problem. However, without predefined mechanisms for representing and manipulating sequences of types as opposed to standalone template parameters, high-level template metaprogramming is severely limited in its capabitilies.

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

• Концепции
• Классы
• Виды
• Внутренние метафункции