Type functions

Lecture 6 - Slide 31 : 40

Type functions

Type functions accept or return C++ types

Some sample type functions are listed below - see Section 35.4 of The C++ Prog. Lang. (4. edition) for a comprehensive listing

Type predicates, such as
- is_floating_point<X>
- is_pointer<X>
- is_lvalue_reference<X>
- is_rvalue_reference<X>
- is_class<X>
- is_fundamental<X>
- is_polymorphic<X>
- is_abstract<X>
Type relations, such as
- is_same<X,Y>
- is_base_of<X,Y>
Type valued functions, such as
- remove_pointer<X>
- remove_reference<X>
- add_lvalue_reference<X>

Illustration of of type functions in a number static assertions - all of which hold.