ChatGPT解决这个技术问题 Extra ChatGPT

如何将数组的所有成员初始化为相同的值?

我在 C 中有一个大数组(如果有区别,不是 C++)。我想初始化相同值的所有成员。

我可以发誓我曾经知道一个简单的方法来做到这一点。在我的情况下,我可以使用 memset(),但有没有一种内置于 C 语法中的方法来做到这一点?

到目前为止,没有一个答案提到在 C99 及更高版本中可行的指定初始化符号。例如:enum { HYDROGEN = 1, HELIUM = 2, CARBON = 6, NEON = 10, … };struct element { char name[15]; char symbol[3]; } elements[] = { [NEON] = { "Neon", "Ne" }, [HELIUM] = { "Helium", "He" }, [HYDROGEN] = { "Hydrogen", "H" }, [CARBON] = { "Carbon", "C" }, … };。如果删除省略号 ,这些片段会在 C99 或 C11 下编译。
实际上abelenky的答案是使用指定的初始化程序,但没有完全形成初始化代码
memset() 可以提供帮助,但取决于价值。
memset()具体讨论:stackoverflow.com/questions/7202411/…我认为它只适用于 0。

B
Benjamin Buch

除非该值为 0(在这种情况下,您可以省略初始化程序的某些部分并且相应的元素将被初始化为 0),否则没有简单的方法。

但是,不要忽视明显的解决方案:

int myArray[10] = { 5, 5, 5, 5, 5, 5, 5, 5, 5, 5 };

缺失值的元素将被初始化为 0:

int myArray[10] = { 1, 2 }; // initialize to 1,2,0,0,0...

所以这会将所有元素初始化为0:

int myArray[10] = { 0 }; // all elements 0

在 C++ 中,一个空的初始化列表也会将每个元素初始化为 0。这是 C 中的 not allowed,直到 C23:

int myArray[10] = {}; // all elements 0 in C++ and C23

请记住,如果未指定初始化程序,则具有静态存储持续时间的对象将初始化为 0:

static int myArray[10]; // all elements 0

而且“0”并不一定意味着“所有位为零”,因此使用上述方法比 memset() 更好、更便携。 (浮点值将被初始化为 +0,指向空值的指针等)


查看 C99 标准的第 6.7.8 节初始化,似乎不允许空的初始化列表。
C99 在结构体和数组初始化方面有很多不错的特性;它没有的一个功能(但 Fortran IV,1966 年有)是一种为数组重复特定初始化程序的方法。
我想我还没看过这个:int myArray[] = {[3] = 123, [7] = 23};给你{0, 0, 0, 123, 0, 0, 0, 23}
@akofink:在下面查看 qrdl 的答案。这是一个 GCC 扩展。
@Fratink 请参阅第 6.7.8.21 节:“如果大括号括起来的列表中的初始化程序少于聚合的元素或成员,或者用于初始化已知大小数组的字符串文字中的字符少于其中的元素数组,聚合的其余部分应隐式初始化,与具有静态存储持续时间的对象相同。”
G
Gabriel Staples

如果您的编译器是 GCC,您可以使用以下“GNU 扩展”语法:

int array[1024] = {[0 ... 1023] = 5};

查看详细说明:http://gcc.gnu.org/onlinedocs/gcc-4.1.2/gcc/Designated-Inits.html


并且该语法会导致编译后的二进制文件的文件大小大幅增加。对于 N = 65536(而不是 1024),我的二进制文件大小从 15 KB 跃升至 270 KB!
@CetinSert 编译器必须将 65536 int 添加到静态数据中,即 256 K - 正是您观察到的大小增加。
@CetinSert 我为什么要这样做?这是标准的编译器行为,并不特定于指定的初始化程序。如果您静态初始化 65536 个 int,如 int foo1 = 1, foo2 = 1, ..., foo65536 =1;,您将获得相同的大小增加。
更好的是:“int array[] = {[0 ... 1023] = 5}”,数组的大小将自动设置为1024,修改起来更容易、更安全。
@Francois 或二维数组,bool array[][COLS] = { [0...ROWS-1][0...COLS-1] = true},虽然我不确定它是否比完整形式更具可读性。
C
Community

对于静态初始化具有相同值的大型数组,无需多次复制粘贴,您可以使用宏:

