blob: f3413d99e7570b46ccf10f581f98321367644760 [file] [log] [blame]
.. Metafunctions/Type Selection//eval_if |30
eval_if
=======
Synopsis
--------
.. parsed-literal::
template<
typename C
, typename F1
, typename F2
>
struct eval_if
{
typedef |unspecified| type;
};
Description
-----------
Evaluates one of its two |nullary metafunction| arguments, ``F1`` or ``F2``, depending
on the value ``C``.
Header
------
.. parsed-literal::
#include <boost/mpl/eval_if.hpp>
Parameters
----------
+---------------+-----------------------------------+-----------------------------------------------+
| Parameter | Requirement | Description |
+===============+===================================+===============================================+
| ``C`` | |Integral Constant| | An evaluation condition. |
+---------------+-----------------------------------+-----------------------------------------------+
| ``F1``, ``F2``| Nullary |Metafunction| | Metafunctions to select for evaluation from. |
+---------------+-----------------------------------+-----------------------------------------------+
Expression semantics
--------------------
For any |Integral Constant| ``c`` and nullary |Metafunction|\ s ``f1``, ``f2``:
.. parsed-literal::
typedef eval_if<c,f1,f2>::type t;
:Return type:
Any type.
:Semantics:
If ``c::value == true``, ``t`` is identical to ``f1::type``; otherwise ``t`` is
identical to ``f2::type``.
Example
-------
.. parsed-literal::
typedef eval_if< true\_, identity<char>, identity<long> >::type t1;
typedef eval_if< false\_, identity<char>, identity<long> >::type t2;
BOOST_MPL_ASSERT(( is_same<t1,char> ));
BOOST_MPL_ASSERT(( is_same<t2,long> ));
See also
--------
|Metafunctions|, |Integral Constant|, |eval_if_c|, |if_|
.. 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)