C语言泛型指针强制类型转换与矩阵拷贝实现相关疑问

问题现象核心原因 #

你遇到的程序卡顿是内存越界访问触发的未定义行为，本质是指针类型和传入的长度参数不匹配导致的，和void指针本身的转换规则无关。

1. 为什么转char指针可以正常运行 #

首先明确C语言的基本规则：

• sizeof(char) 固定为1，char指针每次步进的偏移量是1字节
• 你的代码里传给copiarMatrices的第三个参数是sizeof(m1)，也就是矩阵占用的总字节数：你的例子里是2行3列int，按每个int占4字节计算，总大小是 2*3*4=24，所以n=24

当你把void指针转成char指针后，循环执行24次，每次读写1字节，刚好覆盖源矩阵的全部24字节空间，不会访问到数组以外的内存，所以运行正常。

2. 为什么转int/double指针会出问题 #

指针类型决定了指针运算的步进长度：

• int指针每次步进的偏移量是sizeof(int)，通常为4字节
• double指针每次步进的偏移量是sizeof(double)，通常为8字节

如果你直接把代码里的char替换成int，逻辑就变成了：循环执行24次，每次读写4字节，总共会读写 24*4=96 字节的空间，但你的源矩阵和目标矩阵都只申请了24字节的空间，直接就越界访问了栈上的其他内存区域。

越界访问属于C语言的未定义行为，可能出现各种异常表现：你遇到的卡顿是因为踩了栈上的关键数据（比如循环变量、函数返回地址），导致程序逻辑混乱、甚至陷入无效循环，直到系统检测到内存访问违规才终止程序，所以会出现卡顿几秒才结束的现象。

3. 关于书里表述的澄清 #

书里的说法过于绝对，实际void*泛型指针可以强制转换为任意类型的指针，只是在这个「通用内存拷贝」的场景下，只有转成char指针才能和「传入总字节数」的参数逻辑匹配，实现任意类型数据的通用拷贝。

如果你明确要拷贝的是int类型的数组，也可以转成int指针使用，只要把传入的第三个参数改成元素总数即可：

// 改后的拷贝函数，仅适用于int类型数组
void copiarMatricesInt(void *dest, void *orig, int elem_count){
    int *destino = (int *)dest;
    int *origen = (int *)orig;
    for (int i = 0; i < elem_count; i++) {
        destino[i] = origen[i];
    }
}
// 调用时传元素总数，而不是总字节数
copiarMatricesInt(m2, m1, FILAS*COLS);

上面的代码也可以正常运行，不会出现问题。

内容的提问来源于stack exchange，提问作者Rafael Hernández Marrero