直接结论：std::is_trivially_move_constructible_v<T>在编译期判断T是否具有编译器隐式生成、无用户逻辑、等价于memcpy的平凡移动构造函数；要求T无用户声明的移动/拷贝/析构函数、无虚函数、无虚拟基、所有基类与非静态成员均平凡可移动。
如何用 std::is_trivially_move_constructible 判断类型是否可平凡移动构造
直接结论：std::is_trivially_move_constructible<t>::value</t> 是 C++11 引入的类型特征，用于在编译期判断 T 是否满足「平凡移动构造」——即移动构造函数是编译器隐式生成的、不调用任何用户定义逻辑、等价于 memcpy 的位拷贝行为。
注意：它只检查「是否存在一个平凡的移动构造函数」，不保证该函数一定被选中（比如有更匹配的拷贝构造时，移动构造可能被忽略）。
- 若
T未定义移动构造函数，且所有成员/基类都可平凡移动构造，则该 trait 为true - 若
T显式定义了T(T&&)（哪怕函数体为空），该 trait 为false—— 因为显式定义即非平凡 - 若
T删除了移动构造（T(T&&) = delete），trait 仍为false（不满足“可构造”前提） - 数组类型如
int[10]、POD 结构体、std::array通常返回true；含虚函数、用户定义析构函数或非静态引用成员的类，基本为false
std::is_trivially_move_constructible 和 std::is_trivially_constructible 的区别
前者专指「从右值引用构造」是否平凡；后者是更宽泛的「任意参数列表构造」是否平凡，例如 std::is_trivially_constructible<t int></t> 检查是否存在平凡的 T(int)。
关键差异在于语义和触发条件：
立即学习“C++免费学习笔记（深入）”；
-
std::is_trivially_move_constructible<t></t>等价于std::is_trivially_constructible<t t></t>，但写法更明确、意图更清晰 - 如果
T没有声明移动构造函数，但有接受T&&的模板构造函数（如完美转发构造），std::is_trivially_move_constructible仍为false—— 因为那个模板不是「移动构造函数」 -
std::is_trivially_constructible<t t></t>可能为true（若模板被实例化且满足平凡性），但这不代表类型具有标准意义上的移动构造能力
实际使用中容易踩的坑
这个 trait 常被误用于“判断能否安全 memcpy”，但它本身不保证对象布局无 padding、无虚表、无内部指针重绑定逻辑。真正决定能否位拷贝的是 std::is_trivially_copyable，而可平凡移动构造只是它的必要不充分条件。
- 即使
std::is_trivially_move_constructible_v<t></t>为true，也不能推出std::is_trivially_destructible_v<t></t>为true—— 移动后对象若需析构，仍可能出问题 - 在 SFINAE 或
constexpr if中使用时，务必加typename和::value（C++17 起可用_v后缀），否则编译失败：static_assert(std::is_trivially_move_constructible_v<mytype>);</mytype> - Clang 和 GCC 对「平凡性」的判定基本一致，但 MSVC 在早期版本（如 VS2015）对带默认成员初始化器的类处理有偏差，建议在目标工具链上实测
替代方案：为什么有时该用 std::is_nothrow_move_constructible
很多场景真正关心的不是「是否平凡」，而是「移动是否不会抛异常」——比如 std::vector 在扩容时会优先选择 noexcept 移动而非拷贝。这时 std::is_nothrow_move_constructible 更贴近实际需求。
-
std::is_trivially_move_constructible⇒ 编译器生成、零开销、位拷贝安全（但需额外验证 trivially destructible & copyable） -
std::is_nothrow_move_constructible⇒ 移动过程不会 throw，允许用户自定义移动函数，只要标了noexcept - 两者无包含关系：平凡移动一定不抛异常（
true → true），但不抛异常的移动不一定是平凡的（true ↛ true）
真正难搞的是那些「移动构造函数存在且 noexcept，但因成员含 non-trivial 析构而无法位拷贝」的类型——这种情况下，is_trivially_move_constructible 是 false，但你可能误以为它“不够高效”，其实它已经是最优解了。
