泛型交换 c 函数

Question

我正在尝试编写一个简单的函数来交换任何两个相同类型的变量。

void swap(void* a, void* b, int size);

void swap(void* a, void* b, int size){
    void* temp = malloc(size);
    
    memcpy(temp, a,size);
    
    memcpy(a, b, size);
    
    memcpy(b, temp,size);

    free(temp);
}

int main(int argc, char* argv[])
{
    char name[] = "name";
    char greet[] = "greet";

    swap(name, greet, 30);

    printf("%s\n", name);
    printf("%s\n", greet);
    
    return 0;
}

但是上面的代码打印的是：

`
name

在memcpy(b, temp, size) 之后，a (in swap) 指向的值变为`，我不确定为什么？

Answer 1

当您调用memcpy(b, temp,size); 时，大小等于30，b 指向的字符串的实际大小为6，您基本上写入了您拥有的内存。

在您的情况下，您的程序实际上会损坏程序堆栈。如果在内存中b 出现在a 之前，那么额外的24 将有效地完全重写a 的内容。

您必须检查 size 是否小于或等于两个字符串的最小大小 + 1（以考虑空字符）。

Answer 2

存在一些错误，导致未定义的行为。 1. 您正在从一个长度为 5 个字节的数组中复制 30 个字节（“名称”是 4 个字符 + 1 个字节的尾随 0）。 2. 您将 30 个字节复制到数组，该数组长 6 个字节（“问候”是 5 个字符 + 1 个字节的尾随 0）。 这两个错误都可能导致问题，尤其是第二个错误：您试图在数组边界上使用 24 字节的内存 - 无法确定结果。

正如有人在 cmets 中所写，更好的方法是交换指针，也不交换指向的字节。

Answer 3

正如 cmets 所指出的，您不能交换 greet 和 name，因为它们的类型不匹配：char[6]，与 char[5]（包括终止 NUL），并且它们具有不同的大小。

不过swap可以用在char *对象上，因为char数组可以转换成char *，所以修改很简单。

int main(int argc, char* argv[])

    char name[] = "name";
    char greet[] = "greet";

    char *p1 = name ;
    char *p2 = greet ;

    swap(&p1, &p2, sizeof(p1)) ;

    printf("%s\n", p1);
    printf("%s\n", p2);
}

旁注：无需将malloc 用于临时空间，除非您希望移动非常大的对象。只需 char temp[size] ; 即可完成这项工作 - 而不是 malloc - 并且无需释放（以及较小的性能提升）。