std::is_trivially_assignable 检查表达式 declval() = declval() 是否良构且无需任何非平凡操作，要求 To 和 From 为完整类型、void 或未知边界数组，头文件为 。
std::is_trivially_assignable 是什么，它到底在检查什么
它检查的是：给定类型 T 是否能用平凡（trivial）方式完成赋值操作——即不调用用户定义的赋值运算符，也不触发任何非平凡的构造、析构或转换逻辑。注意，它**不保证赋值安全**，也不等价于“可以随便 memcpy”，只说明编译器可直接按位复制+跳过特殊逻辑。
常见误解是把它当成“是否支持 =”或“是否 POD”，但它比前者更严格（比如 std::vector<int></int> 支持赋值但不平凡），又比后者更宽泛（POD 要求同时 trivial constructible + trivially copyable，而 std::is_trivially_assignable 只管赋值）。
怎么正确使用 std::is_trivially_assignable 判断 T = U
它的模板参数是 std::is_trivially_assignable<t u></t>，表示“把类型 U 的值赋给类型 T 的对象”是否为平凡操作。不是 T 自身有没有赋值运算符，而是这个具体赋值行为是否平凡。
-
std::is_trivially_assignable<int long>::value</int>为true：内置类型间赋值是平凡的 -
std::is_trivially_assignable<:string const char>::value</:string>为false：触发了std::string的非平凡赋值运算符 -
std::is_trivially_assignable<mystruct mystruct></mystruct>为true（若MyStruct是 trivially copyable）：左值引用绑定不涉及赋值运算符调用，但该 trait 仍会检查底层类型是否允许平凡赋值 - 若
T没有公开的赋值运算符（如deleted 或private），则表达式不合法，trait 结果为false，且可能引发 SFINAE 失败（需配合std::enable_if_t或 C++20requires保护）
和 std::is_trivially_copyable、std::is_pod 的关键区别
这三个常被混用，但语义完全不同：
立即学习“C++免费学习笔记（深入）”；
-
std::is_trivially_copyable<t></t>：关注T对象能否被 memcpy（即复制/移动构造、复制/移动赋值、析构都 trivial）。它是类型自身的属性，不涉及其他类型。 -
std::is_trivially_assignable<t u></t>：关注从U到T的赋值行为是否平凡。即使T是 trivially copyable，U是std::unique_ptr<int></int>，结果仍是false。 -
std::is_pod<t></t>（C++20 已弃用）：要求同时是 trivially copyable 和 standard layout；而std::is_trivially_assignable完全不关心 layout 或继承关系。
典型陷阱：对 union 类型，std::is_trivially_assignable 可能返回 true，但实际赋值若跨 active member 就是未定义行为——trait 不做运行时活性检查。
实际工程中容易踩的坑
这个 trait 常被用于 SFINAE 或 concept 约束，但几个边界情况极易出错：
- 引用类型：
std::is_trivially_assignable<int int></int>是true，但std::is_trivially_assignable<const int></const>是false（因为 const 引用不能被赋值） - 数组类型：
std::is_trivially_assignable<int int></int>是false（C++ 禁止数组直接赋值，哪怕元素是 trivial） - cv 限定：
std::is_trivially_assignable<const t></const>几乎总是false，因为 const 对象不可修改 - 模板推导干扰：在函数模板中直接写
std::is_trivially_assignable_v<t u></t>而不加typename或延迟求值，可能因依赖名解析失败；建议包裹在decltype或用变量模板形式
最常被忽略的一点：它只反映编译器能否生成平凡赋值代码，不反映你写的代码是否真的安全——比如两个 struct 成员完全一样，但其中一个有 [[no_unique_address]] 或 bit-field，就可能导致 is_trivially_assignable 为 false，而你却没意识到内存布局已不同。
