<p>std::add_const是编译期类型转换工具，将T变为const T（顶层const），对int得int const、对int&仍为int&、对const int不变；须用typename std::add_const<T>::type或C++14的std::add_const_t<T>获取结果类型。</p>
std::add_const 本质是类型转换工具，不是运行时操作
它只在编译期起作用，把一个类型 T 变成 const T（注意：不是 T const* 或 const T& 这类带引用/指针的复合类型）。如果你传入的是指针类型比如 int*，std::add_const<int>::type</int> 结果是 int* const（顶层 const），而不是 const int*（底层 const）——这点极易混淆。
- 对
int→const int - 对
int*→int* const（指针本身不可变，所指内容仍可变） - 对
int&→int&（引用类型加 const 无效，C++ 标准规定std::add_const<t>::type</t>就是T&） - 对
const int→ 仍是const int（已带 const，不重复添加）
用法：必须配合 typename 和 ::type 获取结果类型
它是个模板别名（C++14 起有 std::add_const_t 简写），但老标准或显式依赖时得写全。漏掉 ::type 会编译失败，报错类似 "std::add_const<int> is not a type"</int>。
- 正确写法：
typename std::add_const<int>::type</int>或 C++14+ 的std::add_const_t<int></int> - 错误写法：
std::add_const<int></int>（这只是个类模板，不是类型） - 在模板参数中要加
typename前缀，例如：template<typename t> void f(typename std::add_const<t>::type x);</t></typename>
和 const_cast、auto&& 的区别：别想用它“强制加 const”运行时变量
std::add_const 不改变值、不生成新对象、不参与表达式求值。它只是给类型系统“打标签”，常用于模板元编程中统一接口，比如让函数模板对所有输入都按 const 引用处理：
C++ Code Review Master
下载
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
template<typename T>
void process(const typename std::add_const<T>::type& x) {
// 这里 x 总是 const T& 形式，无论 T 是 int 还是 const char*
}
- 不能用来替代
const_cast（后者是运行时类型转换，危险且应避免） - 不能让非 const 变量“变 const”——变量是否 const 由其定义决定，类型转换只影响视图
- 搭配
decltype使用时要注意：对变量名用decltype(x)得到的是带引用/const 的完整类型，直接套std::add_const可能冗余甚至出错
真正需要加底层 const？别用 add_const，改用 const T* 或 std::add_cv
如果你本意是让指针所指内容不可修改（比如把 int* 变成 const int*），std::add_const 帮不上忙。它只加顶层 const。这时候该用：
立即学习“C++免费学习笔记（深入）”；
-
const int*手动写死（最直接） -
std::add_cv<t>::type</t>（同时加 const + volatile，但依然只作用于顶层） - 更灵活的做法是用
std::remove_pointer_t先剥离指针，再加 const，最后重构成指针：const std::remove_pointer_t<t>* </t>
这恰恰说明：std::add_const 的适用场景很窄，多数时候你真正想要的，其实是 const 引用语义或手动构造 const 复合类型。别让它替你做本不属于它的活。
