std::is_const仅检测类型声明中的const修饰，不反映运行时可修改性；需组合std::remove_pointer_t、std::remove_reference_t和std::remove_cv_t才能判断指针/引用所指对象是否const。
std::is_const 只能判断类型，不能判断变量是否“实际不可修改”
std::is_const 是一个类型特征（type trait），它检查的是**类型说明符中是否带有 const 修饰**，而不是运行时变量的值能否被修改。比如 int x = 5; 和 const int y = 5;，std::is_const_v<decltype></decltype> 是 false，std::is_const_v<decltype></decltype> 是 true —— 但注意：decltype(y) 是 const int，而 decltype((y))（加括号变成表达式）却是 const int&，结果仍是 true。
- 它不关心变量是否在作用域内被 const_cast 修改过
- 它对指针/引用的 const 性也只看类型声明：比如
int* const p;→std::is_const_v<decltype></decltype>是true（指针本身 const），但const int* p;→ 结果是false（指针所指 const，但指针本身非常量） - 顶层 const 和底层 const 的区别必须手动区分，
std::is_const不自动剥离引用或指针
如何正确提取“被指向/被引用对象是否 const”
想检查 const int* 中 int 是否被 const 限定，不能直接用 std::is_const，得先去掉指针/引用再判断。C++17 起推荐组合使用 std::remove_pointer_t、std::remove_reference_t 和 std::remove_cv_t：
template<typename T> constexpr bool is_pointee_const_v = std::is_const_v<std::remove_cv_t<std::remove_pointer_t<T>>>; <p>static_assert(is_pointee_const_v<const int<em>> == true); static_assert(is_pointee_const_v<int</em>> == false); static_assert(is_pointee_const_v<const int&> == true); // 注意：这里会先去引用，再取 cv，结果正确
-
std::remove_cv_t<T>剥离const和volatile - 对引用类型，
std::remove_reference_t<const int&>得到const int，再套std::remove_cv_t才能得到int - 如果要统一处理所有间接类型（指针/引用/智能指针），需自定义 trait，标准库不提供“dereferenced type”的泛化提取
模板中做 const 敏感重载：避免误删 const
常见错误是在模板函数中用 T& 接收参数，导致 const 对象无法绑定（或隐式转成非 const 引用）。正确做法是用 const T& 或结合 std::is_const_v<T> 做分支，但更安全的是用引用折叠 + std::remove_reference_t 配合 std::is_const_v 判断原始类型：
template<typename T>
void process(T&& arg) {
using RawT = std::remove_reference_t<T>;
if constexpr (std::is_const_v<RawT>) {
// 处理 const 场景：只读访问，禁止修改
std::cout << "const path\n";
} else {
// 非 const：可原地修改
std::cout << "mutable path\n";
}
}- 用
T&&完美转发保留 const 性，std::remove_reference_t<T>才是带 const 信息的原始类型 - 不能用
decltype(arg)替代RawT：因为arg是具名右值引用，其类型永远是T&&，decltype(arg)是T&&，不是const int - 编译期分支（
if constexpr）确保无运行时开销，且不会实例化非法代码（如对 const 类型调用非 const 成员函数）
std::is_const 在 SFINAE 和 concept 中的实际限制
它本身不能单独触发 SFINAE 失败，但常和其他 trait 组合用于 std::enable_if_t 或 C++20 concept。注意两个易错点：
立即学习“C++免费学习笔记（深入）”；
-
std::is_const<T>::value是静态成员，不是类型，不能直接用于typename = ...；应写成std::enable_if_t<std::is_const_v<T>>* = nullptr - C++20 中写 concept 更清晰：
template<typename T> concept ConstType = std::is_const_v<T>;
但要注意：这个 concept 匹配的是const int这类类型，不是const int&（后者是引用类型，std::is_const_v<const int&>为false） - 若想约束“可 const 访问的对象”，应写成
template<typename T> concept ConstAccessible = std::is_const_v<std::remove_reference_t<T>> || std::is_const_v<std::remove_pointer_t<std::remove_reference_t<T>>>;——但这已超出std::is_const单一能力，必须组合推导
真正难的从来不是记住 std::is_const_v<T> 返回什么，而是每次用它前，先想清楚：你真正想问的，是类型声明里的 const？还是内存对象的只读性？还是接口契约上的不可变语义？三者在 C++ 里根本不在同一层。
