C++如何使用std::is_assignable检查赋值安全性-C++-PHP中文网

std::is_assignable是编译期类型trait，仅检查赋值语法合法性，不保证行为安全；返回std::true_type/std::false_type，用于sfinae或requires约束，不可替代运行时防护。

c++如何使用std::is_assignable检查赋值安全性

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);
}</u></t></typename>

用 std::enable_if_t（C++11）：

template<typename t typename u>
std::enable_if_t<:is_assignable_v u>>
safe_assign(T& t, U&& u) {
    t = std::forward<u>(u);
}</u></:is_assignable_v></typename>

错误示例（编译失败）：safe_assign(42, "hello") —— 因为 int& 不能绑定到字面量，且 42 不是左值，std::is_assignable_v<int const char></int> 实际为 true，但调用本身不合法；真正该约束的是 T& 是否可绑定 + 可赋值，所以建议传左值引用参数

注意 cv 限定符和引用折叠带来的结果差异

std::is_assignable 对左右操作数的 cv 限定符和引用类型极度敏感。同一个类型组合，加 const 或换 && 就可能反转结果。

C++14

C++14 对 C++11 的修正与增强版本，适合旧系统维护和较老工具链兼容。

下载

std::is_assignable_v<int const int></int> → true（非常量引用可绑定 const 左值）
std::is_assignable_v<const int></const> → true（const 引用可绑定非常量左值）
std::is_assignable_v<int int></int> → true（左值引用可绑定右值，触发拷贝）
std::is_assignable_v<int int></int> → false（右值引用不能绑定左值）
std::is_assignable_v<:vector>&, std::initializer_list<int>></int></:vector> → true（支持 v = {1,2,3}）

实际写 trait 检查时，务必用你真实函数参数类型去套，别凭直觉省略 const 或引用符号。

和 std::is_copy_assignable / std::is_move_assignable 的关系

std::is_assignable 更通用，而另外两个是特例缩写：

std::is_copy_assignable_v<t></t> 等价于 std::is_assignable_v<t const t></t>
std::is_move_assignable_v<t></t> 等价于 std::is_assignable_v<t t></t>
但注意：对容器如 std::unique_ptr，std::is_move_assignable_v 为 true，std::is_copy_assignable_v 为 false —— 这正是 std::is_assignable 能精细区分的地方