#define VAL_1X     42
#define VAL_2X     VAL_1X,  VAL_1X
#define VAL_4X     VAL_2X,  VAL_2X
#define VAL_8X     VAL_4X,  VAL_4X
#define VAL_16X    VAL_8X,  VAL_8X
#define VAL_32X    VAL_16X, VAL_16X
#define VAL_64X    VAL_32X, VAL_32X

int myArray[53] = { VAL_32X, VAL_16X, VAL_4X, VAL_1X };

如果您需要更改该值,则只需在一处进行替换。

编辑:可能有用的扩展

(由 Jonathan Leffler 提供)

您可以通过以下方式轻松概括这一点:

#define VAL_1(X) X
#define VAL_2(X) VAL_1(X), VAL_1(X)
/* etc. */

可以使用以下方法创建变体:

#define STRUCTVAL_1(...) { __VA_ARGS__ }
#define STRUCTVAL_2(...) STRUCTVAL_1(__VA_ARGS__), STRUCTVAL_1(__VA_ARGS__)
/*etc */ 

适用于结构或复合数组。

#define STRUCTVAL_48(...) STRUCTVAL_32(__VA_ARGS__), STRUCTVAL_16(__VA_ARGS__)

struct Pair { char key[16]; char val[32]; };
struct Pair p_data[] = { STRUCTVAL_48("Key", "Value") };
int a_data[][4] = { STRUCTVAL_48(12, 19, 23, 37) };

宏名称可协商。


我只会在极端情况下考虑这一点,当然 memset 是更优雅的表达方式。
如果数据必须是 ROM-able,则不能使用 memset。
预处理器实际上会从#defines 生成代码。随着更大的数组维度,可执行文件的大小将会增加。但绝对是 + 的想法;)
@Alcott,在旧计算机上以及仍然在许多嵌入式系统上,代码最终放在 EPROMROM 中。 ROM-able 在嵌入式系统中也意味着“代码放入闪存”,因为它具有大致相同的含义,即内存不能在运行时写入。即不能使用 memset 或任何其他更新或更改内存的指令。但是,常量可以在程序启动之前表达和闪烁或 ROM 化。
@u0b34a0f6ae:请记住,如果 VAL_1X 不是单个整数而是列表,您也可以使用此方法。与 Amigable 状态一样,这也是您想要定义 EEPROM 或闪存的初始值的嵌入式系统的方法。在这两种情况下,您都不能使用 memset()
F
Frank Szczerba

如果要确保数组的每个成员都被显式初始化,只需在声明中省略维度:

int myArray[] = { 1, 2, 3, 4, 5, 6, 7, 8, 9 };

编译器将从初始化列表中推导出维度。不幸的是,对于多维数组,只有最外层的维度可以省略:

int myPoints[][3] = { { 1, 2, 3 }, { 4, 5, 6 }, { 7, 8, 9} };

可以,但是

int myPoints[][] = { { 1, 2, 3 }, { 4, 5, 6 }, { 7, 8, 9} };

不是。


这个对吗 ? int myPoints[10][] = { { 1, 2, 3 }, { 4, 5, 6 }, { 7, 8, 9} };
不,您省略了最里面的维度,这是不允许的。这将给出编译器错误。
C99 中引入了初始化器和长度推断。
@Palec:不——自标准 C 时代以来,长度推断一直在 C 中(自 K&R 第 1 版发布以来,可能在此之前一段时间)。指定初始化器是 C99 中的新功能,但这并没有使用指定初始化器。
a
abelenky

我看到了一些使用这种语法的代码:

char* array[] = 
{
    [0] = "Hello",
    [1] = "World"
};   

如果您正在制作一个使用枚举作为索引的数组,它变得特别有用的地方:

enum
{
    ERR_OK,
    ERR_FAIL,
    ERR_MEMORY
};

#define _ITEM(x) [x] = #x

char* array[] = 
{
    _ITEM(ERR_OK),
    _ITEM(ERR_FAIL),
    _ITEM(ERR_MEMORY)
};   

即使您碰巧乱写了一些枚举值,这也会使事情井井有条。

可以在 herehere 中找到有关此技术的更多信息。


这是 C99 初始化程序语法,其他一些答案已经涵盖。您可以有效地将声明变成 char const *array[] = { ... }; 甚至 char const * const array[] = { ... };,不是吗?
T
Tarski
int i;
for (i = 0; i < ARRAY_SIZE; ++i)
{
  myArray[i] = VALUE;
}

