std::decay 将 T 转换为按值传递时的等效类型：去除引用和 cv 限定符，数组退化为指针，函数类型退化为函数指针，其他类型保持不变。
std::decay 会把 T 变成什么类型？
它不是“去掉引用”或“去掉 const”这么简单，而是模拟函数参数按值传递时的类型转换规则。比如 int&、const int[5]、void() 这些没法直接传值的类型，std::decay 会统一转成 int、int*、void(*)()。
常见错误是以为它只做“去引用 + 去 cv 限定符”，结果发现 std::decay_t<const char></const> 是 const char* 而不是 char* —— 因为数组退化保留了 const。
-
std::decay_t<int></int>→int -
std::decay_t<const std::string></const>→std::string -
std::decay_t<int></int>→int* -
std::decay_t<void></void>→void(*)()
什么时候必须用 std::decay？
典型场景是写通用包装器（比如 std::function 构造、完美转发前的类型擦除），需要把任意实参类型规整成“可存储”的形式。不用它，模板推导可能卡在引用/数组/函数类型上，编译失败。
例如自己实现一个简易 any 类型时，若直接存 T，传入 int& 就得存引用，这不可行；而存 std::decay_t<t></t> 就能统一落地为值语义。
立即学习“C++免费学习笔记（深入）”；
- 构造
std::function时内部就用了std::decay - 写泛型容器的
emplace接口，需先退化再转发 - 类型擦除中避免模板实例爆炸，靠
std::decay收敛类型变体
std::decay 和 std::remove_reference + std::remove_cv 有啥区别？
区别在数组和函数类型：后两者对 int[5] 或 void() 完全没效果，而 std::decay 会进一步转成指针或函数指针。
性能上没差异——全是编译期计算。但兼容性要注意：std::decay 在 C++11 引入，所有标准库都支持；而手动组合 std::remove_reference 等容易漏掉数组退化逻辑，导致跨平台行为不一致。
-
std::remove_reference<int>::type</int>还是int[5] -
std::decay_t<int></int>是int* -
std::remove_cv<void>::type</void>还是void() -
std::decay_t<void></void>是void(*)()
容易踩的坑：退化后丢失信息怎么办？
退化是单向的：std::decay_t<const int></const> 是 int，但你无法从 int 还原出原始是否带 const 或引用。所以别指望靠它做类型反射或逆向推导。
更隐蔽的问题是，某些自定义类型重载了函数调用操作符，std::decay_t<functor></functor> 还是 Functor，但它和 void(*)() 行为完全不同——退化不会“扁平化”仿函数，只处理语言内置的退化规则。
- 不要用
std::decay判断参数是否原本是引用（它抹掉了） - 不要假设退化后类型能直接用于
static_cast回原类型 - 函数对象、lambda、绑定表达式等，退化后仍是原类型，不转成函数指针
真正难的是意识到：退化不是为了“还原”，而是为了“归一”。只要目标是存、传、比较类型，它就可靠；一旦想反向追溯，就得换别的机制，比如 std::is_lvalue_reference 单独查。
