什么类型特性支持uninitialized_copy(_n)语义上替换为copy(_n)

你之前猜测的std::is_trivially_default_constructible<T>不满足需求，核心原因是uninitialized_copy系列函数的语义是直接用源对象拷贝构造未初始化的目标内存，全程不会调用目标类型的默认构造函数，默认构造是否平凡和该场景没有任何关联，甚至会引入匹配错误。

要让copy(_n)完全替代uninitialized_copy(_n)且语义等价，需要同时满足以下两个核心条件：

• std::is_trivially_copy_constructible_v<T2, const T1&>：从源类型T1的const左值可以平凡构造目标类型T2，保证uninitialized_copy_n的底层行为就是逐字节复制源对象内容，没有额外的自定义构造逻辑
• std::is_trivially_assignable_v<T2&, const T1&>：目标类型T2的左值可以被源类型T1的const左值平凡赋值，保证copy_n调用的赋值操作底层也是逐字节复制，和拷贝构造的行为完全一致

如果你的场景中源类型T1和目标类型T2是同一种类型，也可以简化判断为std::is_trivially_copyable_v<T>，平凡可复制类型的拷贝构造、拷贝赋值、析构全都是平凡实现，天然满足上述两个条件。

你提供的代码中的判断条件需要对应修改为：

template<class... As, class... Bs>
auto uninitialized_copy_n(
    my_iterator<As...>   first, Size count,
    my_iterator<Bs...> d_first
)-> my_iterator<Bs...> {
    using T1 = typename my_iterator<As...>::value_type;
    using T2 = typename my_iterator<Bs...>::value_type;
    if constexpr(
        std::is_trivially_copy_constructible_v<T2, const T1&>
        && std::is_trivially_assignable_v<T2&, const T1&>
    ){
        return copy_n(first, count, d_first);
    }
    // 其他实现逻辑
}

内容的提问来源于stack exchange，提问作者alfC