我认为这比

int myArray[10] = { 5, 5, 5, 5, 5, 5, 5, 5, 5, 5...

以防数组的大小发生变化。


如何使用 memset 将 int 数组初始化为大于 255 的某个值? memset 仅在数组为字节大小时才有效。
@Benson:在 sizeof(int) > sizeof(char) 的平台上,您不能用 memset 替换上述代码。试试看。
p
plinth

您可以按照上面详述的方式执行整个静态初始化程序,但是当您的数组大小发生变化时(当您的数组发生变化时,如果您不添加适当的额外初始化程序,您会得到垃圾),这可能是一个真正的麻烦。

memset 为您的工作提供运行时命中,但没有正确完成的代码大小命中不受数组大小更改的影响。当数组大于例如几十个元素时,我会在几乎所有情况下使用此解决方案。

如果静态声明数组真的很重要,我会编写一个程序来为我编写程序并使其成为构建过程的一部分。


您能否添加一些关于使用 memset 初始化数组的示例?
P
Peter Mortensen

这是另一种方式:

static void
unhandled_interrupt(struct trap_frame *frame, int irq, void *arg)
{
    //this code intentionally left blank
}

static struct irqtbl_s vector_tbl[XCHAL_NUM_INTERRUPTS] = {
    [0 ... XCHAL_NUM_INTERRUPTS-1] {unhandled_interrupt, NULL},
};

看:

C-Extensions

指定初始化

然后问一个问题:什么时候可以使用 C 扩展?

上面的代码示例是在嵌入式系统中,永远不会看到来自另一个编译器的光芒。


P
Peter Mortensen

有点半开玩笑的回答;写声明

array = initial_value

使用您最喜欢的支持数组的语言(我的是 Fortran,但还有很多其他语言),并将其链接到您的 C 代码。你可能想把它包装成一个外部函数。


C
Clemens Sielaff

我知道最初的问题明确提到了 C 而不是 C++,但是如果你(像我一样)来这里寻找 C++ 数组的解决方案,这里有一个巧妙的技巧:

如果您的编译器支持 fold expressions,您可以使用模板魔术和 std::index_sequence 生成具有所需值的初始值设定项列表。您甚至可以constexpr 感觉自己像个老板:

#include <array>

/// [3]
/// This functions's only purpose is to ignore the index given as the second
/// template argument and to always produce the value passed in.
template<class T, size_t /*ignored*/>
constexpr T identity_func(const T& value) {
    return value;
}

/// [2]
/// At this point, we have a list of indices that we can unfold
/// into an initializer list using the `identity_func` above.
template<class T, size_t... Indices>
constexpr std::array<T, sizeof...(Indices)>
make_array_of_impl(const T& value, std::index_sequence<Indices...>) {
    return {identity_func<T, Indices>(value)...};
}

/// [1]
/// This is the user-facing function.
/// The template arguments are swapped compared to the order used
/// for std::array, this way we can let the compiler infer the type
/// from the given value but still define it explicitly if we want to.
template<size_t Size, class T>
constexpr std::array<T, Size> 
make_array_of(const T& value) {
    using Indices = std::make_index_sequence<Size>;
    return make_array_of_impl(value, Indices{});
}

// std::array<int, 4>{42, 42, 42, 42}
constexpr auto test_array = make_array_of<4/*, int*/>(42);
static_assert(test_array[0] == 42);
static_assert(test_array[1] == 42);
static_assert(test_array[2] == 42);
static_assert(test_array[3] == 42);
// static_assert(test_array[4] == 42); out of bounds

您可以查看 code at work(在 Wandbox)


w
warren

对于初始化“普通”数据类型(如 int 数组),您可以使用方括号表示法,但如果数组中仍有空间,它会将最后一个值之后的值归零:

// put values 1-8, then two zeroes
int list[10] = {1,2,3,4,5,6,7,8};

d
ddimitrov

如果数组恰好是 int 或具有 int 大小的任何东西,或者您的 mem-pattern 的大小恰好适合 int 的时间(即全零或 0xA5A5A5A5),最好的方法是使用 memset()

否则在移动索引的循环中调用 memcpy()。


M
Maciej

有一种快速的方法可以用给定的值初始化任何类型的数组。它适用于大型阵列。算法如下:

初始化数组的第一个元素(通常的方式)

将已设置的部分复制到尚未设置的部分,每次下一次复制操作将大小加倍

对于 1 000 000 元素 int 数组,它比常规循环初始化(i5、2 核、2.3 GHz、4GiB 内存、64 位)快 4 倍:

loop runtime 0.004248 [seconds]

memfill() runtime 0.001085 [seconds]

#include <stdio.h>
#include <time.h>
#include <string.h>
#define ARR_SIZE 1000000

void memfill(void *dest, size_t destsize, size_t elemsize) {
   char   *nextdest = (char *) dest + elemsize;
   size_t movesize, donesize = elemsize;

   destsize -= elemsize;
   while (destsize) {
      movesize = (donesize < destsize) ? donesize : destsize;
      memcpy(nextdest, dest, movesize);
      nextdest += movesize; destsize -= movesize; donesize += movesize;
   }
}    
int main() {
    clock_t timeStart;
    double  runTime;
    int     i, a[ARR_SIZE];

    timeStart = clock();
    for (i = 0; i < ARR_SIZE; i++)
        a[i] = 9;    
    runTime = (double)(clock() - timeStart) / (double)CLOCKS_PER_SEC;
    printf("loop runtime %f [seconds]\n",runTime);

    timeStart = clock();
    a[0] = 10;
    memfill(a, sizeof(a), sizeof(a[0]));
    runTime = (double)(clock() - timeStart) / (double)CLOCKS_PER_SEC;
    printf("memfill() runtime %f [seconds]\n",runTime);
    return 0;
}

对不起,但这不是真的。也许您在测试期间忘记打开编译优化(使用调试模式进行测试?)。如果我对此进行测试,循环几乎总是比 memfill 快 50%(“总是”,因为我的机器上有一些负载抖动)。并使用 memset(a,0,sizeof(a));甚至比循环填充快两倍。
与任何基准测试代码一样,您需要非常小心。添加一个循环来执行计时代码 10 次(并将数组的大小增加一倍至 20M)显示——对我来说,在 MacBook Pro 上运行 macOS Sierra 10.12.3 并使用 GCC 6.3.0——这是第一次,使用循环大约需要 4600 µs,而 memfill() 代码大约需要 1200 µs。但是,在随后的迭代中,循环大约需要 900-1000 µs,而 memfill() 代码需要 1000-1300 µs。第一次迭代可能会受到填充缓存时间的影响。反转测试,memfill() 第一次很慢。
H
Hannah Zhang

如果您的数组被声明为静态数组或全局数组,则数组中的所有元素都已经具有默认默认值 0。一些编译器在调试模式下将数组的默认值设置为 0。将默认值设置为 0 很容易: int array[10] = {0};但是,对于其他值,您可以使用 memset() 或循环;

示例:int数组[10]; memset(array,-1, 10 *sizeof(int));


w
wovano
int array[1024] = {[0 ... 1023] = 5};

由于上述工作正常,但请确保 ... 点之间没有空格。


h
hkBattousai

没有人提到访问初始化数组元素的索引顺序。我的示例代码将给出一个说明性的例子。

#include <iostream>

void PrintArray(int a[3][3])
{
    std::cout << "a11 = " << a[0][0] << "\t\t" << "a12 = " << a[0][1] << "\t\t" << "a13 = " << a[0][2] << std::endl;
    std::cout << "a21 = " << a[1][0] << "\t\t" << "a22 = " << a[1][1] << "\t\t" << "a23 = " << a[1][2] << std::endl;
    std::cout << "a31 = " << a[2][0] << "\t\t" << "a32 = " << a[2][1] << "\t\t" << "a33 = " << a[2][2] << std::endl;
    std::cout << std::endl;
}

int wmain(int argc, wchar_t * argv[])
{
    int a1[3][3] =  {   11,     12,     13,     // The most
                        21,     22,     23,     // basic
                        31,     32,     33  };  // format.

    int a2[][3] =   {   11,     12,     13,     // The first (outer) dimension
                        21,     22,     23,     // may be omitted. The compiler
                        31,     32,     33  };  // will automatically deduce it.

    int a3[3][3] =  {   {11,    12,     13},    // The elements of each
                        {21,    22,     23},    // second (inner) dimension
                        {31,    32,     33} };  // can be grouped together.

    int a4[][3] =   {   {11,    12,     13},    // Again, the first dimension
                        {21,    22,     23},    // can be omitted when the 
                        {31,    32,     33} };  // inner elements are grouped.

    PrintArray(a1);
    PrintArray(a2);
    PrintArray(a3);
    PrintArray(a4);

    // This part shows in which order the elements are stored in the memory.
    int * b = (int *) a1;   // The output is the same for the all four arrays.
    for (int i=0; i<9; i++)
    {
        std::cout << b[i] << '\t';
    }

    return 0;
}

输出是:

a11 = 11                a12 = 12                a13 = 13
a21 = 21                a22 = 22                a23 = 23
a31 = 31                a32 = 32                a33 = 33

a11 = 11                a12 = 12                a13 = 13
a21 = 21                a22 = 22                a23 = 23
a31 = 31                a32 = 32                a33 = 33

a11 = 11                a12 = 12                a13 = 13
a21 = 21                a22 = 22                a23 = 23
a31 = 31                a32 = 32                a33 = 33

a11 = 11                a12 = 12                a13 = 13
a21 = 21                a22 = 22                a23 = 23
a31 = 31                a32 = 32                a33 = 33

11      12      13      21      22      23      31      32      33

<iostream> 是无效的 C,因为 std::coutstd::cin 等是 std::namespace 的一部分,并且 C 不支持 namespaces。尝试将 <stdio.h> 用于 printf(...)
J
JWDN

通过所有的讨论,简短的回答是,如果你在编译时打开优化,你不会比这做得更好:

int i,value=5,array[1000]; 
for(i=0;i<1000;i++) array[i]=value; 

额外的好处:代码实际上是清晰的:)


