std::decay

Определён в заголовочном файле `<type_traits>`
template< class T > struct decay;		(начиная с C++11)

Выполняет преобразования типов, эквивалентные тем, которые выполняются при передаче аргументов функции по значению. Формально:

Если T — «массив из U» или ссылка на него, тип-член type является U*.
В противном случае, если T — тип функции F или ссылка на него, тип-член type является std::add_pointer<F>::type.
В противном случае тип-член type является std::remove_cv<std::remove_reference<T>::type>::type.

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

Типы-члены

Имя	Определение
`type`	результат применения преобразований типов decay к `T`

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

template< class T >
using decay_t = typename decay<T>::type;

(начиная с C++14)

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

template<class T>
struct decay
{
private:
    typedef typename std::remove_reference<T>::type U;
public:
    typedef typename std::conditional< 
        std::is_array<U>::value,
        typename std::add_pointer<typename std::remove_extent<U>::type>::type,
        typename std::conditional< 
            std::is_function<U>::value,
            typename std::add_pointer<U>::type,
            typename std::remove_cv<U>::type
        >::type
    >::type type;
};

Пример

#include <type_traits>

template<typename T, typename U>
constexpr bool is_decay_equ = std::is_same_v<std::decay_t<T>, U>;

static_assert
(
    is_decay_equ<int, int> &&
    ! is_decay_equ<int, float> &&
    is_decay_equ<int&, int> &&
    is_decay_equ<int&&, int> &&
    is_decay_equ<const int&, int> &&
    is_decay_equ<int[2], int*> &&
    ! is_decay_equ<int[4][2], int*> &&
    ! is_decay_equ<int[4][2], int**> &&
    is_decay_equ<int[4][2], int(*)[2]> &&
    is_decay_equ<int(int), int(*)(int)>
);

int main() {}

См. также

Неявные преобразования	преобразования «массив в указатель», «функция в указатель» и «lvalue в rvalue»
remove_cvref (C++20)	объединяет `std::remove_cv` и `std::remove_reference` (шаблон класса)
decay (C++26)	применяет преобразования типов, выполняемые при передаче аргумента функции по значению (функция)

© cppreference.com
Licensed under the Creative Commons Attribution-ShareAlike Unported License v3.0.
https://en.cppreference.com/cpp/types/decay