std::is_convertible<From, To>仅检测From能否隐式转换为To，能验内置转换、非explicit构造函数和const转换运算符，不能验explicit构造函数、static_cast等显式转换。
std::is_convertible 是什么，它能验什么不能验什么
std::is_convertible<From, To> 是一个编译期类型特征（type trait），它只判断 From 类型的值能否**隐式转换**为 To 类型——注意是“隐式”，不是强制转型、不是 static_cast、也不是用户自定义的 explicit 构造函数。
常见误判场景：如果 To 有个 explicit To(const From&) 构造函数，std::is_convertible<From, To> 返回 false，哪怕你写 static_cast<To>(x) 能过。它模拟的是“放在函数参数位置是否能自动推导”这个语义，比如 void f(To); f(x); 是否合法。
- ✅ 能检出：内置类型转换（
int→double）、非 explicit 构造函数、转换运算符（operator To() const） - ❌ 检不出：explicit 构造函数、
static_cast/reinterpret_cast、C 风格转换、用户定义的赋值运算符 - ⚠️ 注意：对 void 类型、数组类型、不完整类型，行为未定义，多数编译器会 SFINAE 掉或触发硬错误
怎么在模板中安全使用 is_convertible 做约束
直接用 static_assert 或 requires（C++20）最常见，但要注意表达式求值时机和依赖上下文。
例如，想写一个只接受能隐式转成 std::string 的类型的函数：
立即学习“C++免费学习笔记（深入）”；
template <typename T>
void log(T value) {
static_assert(std::is_convertible_v<T, std::string>,
"T must be implicitly convertible to std::string");
std::cout << std::string{value} << '\n';
}
但这里有个坑：std::string{value} 可能调用 explicit 构造函数，而 std::is_convertible_v 并不保证它能成功构造——它只保证隐式转换路径存在。更稳妥的做法是配合 std::declval 和 SFINAE，或者用 C++20 的 requires 约束表达式本身：
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
- 用
requires更准：requires std::is_convertible_v<T, std::string> && requires { std::string{std::declval<T>()}; } - 避免在
static_assert中依赖未实例化的模板参数，否则可能延迟到实例化时才失败，报错位置难定位 - 若
T是引用类型（如const int&），std::is_convertible_v<T, U>判的是“引用所指类型能否转”，不是引用本身——这是标准规定，不是 bug
常见编译错误和调试技巧
当 std::is_convertible_v<A, B> 返回 false 却预期为 true，别急着改代码，先确认转换路径是否真隐式可用：
- 把
A实例传给一个只接受B的函数，看是否编译通过：void test(B); test(a); - 检查
B的构造函数是否标记了explicit——这是最常见原因 - 检查
A的operator B()是否是const且 public；如果是explicit operator B()，也不算隐式转换 - 用
decltype和std::declval手动模拟：如果decltype((std::declval<A>(), std::declval<B>()))不合法，说明连逗号表达式都过不了，那is_convertible必然 false
Clang 和 GCC 在模板错误信息里通常会显示 std::is_convertible_v<...> 的展开结果，但不会告诉你“为什么 false”。建议临时加一条 static_assert(std::is_convertible_v<A, B> || true, "..."); 强制触发，再看完整诊断。
和 static_cast、std::is_constructible 的关键区别
std::is_convertible 和 std::is_constructible 经常被混淆，但语义完全不同：
-
std::is_constructible_v<B, A>：问“能否用A作为参数构造B”，包括 explicit 构造函数、初始化列表、聚合初始化等所有构造方式 -
std::is_convertible_v<A, B>：只问“A的值能否在不加 cast 的前提下出现在需要B的地方”，范围窄得多 -
static_cast<B>(a)成功 ≠std::is_convertible_v<A, B>为 true（比如从void*转int*允许static_cast，但不隐式转换）
真正要约束“能转成某种类型并用于构造”的场景，往往得组合多个 trait：std::is_constructible_v<B, A> && !std::is_same_v<std::remove_cvref_t<A>, B> 之类，而不是只靠 is_convertible。
隐式转换兼容性这事，表面看是类型关系，实际取决于上下文语义——is_convertible 只覆盖其中一块，而且边界很窄。用之前，先想清楚你到底想拦住什么、放行什么。
