std::decay会去掉引用、const/volatile，将数组转指针、函数转函数指针；不会类型提升、展开别名或调用自定义转换。
std::decay 会做什么，又不会做什么
std::decay 的核心作用是模拟函数传参时的类型退化行为：去掉引用（&、&&），去掉 const/volatile，把数组转成指针，把函数类型转成函数指针。但它**不会**做类型提升（比如 int 到 long），也不会展开模板别名或别名模板，更不会处理用户自定义的转换操作符。
常见误用是以为它能“彻底净化”任意复杂类型——比如对 std::vector<const int></const> 套一层 std::decay，结果得到的仍是 std::vector<const int></const>，因为 std::decay 只作用于顶层类型，不递归进入模板参数。
什么时候该用 std::decay，而不是 remove_reference 或 remove_cv
当你需要模拟“按值传递”后的类型时，std::decay 是最贴近实际语义的选择。比如写泛型容器的 emplace_back 接口，或实现完美转发前的类型擦除。
-
std::remove_reference只去引用，留着const——std::remove_reference_t<const int></const>是const int -
std::remove_cv只去 cv，留着引用 ——std::remove_cv_t<const int></const>还是const int& -
std::decay_t<const int></const>才是int；std::decay_t<int></int>是int*；std::decay_t<void></void>是void(*)()
std::decay 在模板推导中的典型陷阱
直接对模板参数用 std::decay 可能掩盖转发意图。例如：
template<typename t>
void foo(T&& x) {
using D = std::decay_t<t>; // 错！这里 T 已经是推导后的类型，不是原始实参类型
}</t></typename>
正确做法是：若需基于实参原始类型做 decay，应先捕获 decltype(x)，再对其 decay：
- 传入
const int x = 42;，T是const int&，std::decay_t<t></t>是int - 但
decltype(x)是const int&，和T一致；而decltype((x))（带括号）才是const int&，这点常被忽略 - 真正要模拟“传值调用后类型”，应统一用
std::decay_t<decltype></decltype>，而非盲目套在T上
替代方案：std::remove_cvref（C++20 起）更适合只去引用和 cv
如果目标只是剥离顶层引用 + cv 修饰符（不涉及数组/函数退化），std::remove_cvref_t 更精准、更轻量：
-
std::remove_cvref_t<const int></const>→int -
std::remove_cvref_t<int></int>→（不变，不退化）
std::decay_t<int> → <code>int*（发生退化，可能不是你想要的）
所以，不要默认选 std::decay；先想清楚：你要的是“函数传参式退化”，还是“仅清理顶层 cv 引用”——前者用 std::decay，后者 C++20 起优先用 std::remove_cvref。
数组退化和函数到指针转换这类隐式行为，容易在类型匹配或 SFINAE 中引发意外，用之前最好用 static_assert 验证输出类型。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
