C++中std::decay如何使用

std::decay是一个类型萃取工具，它的作用是返回一个类型，这个类型是原始类型的"衰减"(decay)版本，可以理解为去掉了某些"修饰符"的类型。标准库规定，std::decay的衰减规则为:

如果T是数组类型，则它会将T衰减为指向元素类型的指针类型
否则，如果T是函数类型，则它会将T衰减为指向函数指针的类型
否则，如果T是引用类型，则它会将T衰减为对应的非引用类型
否则，如果T是const或volatile限定符修饰的类型，则会去掉这些限定符
否则，T不会衰减

示例如下：

#include <iostream>
#include <type_traits>

int main()
{
    std::cout << std::is_same_v<int, std::decay_t<int>>::value << std::endl; // true
    std::cout << std::is_same_v<int*, std::decay_t<int[]>>::value << std::endl; // true
    std::cout << std::is_same_v<int (*)(int), std::decay_t<int(int)>>::value << std::endl; // true
    std::cout << std::is_same_v<int, std::decay_t<const int&>>::value << std::endl; // true
    std::cout << std::is_same_v<int, std::decay_t<volatile int&&>>::value << std::endl; // true
    std::cout << std::is_same_v<int[], std::decay_t<int[]&>>::value << std::endl; // false
    std::cout << std::is_same_v<int[], std::decay_t<int[]&&>>::value << std::endl; // false
}