std::is_convertible 判断隐式转换是否合法，即 t t = u; 是否能编译通过，不关心 explicit 构造函数或转换操作符，也不保证 static_cast 安全，且对 void、数组等类型有硬错误风险。
std::is_convertible 是什么，不是什么
std::is_convertible 判断的是「隐式转换是否合法」，不是「能不能强转」，也不是「有没有定义 operator T() 或构造函数」的简单罗列。它模拟的是 T t = u; 这种初始化语句能否通过编译——注意是隐式、非 explicit 的转换路径。
常见误用：拿它去测 static_cast 是否安全，或者以为只要写了转换构造函数就一定返回 true。错。如果构造函数带 explicit，std::is_convertible 就返回 false。
- 只关心隐式转换，无视
explicit构造函数和explicit转换操作符 - 不检查 SFINAE 失败后的回退路径（比如多个候选转换时选哪个）
- 对 void、数组类型、抽象类等有特殊限制，部分组合会直接导致硬错误而非
value == false
在模板约束里怎么写才不崩
直接把 std::is_convertible_v<from to></from> 塞进 requires 或 std::enable_if_t 里，很容易遇到「SFINAE 不生效」的问题——因为 std::is_convertible 对某些非法类型对（比如 From=void）不是 sfinae-friendly，而是引发硬编译错误。
正确做法是加一层 trait 包装，用 std::void_t 或 C++20 的 requires 表达式兜底：
立即学习“C++免费学习笔记（深入）”；
template<typename From, typename To>
concept convertible_to = requires(From&& f) {
static_cast<To>(std::forward<From>(f)); // 更准：覆盖隐式+显式可转场景
};
或者保守点用传统方式：
template<typename From, typename To>
struct is_convertible_safely : std::false_type {};
template<typename From, typename To>
struct is_convertible_safely<From, To> :
std::integral_constant<bool,
std::is_convertible_v<From, To> &&
!std::is_void_v<std::remove_reference_t<From>> &&
!std::is_void_v<To>
> {};
和 static_cast / dynamic_cast / reinterpret_cast 的关系
std::is_convertible 和运行时转换完全无关。它只反映编译期隐式初始化可行性，和 dynamic_cast（需多态）、reinterpret_cast（无类型检查）不构成任何逻辑对应。
-
std::is_convertible_v<derived base></derived>是true，但dynamic_cast<base>(ptr)可能返回nullptr（若ptr实际指向非Base子对象） -
std::is_convertible_v<int std::string></int>是false，哪怕你写了接受int的std::string构造函数——因为它是explicit -
std::is_convertible_v<float int></float>是true，但这个转换会截断小数，std::is_convertible不管值是否丢失
容易被忽略的边界情况
真正上线前踩过坑的几个点：
- 引用类型：
std::is_convertible_v<int const int></int>是true，但std::is_convertible_v<int int></int>是false（左值不能隐式转右值引用） - cv 限定：
std::is_convertible_v<const int></const>是false（丢 const 不允许隐式做） - 数组到指针：
std::is_convertible_v<int int></int>是true，但std::is_convertible_v<int int></int>是false（不完整类型不可用） - 函数类型：
std::is_convertible_v<void void></void>是false，函数类型本身不可实例化，必须先取地址
这些不是冷知识，是模板库里一写泛型容器或访问器就撞上的真实 case。别只测 int → double 这种理想路径。
