std::is_trivially_assignable_v<T&, const T&>才是判断结构体能否平凡赋值的正确写法，需显式指定左值引用和const左值引用类型，否则结果不可靠。
怎么用 std::is_trivially_assignable 判断结构体是否可平凡赋值
直接结论：std::is_trivially_assignable<t const t></t> 才是判断「结构体能否平凡赋值」的正确写法，不是 std::is_trivially_assignable<t t></t> 或其他变体。
原因在于：平凡赋值（trivial assignment）指编译器能直接按字节拷贝完成的赋值操作，语义上对应 t1 = t2; 这种左值赋值。标准要求检查的是「左值引用类型能否被同类型的 const 左值引用平凡赋值」，即目标类型是 T&，源类型是 const T&。
-
std::is_trivially_assignable<t t></t>检查的是「临时对象能否赋给临时对象」，这在语法上不合法，结果恒为false，完全无意义 -
std::is_trivially_assignable<t t></t>忽略了 const 正确性，可能在某些非标准实现中误判 - 必须显式写出
T&和const T&—— 类型推导或 typedef 容易掩盖引用性，导致误用
哪些结构体会让 std::is_trivially_assignable<t const t></t> 返回 false
只要结构体中任一成员破坏了「平凡可赋值性」，整个类型就不是平凡可赋值的。常见破坏点：
- 含有用户定义的赋值运算符（哪怕只声明没定义）：
MyStruct& operator=(const MyStruct&) - 某个非静态成员是不可平凡赋值的类型（如
std::string、std::vector、含虚函数的类） - 基类含有非平凡赋值运算符（包括私有/删除的赋值函数）
- 含有
const成员或引用成员（它们无法被赋值，编译器必须生成非平凡赋值） - 即使所有成员都平凡，但显式删除了默认赋值运算符：
MyStruct& operator=(const MyStruct&) = delete;
注意：std::is_trivially_copyable 为 true 并不保证 std::is_trivially_assignable 也为 true —— 前者管拷贝构造和析构，后者只管赋值行为。
立即学习“C++免费学习笔记（深入）”；
实际使用时容易踩的坑
最常出错的是把类型参数写错位置，或者忽略模板实例化时机：
- 别在类定义内部直接用它做
static_assert来约束自身（比如在struct A { static_assert(std::is_trivially_assignable<a const a>::value); };</a>），此时A是不完全类型，SFINAE 失效，编译失败 - 不要依赖宏或别名隐藏引用符号，例如：
using T_ref = T&;再传入std::is_trivially_assignable<t_ref const t></t_ref>—— 看似等价，但某些旧编译器（如 GCC 7.5 之前）对别名模板参数处理不一致 - 在模板中使用时，若
T是 deduced 类型（如函数模板参数），需确保T是完整类型；否则应改用std::remove_reference_t+std::add_lvalue_reference_t显式构造引用类型 - Clang 和 MSVC 对 deleted 赋值运算符的检测更严格，而 GCC 在 -O0 下偶尔会漏报；建议统一用
-std=c++17及以上并开启-Wall验证
一个能跑通的最小验证示例
下面这段代码在 C++17 下可直接编译验证：
#include <type_traits>
struct Plain { int x; double y; };
struct NonPlain {
std::string s;
int arr[3];
};
static_assert(std::is_trivially_assignable_v<Plain&, const Plain&>, "Plain must be trivially assignable");
static_assert(!std::is_trivially_assignable_v<NonPlain&, const NonPlain&>, "NonPlain must NOT be trivially assignable");
关键点：用 std::is_trivially_assignable_v（C++17 起）替代冗长的 ::value，且必须带 & 和 const & —— 少一个符号，结果就不可信。
真正难的不是查文档，而是记住「平凡赋值」只针对左值引用的语义，以及编译器对 deleted 函数和 const 成员的判定边界。这些细节一旦写错，泛型代码可能在某个平台静默失效。
