std::add_const是编译期类型转换工具，仅生成带const限定的新类型别名，不改变对象、无运行时代价；它对引用/指针等不加顶层const，需配合remove_reference等使用，且不能真正保护数据。
std::add_const 是类型转换工具，不是运行时操作
它只在编译期生成带 const 限定的新类型，不改变原对象、不产生运行时代价。你不能用它让一个非常量变量“变 const”，也不能靠它保护数据——它只是给模板或函数签名提供类型推导支持。
常见错误现象：std::add_const<int>::type x = 42;</int> 编译失败，因为 x 是 const int 类型，但没初始化；或者误以为 std::add_const<decltype>::type</decltype> 能让 vec 变成只读，其实只是得到 const std::vector<int>&</int> 这样的类型名。
- 它本质是别名模板：
template<class t> using add_const = typename add_const_impl<t>::type;</t></class> - 对引用、指针、函数类型，
std::add_const不会添加顶层const（比如int&→int&，不是const int&） - 真正想加顶层
const，得先去掉引用：std::add_const<:remove_reference_t>>::type</:remove_reference_t>
构建只读视图时，std::add_const 常和 std::remove_reference 配合使用
典型场景：写一个通用函数，接受任意容器，返回其只读引用以便安全传递——这时需要把 T& 变成 const T&，而非 const T&（后者是常量引用，但类型本身没 const 限定）。
错误做法：std::add_const<decltype>::type</decltype> → 对 std::vector<int>&</int> 得到的还是 std::vector<int>&</int>，因为引用类型忽略顶层 const。
立即学习“C++免费学习笔记（深入）”；
- 正确组合：
std::add_const<:remove_reference_t>>::type&</:remove_reference_t> - 更简洁写法（C++14 起）：
std::add_const_t<:remove_reference_t>>&</:remove_reference_t> - 示例：
auto readonly_view = static_cast<const std::vector>&>(vec);</const>—— 这才是实际生效的只读绑定，std::add_const只帮你在模板里写出这个目标类型
std::add_const 在模板参数推导中容易被绕过
如果你写 template<typename t> void f(T&& x)</typename>，传入 int，T 推导为 int，但 std::add_const<t>::type</t> 是 const int；而传入 const int&，T 推导为 const int&，此时 std::add_const<t>::type</t> 还是 const int&（没变）。
这意味着：依赖 std::add_const 构建“统一只读类型”时，必须先标准化输入——通常要先 std::decay_t 或 std::remove_cvref_t（C++20）清理 cv 和引用限定。
-
std::decay_t<t></t>→ 去除引用、const/volatile，转成值类型（适合做只读拷贝） -
std::remove_cvref_t<t></t>→ 更轻量，只去const/volatile和引用，保留数组/函数等特殊类型 - 性能影响：这些是纯编译期元函数，零开销；但滥用
std::decay可能意外退化数组为指针，丢失长度信息
替代方案比 std::add_const 更直接：用 const auto& 或 std::as_const
多数时候你并不需要 std::add_const。C++17 引入 std::as_const，专为运行时创建只读视图设计：
std::vector<int> vec = {1,2,3};
auto& r = vec; // 可修改
auto const& cr = std::as_const(vec); // 只读，编译期检查
// cr.push_back(4); // 错误：no matching member function
std::as_const 返回 const T&，对右值也安全（返回 const T&&），且语义清晰。相比手搓 std::add_const + std::remove_reference，它少出错、易读、兼容性好（只要 C++17）。
容易被忽略的地方：即使你用了 std::add_const 构造出 const std::vector<int>&</int> 类型，如果原始对象本身不是 const，你仍可通过其他非 const 引用修改它——类型系统只约束当前绑定，不冻结内存。真正的只读保障，靠的是源头声明为 const，或用 std::as_const 显式切断可变路径。
