为何swap()无法交换float/double？解析swap与__swap的差异

先结合你的场景给出两种函数的典型实现，再拆解核心差异：

你的swap()可能的实现（推测） #

void swap(void *a, void *b, size_t elem_size) {
    char *p = (char*)a;
    char *q = (char*)b;
    char temp;
    // 逐字节手动交换元素内存
    for (size_t i = 0; i < elem_size; i++) {
        temp = p[i];
        p[i] = q[i];
        q[i] = temp;
    }
}

基于memcpy的__swap()实现 #

void __swap(void *a, void *b, size_t elem_size) {
    // 用栈缓冲区暂存数据（也可动态分配）
    char temp_buf[elem_size];
    memcpy(temp_buf, a, elem_size);
    memcpy(a, b, elem_size);
    memcpy(b, temp_buf, elem_size);
}

两者的核心差异 #

1. 操作逻辑与粒度

   • swap()是逐字节手动循环交换：通过char*指针遍历元素的每个字节，逐个完成交换。完全依赖你手动控制循环次数、字节操作的正确性。
   • __swap()是批量内存复制交换：利用标准库memcpy()一次性复制整个元素的内存块到临时缓冲区，再完成双向复制。memcpy()会严格按指定字节数复制所有内存，无需手动处理单个字节。

2. 出错风险与兼容性

   • 手动逐字节交换极易出现疏漏：比如循环次数写错（如i <= elem_size而非i < elem_size）、传入错误的elem_size（比如给double传了sizeof(int)的大小）、临时变量类型错误（用int存单个字节导致截断）。这些问题会直接让float/double这类多字节类型交换后数据失效——它们的数值依赖连续字节的完整组合，只要一个字节交换错误，整个值就会乱掉。
   • memcpy()是工业级实现的标准库函数，不存在手动循环的疏漏，能兼容所有数据类型（包括自定义结构体、指针类型等），只要传入正确的元素大小，就能保证内存块被完整交换。

3. 鲁棒性与性能

   • 手动逐字节交换在极小元素（如char）上可能有微乎其微的性能优势，但现代编译器会对memcpy()做高度优化（比如批量复制指令），实际性能差异可以忽略。
   • memcpy()能避免手动操作可能出现的内存越界、字节序错误等问题，鲁棒性远高于手动实现。

为什么你的swap()对int/char有效，对float/double无效？ #

大概率是你的swap()实现存在针对int/char的隐含假设：

• 比如硬编码了交换字节数（写死sizeof(int)而非用传入的elem_size），刚好匹配int的大小；char因为是1字节，即使多交换几次也不会影响（或调用时刚好传对了char的大小）；但float/double的大小不匹配，导致只交换了部分字节，数值自然错误。
• 或者循环逻辑有误，比如循环次数不足，导致float/double的部分字节没被交换。

内容的提问来源于stack exchange，提问作者m0nte