simple_type_traits.h File Reference

#include <new>

Include dependency graph for simple_type_traits.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
struct	is_pod< T >
	Compile-time check for Plain Old Data types. More...
struct	is_floating_point< T >
	Compile-time floating-point type check. More...
struct	is_same< A, B >
	Compile-time type equality check (replacement for std::is_same). More...
struct	remove_reference< T >
	Strip lvalue/rvalue reference qualifiers from a type. More...
struct	remove_cv< T >
	Strip const/volatile qualifiers from a type. More...
struct	remove_cvref< T >
	Strip cv-qualifiers and references in one step. More...
struct	is_base_of< Base, Derived >
	Compile-time inheritance check (replacement for std::is_base_of). More...
struct	detail::is_base_of_impl< Base, Derived >
	Fallback implementation for is_base_of using pointer conversion. More...
struct	is_trivially_destructible< T >
	Compile-time check for trivially destructible types. More...
struct	is_nothrow_move_constructible< T >
	Compile-time check for nothrow move constructibility. More...

Namespaces
namespace	detail

Typedefs
template<typename T >
using	remove_reference_t = typename remove_reference< T >::type
	Alias template for remove_reference.
template<typename T >
using	remove_cv_t = typename remove_cv< T >::type
	Alias template for remove_cv.
template<typename T >
using	remove_cvref_t = typename remove_cvref< T >::type
	Alias template for remove_cvref.

Functions
template<typename T >
constexpr remove_reference_t< T > &&	move (T &&t) noexcept
	Cast to rvalue reference (replacement for std::move).
template<typename T >
constexpr T &&	forward (remove_reference_t< T > &t) noexcept
	Perfect-forward an lvalue (replacement for std::forward).
template<typename T >
constexpr T &&	forward (remove_reference_t< T > &&t) noexcept
	Perfect-forward an rvalue (replacement for std::forward).

Variables
template<typename T >
constexpr bool	is_pod_v = is_pod<T>::value
	Helper variable template for is_pod.
template<typename T >
constexpr bool	is_floating_point_v = is_floating_point<T>::value
	Helper variable template for is_floating_point.
template<typename A , typename B >
constexpr bool	is_same_v = is_same<A, B>::value
	Helper variable template for is_same.
template<typename Base , typename Derived >
constexpr bool	is_base_of_v = is_base_of<Base, Derived>::value
	Helper variable template for is_base_of.
template<typename T >
constexpr bool	is_trivially_destructible_v = is_trivially_destructible<T>::value
	Helper variable template for is_trivially_destructible.
template<typename T >
constexpr bool	is_nothrow_move_constructible_v = is_nothrow_move_constructible<T>::value
	Helper variable template for is_nothrow_move_constructible.

Typedef Documentation

remove_cv_t

template<typename T >

using remove_cv_t = typename remove_cv<T>::type

Alias template for remove_cv.

remove_cvref_t

template<typename T >

using remove_cvref_t = typename remove_cvref<T>::type

Alias template for remove_cvref.

remove_reference_t

template<typename T >

using remove_reference_t = typename remove_reference<T>::type

Alias template for remove_reference.

Function Documentation

forward() [1/2]

template<typename T >

constexpr T && forward ( remove_reference_t< T > &&  t )

constexprnoexcept

Perfect-forward an rvalue (replacement for std::forward).

Template Parameters

T	Forwarding reference type.

Parameters

t	Rvalue reference to forward.

forward() [2/2]

template<typename T >

constexpr T && forward ( remove_reference_t< T > &  t )

constexprnoexcept

Perfect-forward an lvalue (replacement for std::forward).

Template Parameters

T	Forwarding reference type.

Parameters

t	Lvalue reference to forward.

move()

template<typename T >

constexpr remove_reference_t< T > && move ( T &&  t )

constexprnoexcept

Cast to rvalue reference (replacement for std::move).

Template Parameters

T	Deduced argument type.

Parameters

t	Value to move from.

Returns

An xvalue reference to t.

Variable Documentation

is_base_of_v

template<typename Base , typename Derived >

constexpr bool is_base_of_v = is_base_of<Base, Derived>::value

inlineconstexpr

Helper variable template for is_base_of.

is_floating_point_v

template<typename T >

constexpr bool is_floating_point_v = is_floating_point<T>::value

inlineconstexpr

Helper variable template for is_floating_point.

is_nothrow_move_constructible_v

template<typename T >

constexpr bool is_nothrow_move_constructible_v = is_nothrow_move_constructible<T>::value

inlineconstexpr

Helper variable template for is_nothrow_move_constructible.

is_pod_v

template<typename T >

constexpr bool is_pod_v = is_pod<T>::value

inlineconstexpr

Helper variable template for is_pod.

is_same_v

template<typename A , typename B >

constexpr bool is_same_v = is_same<A, B>::value

inlineconstexpr

Helper variable template for is_same.

is_trivially_destructible_v

template<typename T >

constexpr bool is_trivially_destructible_v = is_trivially_destructible<T>::value

inlineconstexpr

Helper variable template for is_trivially_destructible.