该问题专门要求初始化。这显然不是初始化,而是在初始化后完成的赋值。它可能会立即完成,但它仍然不是初始化。
对于多次调用的函数内的大型静态查找表完全没有帮助。
...不要记得函数内部的静态查找表是原始问题的一部分 - 保持简单。也就是说,@Community 很可能成功了。
F
Francis Cugler

我知道用户 Tarski 以类似的方式回答了这个问题,但我添加了更多详细信息。原谅我的一些 C,因为我对它有点生疏,因为我更倾向于使用 C++,但是就这样吧。

如果您提前知道数组的大小...

#include <stdio.h>

typedef const unsigned int cUINT;
typedef unsigned int UINT;

cUINT size = 10;
cUINT initVal = 5;

void arrayInitializer( UINT* myArray, cUINT size, cUINT initVal );
void printArray( UINT* myArray ); 

int main() {        
    UINT myArray[size]; 
    /* Not initialized during declaration but can be
    initialized using a function for the appropriate TYPE*/
    arrayInitializer( myArray, size, initVal );

    printArray( myArray );

    return 0;
}

void arrayInitializer( UINT* myArray, cUINT size, cUINT initVal ) {
    for ( UINT n = 0; n < size; n++ ) {
        myArray[n] = initVal;
    }
}

