std::decay_t不直接去除const，仅在引用类型（如const t&）退化时间接移除const；对纯const t则保留const，其核心是模拟函数传值退化，含数组/函数转指针等额外行为。
std::decay_t 会移除引用，但不会直接“去除 const”
很多人以为 std::decay_t 是个“去 cv 限定符 + 去引用”的万能工具，其实它对 const 的处理是间接的：它只在特定场景下剥离 const，比如当原类型是 const T& 或 const T&& 时，先退化为 T（此时 const 消失），但若原类型是 const T（非引用），std::decay_t<const t></const> 就仍是 const T —— 它不主动 strip cv-qualifiers。
-
std::decay_t<const int></const>→int（引用和 const 都没了） -
std::decay_t<const int></const>→const int（const 保留） -
std::decay_t<int></int>→int（仅去引用） -
std::decay_t<const std::string></const>→std::string（引用 + const 同时消失）
想彻底去掉 const 和引用？组合 std::remove_cvref_t
C++20 引入的 std::remove_cvref_t 才是真正意义上“一步到位”的解法：它等价于 std::remove_cv_t<:remove_reference_t>></:remove_reference_t>，无论 T 是 const T&、T&&、const volatile T 还是 T，结果都是无 cv、无引用的底层类型。
-
std::remove_cvref_t<const int></const>→int -
std::remove_cvref_t<const int></const>→int -
std::remove_cvref_t<volatile double></volatile>→double - 老标准（C++11/14/17）可用等效写法：
std::remove_cv_t<:remove_reference_t>></:remove_reference_t>
为什么 std::decay_t 的行为看起来“不一致”？
因为 std::decay 的设计目标不是“泛型去限定符”，而是模拟函数形参类型的自动转换规则（即“传值调用时的类型退化”）。它还会对数组、函数类型做额外转换：
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
-
std::decay_t<int></int>→int*（数组转指针） -
std::decay_t<void></void>→void(*)()（函数转函数指针） -
std::decay_t<const char></const>→const char*（数组 + const → 指针 + const）
这些附加行为在只想“干净地剥离引用和 cv 限定符”时反而成了干扰项。
实际使用中该选哪个？
看你要模拟什么语义：
- 写模板函数，参数按值传递后想拿到“最简裸类型”（比如做
static_assert类型检查）→ 用std::remove_cvref_t - 实现类似
std::thread或std::function的完美转发适配逻辑，需复现函数调用时的隐式转换 → 才需要std::decay_t - 注意：C++20 前没有
std::remove_cvref_t，但std::decay_t不能替代它做 cv 清理，硬套会导致const残留，尤其在类型擦除或 trait 判断场景下容易出错
真正要“去除引用和 const 属性”，别绕弯 —— std::remove_cvref_t 是直球答案；std::decay_t 是个功能超集，但多出来的部分往往不是你想要的。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
