Namespaces
Variants

std:: remove_cvref

From cppreference.net
Metaprogramming library
Type traits
Type categories
(C++11)
(C++11) ( DR* )
Type properties
(C++11)
(C++11)
(C++14)
(C++11) (deprecated in C++26)
(C++11) ( until C++20* )
(C++11) (deprecated in C++20)
(C++11)
Type trait constants
Metafunctions
(C++17)
Supported operations
Relationships and property queries
Type modifications
Type transformations
(C++11) (deprecated in C++23)
(C++11) (deprecated in C++23)
(C++11)
remove_cvref
(C++20)
(C++11) ( until C++20* ) (C++17)

Compile-time rational arithmetic
Compile-time integer sequences
Определено в заголовочном файле <type_traits>
template < class T >
struct remove_cvref ;
(начиная с C++20)

Если тип T является ссылочным типом, предоставляет определение типа-члена type , который представляет тип, на который ссылается T с удалёнными cv-квалификаторами верхнего уровня. В противном случае type является типом T с удалёнными cv-квалификаторами верхнего уровня.

Если программа добавляет специализации для std::remove_cvref , поведение не определено.

Содержание

Типы членов

Название Определение
type тип, на который ссылается T или сам T если это не ссылка, с удалёнными cv-квалификаторами верхнего уровня

Вспомогательные типы

template < class T >
using remove_cvref_t = remove_cvref < T > :: type ;
(начиная с C++20)

Возможная реализация

template<class T>
struct remove_cvref
{
    using type = std::remove_cv_t<std::remove_reference_t<T>>;
};

Примечания

Макрос тестирования возможностей Значение Стандарт Возможность
__cpp_lib_remove_cvref 201711L (C++20) std::remove_cvref

Пример

#include <type_traits>
int main()
{
    static_assert(std::is_same_v<std::remove_cvref_t<int>, int>);
    static_assert(std::is_same_v<std::remove_cvref_t<int&>, int>);
    static_assert(std::is_same_v<std::remove_cvref_t<int&&>, int>);
    static_assert(std::is_same_v<std::remove_cvref_t<const int&>, int>);
    static_assert(std::is_same_v<std::remove_cvref_t<const int[2]>, int[2]>);
    static_assert(std::is_same_v<std::remove_cvref_t<const int(&)[2]>, int[2]>);
    static_assert(std::is_same_v<std::remove_cvref_t<int(int)>, int(int)>);
}

Смотрите также

удаляет const и/или volatile спецификаторы из заданного типа
(шаблон класса)
удаляет ссылку из заданного типа
(шаблон класса)
(C++11)
применяет преобразования типов как при передаче аргумента функции по значению
(шаблон класса)