std::is_same严格判断两类型是否完全相同（含cv限定符和引用性），返回std::integral_constant，须用::value或c++17的::value_v取布尔值。
怎么用 std::is_same 判断两个类型是否完全一致
这是最基础也最容易误用的 type trait。它只在两个类型（包括 cv 限定符和引用性）**逐字节等价**时才返回 true，比如 int 和 const int 就不等价。
- 别直接拿
decltype(expr)和裸类型比，表达式可能带引用或 const：比如int x = 0; std::is_same_v<decltype int></decltype>是true，但std::is_same_v<decltype int></decltype>才对 —— 因为(x)是左值表达式，decltype会推导出int& - 模板中做 SFINAE 分支时，常用
std::enable_if_t<:is_same_v u>, int> = 0</:is_same_v>这种写法，注意第二个参数是默认模板参数，不是函数参数 - 编译期断言推荐用
static_assert(std::is_same_v<t expected_t>, "T must be expected_t")</t>，比运行时 assert 更早暴露问题
如何用 std::remove_reference 和 std::decay 处理泛型中的引用/const
泛型函数里拿到的模板参数常带引用、const 或 volatile，而你真正想操作的是“底层类型”。这两者区别很关键：
-
std::remove_reference_t<t></t>只去掉一层引用（T&→T，T&&→T），不碰const或数组、函数类型 -
std::decay_t<t></t>模拟函数传值语义：去掉引用、const/volatile，把数组转指针，函数类型转函数指针 —— 适合做类型归一化，比如实现通用的make_unique内部逻辑 - 错误示范：想解包
const std::string&得到std::string，只用remove_reference不够，得接std::remove_const_t；而std::decay_t<const std::string></const>直接就是std::string
为什么 std::is_integral 对 char 返回 true，但对 char8_t 在 C++20 前可能不成立
这是容易被忽略的兼容性坑。C++17 把 char8_t 定为独立类型（非 unsigned char 的别名），但旧版 trait 实现可能没及时更新。
-
std::is_integral_v<char></char>、std::is_integral_v<signed char></signed>、std::is_integral_v<unsigned char></unsigned>全是true - C++20 起
std::is_integral_v<char8_t></char8_t>才保证为true；若需跨标准兼容，可加 fallback：std::is_integral_v<t> || std::is_same_v<t char8_t></t></t> - 类似问题还有
std::is_floating_point对__float128（GCC 扩展）不识别，得靠编译器宏判断
自定义 type trait 怎么避免重复实例化和 SFINAE 失败崩溃
手写 trait 时，decltype + declval 是主力，但稍不注意就会让编译器报一堆模板错误而不是安静 fallback。
- 永远用
decltype包裹表达式，而非直接写表达式本身：比如检测是否有.size()，写decltype(std::declval<t>().size())</t>，而不是std::declval<t>().size()</t> - 用
void_t技巧收敛重载（C++17 起可用std::void_t）：先定义template<typename t> using has_size_t = void_t<decltype>().size())>;</decltype></typename>，再基于它写std::is_detected风格的 trait - 别在 trait 内部抛异常或调用未定义行为 —— 编译期 trait 必须是纯声明式，所有逻辑都在
decltype和类型推导中完成
类型萃取真正的难点不在语法，而在理解每个 trait 的精确语义边界：是看内存布局？还是看语言规则下的等价性？还是看标准库约定的行为？查文档时盯紧 “*cv-unqualified non-reference type*” 这类描述，比记结论更可靠。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
