当我使用模板将 char 数组复制到另一个数组时出现问题

Question

这是我的代码：

#include <iostream>
#include <string>
#include <stdio.h>
#include <stdlib.h>
using namespace std;

template <class T1, class T2>
void copy2(const T1 source[], T2 destination[] , int size){
    for (int i=0 ; i < size ; ++i){
        destination[i]=static_cast<T1>(source[i]);
    }
}



int main() {

    const char one[] = "hello";
    char two[5];

    cout << "one: " << one << endl;
    cout << "two: " << two << endl;

    copy2(one, two, 6);

    cout << "one: " << one << endl;
    cout << "two: " << two << endl;


    return 0;
}

但它输出：

一：你好

二：

一个：

二：你好

此外，数组“one”是常量，因此不应更改。

PS：当我以以下方式启动数组“二”时，它可以工作（但为什么？？）：

 char two[8];

但是，当我以以下两种方式启动它时，我会收到奇怪的错误：

 char two[6];

或

 char two[7];

Answer 1

我的最佳猜测是 two 和 one 在堆栈中彼此相邻，如下所示：

  t   w   o   -   -   o   n   e   -   -    -
 --------------------------------------------
|   |   |   |   |   | h | e | l | l | o | \0 |
 --------------------------------------------

由于当two 的大小为 5 时，通过将大小 6 传递给 copy2 导致 two 的缓冲区溢出，所以内存最终会像这样：

  t   w   o   -   -   o    n   e   -   -   -
 --------------------------------------------
| h | e | l | l | o | \0 | e | l | l | o | \0 |
 --------------------------------------------

这就是为什么two 似乎持有“hello”而one 什么也没有显示（因为两个超出了它的缓冲区，现在空终止符是one 中的第一个字符）。

Answer 2

为了能够将源缓冲区复制到目标，您需要目标缓冲区足够大以容纳源缓冲区。

char two[5];

没有足够的空间来存储H,E,L,L,O,\0 ---> 大小为6
因此，您的目标数组two 的大小至少应为6，否则您的程序会超出数组的范围并导致未定义的行为。

另外，你应该初始化你的源缓冲区并且 NULL 终止它。否则它包含垃圾字符。

char two[6]={0};

通过上述修改，您的 program works 符合我的要求。