void printArray( UINT* myArray ) {
    printf( "myArray = { " );
    for ( UINT n = 0; n < size; n++ ) {
        printf( "%u", myArray[n] );

        if ( n < size-1 )
            printf( ", " );
    }
    printf( " }\n" );
}

上面有一些警告;一个是 UINT myArray[size]; 在声明时没有直接初始化,但是下一个代码块或函数调用确实将数组的每个元素初始化为您想要的相同值。另一个需要注意的是,您必须为您将支持的每个 type 编写一个 initializing function,并且您还必须修改 printArray() 函数以支持这些类型。

您可以使用找到的在线编译器 here 尝试此代码。


S
Sooth

对于延迟初始化(即类成员构造函数初始化),请考虑:

int a[4];

unsigned int size = sizeof(a) / sizeof(a[0]);
for (unsigned int i = 0; i < size; i++)
  a[i] = 0;

f
ferdymercury

如果事先知道数组的大小,可以使用 Boost 预处理器 C_ARRAY_INITIALIZE 宏来为您完成这项肮脏的工作:

#include <boost/preprocessor/repetition/enum.hpp>
#define C_ARRAY_ELEMENT(z, index, name) name[index]
#define C_ARRAY_EXPAND(name,size) BOOST_PP_ENUM(size,C_ARRAY_ELEMENT,name)
#define C_ARRAY_VALUE(z, index, value) value
#define C_ARRAY_INITIALIZE(value,size) BOOST_PP_ENUM(size,C_ARRAY_VALUE,value)

