std::decay_t 是 c++14 引入的 std::decay::type 别名，用于将类型“拍平”为值语义类型（去引用、cv 限定符，数组转指针，函数转函数指针），解决模板中因未退化导致的推导失败、std::function 构造报错等问题。
std::decay_t 是什么，它解决什么问题
它不是新功能，只是 std::decay<t>::type</t> 的 C++14 别名。当你需要把一个类型“拍平”成最接近的值类型（比如去掉引用、const/volatile、数组转指针、函数转函数指针），std::decay_t 就是那个最顺手的写法。
常见错误现象：写模板时手动写 typename std::decay<t>::type</t>，又长又容易漏 typename；或者误以为 std::remove_reference_t 就够了，结果遇到 const int[5] 或 void() 这类类型就崩。
-
std::decay_t<int></int>→int -
std::decay_t<const char></const>→char* -
std::decay_t<void></void>→void(*)()
什么时候必须用 std::decay_t，而不是 remove_reference_t 或 remove_cv_t
只去引用或只去 const，解决不了“传入数组或函数类型时模板推导失败”的问题。标准库容器（如 std::vector）和算法（如 std::function 构造）内部大量依赖 std::decay_t 做类型归一化。
使用场景：写泛型工厂函数、包装可调用对象、实现自己的 std::make_shared 风格接口。
立即学习“C++免费学习笔记（深入）”；
- 传
std::string&给std::function<void></void>？不加std::decay_t会匹配失败 - 写
template<class t> auto make_wrapper(T&& t) { return std::function{std::forward<t>(t)}; }</t></class>？编译不过——std::function构造要求类型已退化 - 正确做法是：用
std::decay_t<decltype></decltype>或直接在模板参数里约束std::decay_t<t></t>
std::decay_t 的隐式转换陷阱
它不保留 cv 限定符和引用性，但也不做运行时转换——它是纯编译期类型计算。容易踩的坑是：以为用了 std::decay_t 就能安全转发，结果忽略了原始值类别语义。
性能影响几乎为零（纯别名），但兼容性要注意：C++14 起可用，C++11 不支持，别名不存在；某些老编译器（如 GCC 4.8 前）需开启 -std=c++14。
- 对
int&用std::decay_t得到int，但你不能拿这个int去绑定原变量的引用 - 对
const std::vector<int>&</int>，std::decay_t得到std::vector<int></int>，意味着拷贝——这不是退化本身的问题，而是你没意识到它触发了值语义 - 如果真要保引用+去 const？那得组合用：
std::remove_const_t<:remove_reference_t>>&</:remove_reference_t>，但这已经不是std::decay_t的职责了
一个真实可用的泛型包装示例
写一个能接受任意可调用对象（函数、lambda、成员函数指针、绑定表达式）并存进 std::function 的工具函数：
template <class F, class... Args>
auto make_callable(F&& f, Args&&... args) {
using DecayF = std::decay_t<F>;
using Sig = void(typename std::decay_t<Args>...);
return std::function<Sig>{
[f = std::forward<F>(f), ...args = std::forward<Args>(args)]() mutable {
std::invoke(f, std::move(args)...);
}
};
}
这里关键点：参数类型用 std::decay_t<args></args> 确保能放进 std::function 签名；捕获的 f 和 args 也靠 std::decay_t 避免引用/数组类型导致 lambda 无法构造。
最容易被忽略的是：decay 不等于“安全”，它只是标准化的第一步；后续是否拷贝、是否可调用、是否满足 SFINAE，都得你自己接着守。
