The MPL Reference Manual

The MPL Reference Manual

---

:Copyright: Copyright 2001-2009 Aleksey Gurtovoy and David Abrahams

:License: Distributed under the Boost Software License, Version 1.0. (See accompanying file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)

.. raw:: latex

\setcounter{secnumdepth}{2} \setcounter{tocdepth}{2}

.. TOC copyright: .. copyright:: Copyright 2001-2009 Aleksey Gurtovoy and David Abrahams Distributed under the Boost Software License, Version 1.0. (See accompanying file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)

.. contents:: Table of Contents :depth: 3

.. |Boost.Bind| replace:: Boost.Bind <http://www.boost.org/libs/bind/bind.html>__ .. |Boost.Lambda| replace:: Boost.Lambda <http://www.boost.org/libs/lambda/doc/index.html>__

.. role:: refentry(literal)

.. |t1| replace:: \ t\ :sub:1 .. |t2| replace:: \ t\ :sub:2 .. |tn| replace:: \ t\ :sub:n .. workaround weird substitution bug (used to work!): .. |t1...tn| replace:: \ t\ :sub:1,\ t\ :sub:2,... |tn|

.. |p1...pn| replace:: \ p\ :sub:1,\ p\ :sub:2,... \ p\ :sub:n

.. |c1| replace:: \ c\ :sub:1 .. |c2| replace:: \ c\ :sub:2 .. |cn| replace:: \ c\ :sub:n .. workaround weird substitution bug (works with t's!): .. |c1...cn| replace:: \ c\ :sub:1,\ c\ :sub:2,... \ c\ :sub:n

.. |x1...xn| replace:: x\ :sub:1,\ x\ :sub:2,... \ x\ :sub:n

.. |...| replace:: ... .. |T1...Tn| replace:: T1, T2,... Tn

.. |F1...Fn| replace:: F1, F2,... Fn .. |f1...fn| replace:: f1, f2,... fn

.. |A1...An| replace:: A1,... An .. |a1...an| replace:: a1,... an

.. |begin/end<Sequence>| replace:: [begin<Sequence>::type, end<Sequence>::type) .. |begin/end<Seq>| replace:: [begin<Seq>::type, end<Seq>::type) .. |begin/end<Seq1>| replace:: [begin<Seq1>::type, end<Seq1>::type) .. |begin/end<Seq2>| replace:: [begin<Seq2>::type, end<Seq2>::type)

.. |begin/end<s>| replace:: [begin<s>::type, end<s>::type) .. |begin/end<v>| replace:: [begin<v>::type, end<v>::type) .. |begin/end<s1>| replace:: [begin<s1>::type, end<s1>::type) .. |begin/end<s2>| replace:: [begin<s2>::type, end<s2>::type)

.. |is_same| replace:: is_same .. |unspecified| replace:: unspecified .. |unspecified-token-seq| replace:: unspecified token sequence

.. |idic| replace:: implementation-defined integral constant

.. |true if and only if| replace:: A boolean Integral Constant_ c such that c::value == true if and only if

.. |O(1)| replace:: O(1)

.. |--| unicode:: U+02014 .. EM DASH

.. |Note:| replace:: [Note: .. |-- end note| replace:: |--| end note]

.. |Semantics disclaimer...| replace:: The semantics of an expression are defined only where they differ from, or are not defined in

.. |numeric metafunction note| replace:: The requirements listed in this specification are the ones imposed by the default implementation. See |Numeric Metafunction| concept for the details on how to provide an implementation for a user-defined numeric type that does not satisfy the Integral Constant_ requirements.

.. "[Note:" instead of "|Note:|" to workaround another subst. bug

.. |preprocessed headers disclaimer| replace:: [Note: Overriding will take effect only if the library is configured not to use |preprocessed headers|. See |BOOST_MPL_CFG_NO_PREPROCESSED_HEADERS| for more information. |--| end note]

.. |transformation algorithm disclaimer| replace:: [Note: This wording applies to a no-inserter version(s) of the algorithm. See the Expression semantics subsection for a precise specification of the algorithm's details in all cases |--| end note]

.. |In the following table...| replace:: In the following table and subsequent specifications,