R
Ruthvik Chandra Vanam

用零初始化 -

  char arr[1000] = { 0 };

最好使用正常的“for循环”进行初始化,而不是0。

  char arr[1000];
  for(int i=0; i<arr.size(); i++){
     arr[i] = 'A';
  }

佚名

方法一:

int a[5] = {3,3,3,3,3}; 

形式初始化技术。

方法二:

int a[100] = {0};

但值得注意的是

int a[10] = {1}; 

不会将所有值初始化为 1

这种初始化方式专为0

如果你只是这样做

int a[100];

一些编译器倾向于采用垃圾值,因此它总是首选

int a[1000] = {0};

P
Pavel Vazharov

就像克莱门斯·西拉夫的回答一样。此版本需要 C++17。

template <size_t Cnt, typename T>                                               
std::array<T, Cnt> make_array_of(const T& v)                                           
{                                                                               
    return []<size_t... Idx>(std::index_sequence<Idx...>, const auto& v)        
    {                                                                           
        auto identity = [](const auto& v, size_t) { return v; };                
        return std::array{identity(v, Idx)...};                                 
    }                                                                           
    (std::make_index_sequence<Cnt>{}, v);                                       
}

您可以在操作 here 中看到它。


s
sambowry

我在问题中没有看到任何要求,因此解决方案必须是通用的:初始化未指定的可能多维数组,该数组由具有初始成员值的未指定的可能结构元素构建:

#include <string.h> 

void array_init( void *start, size_t element_size, size_t elements, void *initval ){
  memcpy(        start,              initval, element_size              );
  memcpy( (char*)start+element_size, start,   element_size*(elements-1) );
}

// testing
#include <stdio.h> 

struct s {
  int a;
  char b;
} array[2][3], init;

int main(){
  init = (struct s){.a = 3, .b = 'x'};
  array_init( array, sizeof(array[0][0]), 2*3, &init );

  for( int i=0; i<2; i++ )
    for( int j=0; j<3; j++ )
      printf("array[%i][%i].a = %i .b = '%c'\n",i,j,array[i][j].a,array[i][j].b);
}

结果:

array[0][0].a = 3 .b = 'x'
array[0][1].a = 3 .b = 'x'
array[0][2].a = 3 .b = 'x'
array[1][0].a = 3 .b = 'x'
array[1][1].a = 3 .b = 'x'
array[1][2].a = 3 .b = 'x'

编辑:start+element_size 更改为 (char*)start+element_size


我怀疑这是否是一个解决方案。我不确定 sizeof(void) 是否有效。
它不起作用。只有前两个被初始化,其余的都是未初始化的。我在 Mac OS X 10.4 上使用 GCC 4.0。
这会调用未定义的行为,因为第二个 memcpy() 中的源数据与目标空间重叠。使用 memcpy() 的简单实现,它可能会工作,但不需要系统使其工作。
D
Dadhich Sourav
#include<stdio.h>
int main(){
int i,a[50];
for (i=0;i<50;i++){
    a[i]=5;// set value 5 to all the array index
}
for (i=0;i<50;i++)
printf("%d\n",a[i]);
   return 0;
}

它将给出 o/p 5 5 5 5 5 5 ...... 直到整个数组的大小


M
Mike

回到过去(我并不是说这是个好主意),我们设置了第一个元素,然后:

memcpy (&element [1], &element [0], sizeof (element)-sizeof (element [0]);

甚至不确定它是否会继续工作(这将取决于 memcpy 的实现),但它通过重复将初始元素复制到下一个元素来工作 - 甚至适用于结构数组。


那将无法可靠地工作。恕我直言,标准应该提供类似于 memcpy 的功能,但在重叠的情况下指定了自下而上或自上而下的复制顺序,但事实并非如此。
正如我所说,这只是我们所做的无法可靠工作的事情,但那时,我们更关注效率而不是避免未记录的功能。虽然向前复制内存更有效,但规范中没有说它不能以随机顺序向后复制或将其拆分到多个线程中。 memmove() 提供了无冲突复制的能力。
这等同于另一个 answer 中的代码——并且存在缺陷。使用 memmove() 不会使其工作。