src/generic/base.hpp File Reference

Definition of compile time checking utilities. More...

Go to the source code of this file.

Namespaces

namespace instigate::generic

namespace instigate

Classes

class instigate::generic::require< 1 >

Utility class for compile time checking. More...

class instigate::generic::conversion< T, U >

This class helps us to detect convertibility and inheritance at compile time. To see whether U is same type as T we can call:. More...

class instigate::generic::conversion< T, U >::big

class instigate::generic::conversion< T, T >

the specialization of conversion class when the template arguments are the same types. More...

struct instigate::generic::int_to_type< t >

generates distinct type for each integer. Here is an example where it may help us: More...

struct instigate::generic::type_to_type< T >

creates distinct type for each type. Below is an example where we can use it. Suppose we have a generic function: More...

Defines

#define CHECK(R) {R();}

Calls default constructor of the passed argument.

#define CHECK_CONVERTIBILITY(T, U)

Checks whether the types T and U are convertible to each other.

#define CHECK_SAME_TYPE(T, U)

Checks whether the types T and U are the same types.

#define REQUIRE_SAME_TYPE(v1, v2) {require_same_type(v1, v2);}

Requires the v1 and v2 to be the same type.

Detailed Description

Definition of compile time checking utilities.

This library is free software; you can redistribute it and/or modify it under the terms of the GNU Lesser General Public License as published by the Free Software Foundation; either version 2.1 of the License, or (at your option) any later version.

This library is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more details.

You should have received a copy of the GNU Lesser General Public License along with this library; if not, write to the Free Software Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.

Define Documentation

#define CHECK ( R ) {R();}

Calls default constructor of the passed argument.

In most cases it is the object of the requirements class for any concept/type.

#define CHECK_CONVERTIBILITY	(	T,
		U		)

Value:

{\
instigate::generic::require<instigate::\
        generic::conversion<T, U>::exists>();}

Checks whether the types T and U are convertible to each other.

Checks is there an implicit conversion from T to U.

#define CHECK_SAME_TYPE	(	T,
		U		)

Value:

{\
instigate::generic::require<instigate::\
        generic::conversion<T, U>::same_type>();}

Checks whether the types T and U are the same types.

Referenced by instigate::stl::binary_search(), instigate::stl::equal_range(), instigate::stl::includes(), instigate::stl::iter_swap(), instigate::stl::lower_bound(), instigate::stl::merge(), instigate::stl::partial_sort_copy(), instigate::stl::implementation::partial_sort_copy_aux(), instigate::stl::set_difference(), instigate::stl::set_intersection(), instigate::stl::set_symmetric_difference(), instigate::stl::set_union(), and instigate::stl::upper_bound().


Namespaces
namespace	instigate::generic
namespace	instigate
Classes
class	instigate::generic::require< 1 >
	Utility class for compile time checking. More...
class	instigate::generic::conversion< T, U >
	This class helps us to detect convertibility and inheritance at compile time. To see whether U is same type as T we can call:. More...
class	instigate::generic::conversion< T, U >::big
class	instigate::generic::conversion< T, T >
	the specialization of conversion class when the template arguments are the same types. More...
struct	instigate::generic::int_to_type< t >
	generates distinct type for each integer. Here is an example where it may help us: More...
struct	instigate::generic::type_to_type< T >
	creates distinct type for each type. Below is an example where we can use it. Suppose we have a generic function: More...
Defines
#define	CHECK(R) {R();}
	Calls default constructor of the passed argument.
#define	CHECK_CONVERTIBILITY(T, U)
	Checks whether the types T and U are convertible to each other.
#define	CHECK_SAME_TYPE(T, U)
	Checks whether the types T and U are the same types.
#define	REQUIRE_SAME_TYPE(v1, v2) {require_same_type(v1, v2);}
	Requires the v1 and v2 to be the same type.