std::is_same_v 用于编译期精确判断两类型是否完全一致（含 cv 限定、引用性等）；需配合 std::remove_cv_t、std::remove_reference_t 或 std::decay_t 处理常见差异。
如何用 std::is_same_v 判断两个类型是否完全一致
这是最直接的类型相等检查，适用于编译期断言或 SFINAE 分支。注意它要求「完全相同」：包括 const/volatile 限定、引用性、模板参数实例化结果都必须一致。
常见误用是忽略引用和 cv 限定导致判断失败。比如 int 和 const int& 不等价，std::vector<int></int> 和 std::vector<int std::allocator>></int> 在某些标准库实现中也可能不等（因默认模板参数未显式展开）。
- 推荐在
static_assert中使用，避免运行时开销 - 若需忽略 cv 限定，先用
std::remove_cv_t；忽略引用，用std::remove_reference_t - 模板参数推导中慎用，因推导出的类型可能带引用（如
T&&推导为int&）
template <typename T>
void foo(T&& x) {
static_assert(std::is_same_v<std::decay_t<T>, int>, "T must be int-like");
// std::decay_t 去除引用 + cv 限定，再比较
}
std::is_constructible_v 检查能否用某参数构造目标类型
比 std::is_default_constructible_v 或 std::is_copy_constructible_v 更通用，适合判断「某类型是否支持从给定参数列表构造」，常用于容器插入、工厂函数约束。
容易踩的坑是传入左值但类型只支持右值构造（如移动专属类型），或忽略隐式转换带来的歧义。该 trait 会考虑所有可行构造路径，包括用户定义的转换构造函数。
立即学习“C++免费学习笔记（深入）”；
- 第二个及后续模板参数是构造参数类型列表，不是值
- 若类型有
explicit构造函数，且你传入的是隐式转换路径，is_constructible_v仍返回true（它不区分 explicit/inexplicit） - 想严格限制隐式构造，需配合
std::is_convertible_v单独判断
struct NonCopyable {
NonCopyable(int) {}
NonCopyable(const NonCopyable&) = delete;
};
<p>static_assert(std::is_constructible_v<NonCopyable, int>); // true
static_assert(!std::is_constructible_v<NonCopyable, double>); // false（无 double 构造函数）用 std::is_invocable_v 判断可调用对象能否被指定参数调用
这是 C++17 引入的关键 trait，替代了过去手写 decltype(std::declval<F>()(...)) 的繁琐方式。它检查「表达式 f(args...) 是否在语法上合法」，不求值也不触发副作用。
注意它不保证调用成功（比如抛异常或断言失败），也不检查返回值类型是否匹配——只管能不能写出来。若需进一步约束返回类型，要叠加 std::is_same_v<decltype(f(args...)), R>。
- 第一个模板参数是可调用类型（函数指针、lambda、重载了
operator()的类等） - 后续参数是「类型」，不是实际值；例如
int表示存在一个int类型的实参，而非字面量42 - 对成员函数指针，需用
std::is_invocable_r_v<Ret, MemFn, ObjType, ArgTypes...>形式
auto lambda = [](double x) { return x * 2.0; };
static_assert(std::is_invocable_v<decltype(lambda), double>); // true
static_assert(!std::is_invocable_v<decltype(lambda), std::string>); // false为什么 std::enable_if_t 配合类型 trait 是最常用的启用/禁用方式
它把类型检查结果转为 SFINAE 友好的上下文，让错误发生在模板重载解析阶段，而不是硬报编译错误。这是写泛型代码时控制分支的核心机制。
关键点在于：必须让 enable_if_t 出现在函数模板的「默认模板参数」或「函数参数类型」位置，不能放在返回类型开头（C++11/14 中会导致硬错误）。C++20 后可用 requires 替代，但底层逻辑一致。
- 常用写法是
std::enable_if_t<Condition, int> = 0，用int占位，= 0提供默认值 - 若条件为假，
enable_if_t<false, T>未定义，触发 SFINAE，该重载被丢弃 - 多个重载共存时，确保只有一个能通过（否则仍是重载歧义错误）
template <typename T>
auto process(T&& x) -> std::enable_if_t<std::is_integral_v<std::decay_t<T>>, int> {
return x + 1;
}
<p>template <typename T>
auto process(T&& x) -> std::enable_if_t<!std::is_integral_v<std::decay_t<T>>, double> {
return 0.0;
}类型 trait 的组合嵌套很容易变深，一不留神就写出 std::remove_reference_t<std::remove_cv_t<decltype(x)>> 这样的长链。实际项目中优先考虑 std::decay_t，它一步到位处理引用、cv 限定和数组/函数类型退化——除非你明确需要保留其中某一项。
