meta_light.hpp File Reference

Detailed Description

Lightweight concepts.

See also

userver/utils/meta.hpp for more concepts

Definition in file meta_light.hpp.

Go to the source code of this file.

#include <type_traits>
#include <userver/utils/void_t.hpp>

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

Classes
struct	meta::NotDetected

Typedefs
template<template< typename... > typename Trait, typename... Args>
using	meta::DetectedType = typename impl::Detector<NotDetected, void, Trait, Args...>::type
	Produces the result type of a trait, or utils::meta::NotDetected if it's incorrect for the given template args.
template<typename Default, template< typename... > typename Trait, typename... Args>
using	meta::DetectedOr = typename impl::Detector<Default, void, Trait, Args...>::type
	Produces the result type of a trait, or Default if it's incorrect for the given template args.
template<typename T, typename U>
using	meta::ExpectSame = std::enable_if_t<std::is_same_v<T, U>>
	Helps in definitions of traits for utils::meta::IsDetected.

Variables
template<template< typename... > typename Template, typename T>
constexpr bool	meta::kIsInstantiationOf = impl::IsInstantiationOf<Template, T>::value
	Returns true if the type is an instantiation of the specified template.
template<template< typename... > typename Template, typename T>
constexpr bool	meta::kIsCvInstantiationOf = kIsInstantiationOf<Template, std::remove_cv_t<T>>
	Returns true if the type (with remove cv-qualifiers) is an instantiation of the specified template.
template<typename T>
constexpr bool	meta::kIsCharacter
template<typename T>
constexpr bool	meta::kIsInteger = std::is_integral_v<T> && !kIsCharacter<T> && !std::is_same_v<T, bool>

Typedef Documentation

DetectedOr

template<typename Default, template< typename... > typename Trait, typename... Args>

using meta::DetectedOr = typename impl::Detector<Default, void, Trait, Args...>::type

Produces the result type of a trait, or Default if it's incorrect for the given template args.

See also

utils::meta::IsDetected

Definition at line 78 of file meta_light.hpp.

DetectedType

template<template< typename... > typename Trait, typename... Args>

using meta::DetectedType = typename impl::Detector<NotDetected, void, Trait, Args...>::type

Produces the result type of a trait, or utils::meta::NotDetected if it's incorrect for the given template args.

See also

utils::meta::IsDetected

Definition at line 72 of file meta_light.hpp.

ExpectSame

template<typename T, typename U>

using meta::ExpectSame = std::enable_if_t<std::is_same_v<T, U>>

Helps in definitions of traits for utils::meta::IsDetected.

Definition at line 82 of file meta_light.hpp.

Variable Documentation

kIsCharacter

template<typename T>

bool meta::kIsCharacter

inlineconstexpr

Initial value:

=
    std::is_same_v<T, char> || std::is_same_v<T, wchar_t> || std::is_same_v<T, char16_t> || std::is_same_v<T, char32_t>

Returns true if the type is a fundamental character type. signed char and unsigned char are not character types.

Definition at line 95 of file meta_light.hpp.

kIsCvInstantiationOf

template<template< typename... > typename Template, typename T>

bool meta::kIsCvInstantiationOf = kIsInstantiationOf<Template, std::remove_cv_t<T>>

inlineconstexpr

Returns true if the type (with remove cv-qualifiers) is an instantiation of the specified template.

Definition at line 90 of file meta_light.hpp.

kIsInstantiationOf

template<template< typename... > typename Template, typename T>

bool meta::kIsInstantiationOf = impl::IsInstantiationOf<Template, T>::value

inlineconstexpr

Returns true if the type is an instantiation of the specified template.

Definition at line 86 of file meta_light.hpp.

kIsInteger

template<typename T>

bool meta::kIsInteger = std::is_integral_v<T> && !kIsCharacter<T> && !std::is_same_v<T, bool>

inlineconstexpr

Returns true if the type is a true integer type (not *char* or bool) signed char and unsigned char are integer types

Definition at line 101 of file meta_light.hpp.