std::is_assignable是编译期类型trait，仅检查赋值语法合法性，不保证行为安全；返回std::true_type/std::false_type，用于SFINAE或requires约束，不可替代运行时防护。
std::is_assignable 本质是编译期类型 trait，不是运行时安全检查
它只判断「类型 T 是否能被 U 赋值」在语法上是否合法，不保证行为安全（比如不会检测空指针解引用、越界、析构异常等）。它返回的是 std::true_type 或 std::false_type，只能用于 constexpr 上下文或模板约束，不能替代运行时断言或智能指针防护。
常见误用是以为它能防止崩溃——比如写 std::is_assignable_v<int std::string></int> 返回 false，只是说明 int& a = std::string{}; 这句根本过不了编译，不是说“运行时赋值前帮你拦一下”。
正确用法：SFINAE 和 requires 约束模板函数
最实用的场景是限制模板参数，避免实例化出非法代码。C++17 起推荐用 requires，更清晰；C++11/14 可用 std::enable_if_t。
- 用
requires（C++20）：template<typename T, typename U> requires std::is_assignable_v<T&, U> void safe_assign(T& t, U&& u) { t = std::forward<U>(u); } - 用
std::enable_if_t（C++11）：template<typename T, typename U> std::enable_if_t<std::is_assignable_v<T&, U>> safe_assign(T& t, U&& u) { t = std::forward<U>(u); } - 错误示例（编译失败）：
safe_assign(42, "hello")—— 因为int&不能绑定到字面量，且42不是左值，std::is_assignable_v<int&, const char*>实际为 true，但调用本身不合法；真正该约束的是T&是否可绑定 + 可赋值，所以建议传左值引用参数
注意 cv 限定符和引用折叠带来的结果差异
std::is_assignable 对左右操作数的 cv 限定符和引用类型极度敏感。同一个类型组合，加 const 或换 && 就可能反转结果。
立即学习“C++免费学习笔记（深入）”；
-
std::is_assignable_v<int&, const int&>→ true（非常量引用可绑定 const 左值） -
std::is_assignable_v<const int&, int&>→ true（const 引用可绑定非常量左值） -
std::is_assignable_v<int&, int&&>→ true（左值引用可绑定右值，触发拷贝） -
std::is_assignable_v<int&&, int&>→ false（右值引用不能绑定左值） -
std::is_assignable_v<std::vector<int>&, std::initializer_list<int>>→ true（支持v = {1,2,3}）
实际写 trait 检查时，务必用你真实函数参数类型去套，别凭直觉省略 const 或引用符号。
和 std::is_copy_assignable / std::is_move_assignable 的关系
std::is_assignable 更通用，而另外两个是特例缩写：
-
std::is_copy_assignable_v<T>等价于std::is_assignable_v<T&, const T&> -
std::is_move_assignable_v<T>等价于std::is_assignable_v<T&, T&&> - 但注意：对容器如
std::unique_ptr，std::is_move_assignable_v为 true，std::is_copy_assignable_v为 false —— 这正是std::is_assignable能精细区分的地方
如果你只关心“能不能拷贝赋值”，直接用 std::is_copy_assignable 更语义明确；需要定制源类型（比如接受 std::string_view 赋给 std::string），才必须用 std::is_assignable。
最容易被忽略的是：这个 trait 不检查赋值操作符是否 noexcept，也不管它会不会抛异常。如果真要保障强异常安全，得配合 std::is_nothrow_assignable 一起用，而且仍需实测逻辑分支。
