std::decay 模拟函数值传递时的参数类型变换规则；它将数组转指针、函数转函数指针、去除引用及顶层 cv 限定符。
std::decay 是什么，它模拟哪部分隐式转换？
std::decay 是 C++ 标准库中定义在 <type_traits></type_traits> 中的模板元函数，它的作用不是“退化”类型本身，而是**精确复现函数形参在传值调用时所经历的类型变换规则**——也就是 C++ 标准中所谓的 “parameter passing decay”（参数传递型退化）。
它不处理 const/volatile 顶层限定符、数组到指针、函数到函数指针这些“通用隐式转换”，而是专为函数参数绑定设计：当一个实参以值传递方式（非引用、非 const 引用等）进入函数时，编译器会按固定规则调整其类型，std::decay 就是把这套规则封装成可计算的类型别名。
std::decay::type 的具体变换规则有哪些？
对任意类型 T，std::decay<t>::type</t> 按以下顺序应用（仅一次）：
- 若
T是数组类型（如int[5]），则变为int*（去掉维度，转为指针） - 若
T是函数类型（如void()），则变为对应函数指针类型（void(*)()） - 否则，先移除
T的引用性（T&→T，T&&→T），再移除顶层const和volatile（const int→），最后对结果做std::remove_reference_t+std::remove_cv_t等价操作
注意：它不会展开嵌套数组（int[3][4] → int(*)[4]），也不会递归 decay（std::decay<:string>::type</:string> 是 std::string，不是 std::string&& 或别的）。
立即学习“C++免费学习笔记（深入）”；
为什么不能直接用 std::remove_reference + std::remove_cv？
因为那俩只处理引用和 cv 限定符，完全不碰数组和函数类型。而真实函数参数传递中，这两类会触发完全不同且不可绕过的转换：
void f(int a[10]) { } // 实际形参类型是 int*
void g(void h()) { } // 实际形参类型是 void(*)()
如果你写 std::remove_reference_t<:remove_cv_t>> </:remove_cv_t>，结果仍是 int[10] —— 完全没变；但 std::decay_t<int></int> 正确给出 int*。这是关键差异。
常见误用场景：
- 想“擦除引用”就只用
std::remove_reference，结果对std::string&&能行，对char[8]就失效 - 在模板中做类型擦除（比如实现泛型容器的 value_type 推导）时漏掉数组/函数分支，导致 SFINAE 失败或推导错误
实际用在哪？一个典型例子：完美转发前的类型标准化
虽然 std::forward 要求原始类型信息，但有些场景你确实需要“假设按值传入后会变成啥”——比如 std::function 构造、std::thread 参数存储、或自定义包装器中统一参数类型表示。
例如，你想写一个能接受任意可调用对象并缓存其“调用签名”的工具：
template<typename F>
struct callable_info {
using type = std::decay_t<F>
};
这时 callable_info<void>::type</void> 是 void(*)()，callable_info<int>::type</int> 是 int*，和它们作为函数参数时的行为完全一致。
真正容易被忽略的是：std::decay 不保留引用折叠、不模拟 move 语义、也不参与重载决议——它只是一个**静态、单向、无上下文的类型映射**。用错地方（比如试图靠它恢复原类型或判断是否为左值）就会出问题。
