type
equivalent to T
if and only if b
is true
.
More...
#include <meta_programming.hh>
Public Types | |
typedef T | type |
type
equivalent to T
if and only if b
is true
.
This is the specialization in which the type
member is present.
T
, T1
and T2
be any type expressions and suppose we have some template function T f(T1, T2)
. If we want to declare a specialization that is enabled only if some compile-time checkable condition holds, we simply declare the specialization by template ... typename Enable_If<condition, T>::type foo(T1 x, T2 y);
condition
to evaluate to false
, the Enable_If<condition, T>::type
member will not be defined. Hence, for that instantiations, the specialization will not be eligible. Definition at line 303 of file meta_programming.hh.
typedef T Parma_Polyhedra_Library::Enable_If< true, T >::type |
Definition at line 304 of file meta_programming.hh.