A class that provides a type member called type equivalent to T if and only if b is true.
More...
#include <meta_programming.hh>
Public Types | |
| typedef T | type |
A class that provides a type member called 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 306 of file meta_programming.hh.
| typedef T Parma_Polyhedra_Library::Enable_If< true, T >::type |
Definition at line 307 of file meta_programming.hh.
1.6.3