std::char_traits<CharT>::copy

static char_type* copy( char_type* dest, const char_type* src, std::size_t count );		(C++20 前)
static constexpr char_type* copy( char_type* dest, const char_type* src, std::size_t count );		(C++20 起)

从 src 所指的字符串复制 count 个字符到 dest 所指向的字符序列。

正式而言，对 [0, count) 中每个 i 进行 assign(src[i], dest[i]) 。

若复制的字符范围重叠，即 src 在 [dest, dest + count) 之中，则行为未定义。

dest

（无）

线性。