C语言通过指针与char转换比较任意类型数据的问题排查

你的int测试用例跑通纯属巧合，代码从根上就用错了比较函数，和int、float的内存表示差异没有直接关系：

• strcmp是专为C风格字符串设计的比较函数，它的比较逻辑是逐字节遍历两个内存地址，只要遇到值为\0（即字节值0）就立刻停止比较返回结果，完全不会读取你传入的num_bytes参数，不可能按你指定的长度完成定长比较。
• int测试场景下的正常表现完全是内存布局的巧合：在主流小端序环境中，int值3的4字节存储顺序是0x03、0x00、0x00、0x00，两个待比较的指针指向的内容第一个字节相等，第二个字节就碰到了终止符0，strcmp刚好在int的4字节长度内终止，误打误撞返回了相等结果。你换个高位带值、低字节没有0的int值测试，一样会出问题。
• float测试失败是必然结果：3.1f对应的IEEE754单精度4字节存储内容是0x66、0x66、0x46、0x40，整个4字节范围内没有一个值为0的字节，strcmp会直接越过这4字节边界向后读取非法内存，直到随机碰到一个0字节才会停止比较，比的根本不是你要校验的float值本身，结果自然完全错误。另外你的测试代码还有个笔误：flat b = 3.1;应为float b = 3.1;。

把strcmp替换为标准库中专门用于定长内存块比较的memcmp即可，该函数会严格按照传入的长度参数逐字节对比内存内容，不会被0字节打断，完全匹配你要实现的泛型数组匹配需求。
修正后的可运行代码：

#include <stdio.h>
#include <string.h>

void find_vector_indices(void *vec, void *value, size_t num_bytes, size_t arr_size) {
    unsigned char *val = (unsigned char *)value;
    unsigned char *dst;
    for (size_t i = 0; i < arr_size; i++) {
        dst = (unsigned char *)vec + i * num_bytes;
        if (memcmp(dst, val, num_bytes) == 0) {
            printf("Match found at index %zu\n", i);
        }
    }
}

// 测试用例
int main() {
    // int测试
    int a_int[3] = {3, 2, 3};
    int b_int = 3;
    find_vector_indices(a_int, &b_int, sizeof(int), 3);

    // float测试
    float a_float[3] = {3.1f, 2.2f, 3.1f};
    float b_float = 3.1f;
    find_vector_indices(a_float, &b_float, sizeof(float), 3);
    return 0;
}

额外说明 #

• 循环计数器建议使用size_t类型，和传入的数组长度类型保持一致，避免大数组场景下出现整型溢出问题；转char指针时用unsigned char更符合内存字节比较的惯例，避免有符号字节值带来的异常。
• 上述实现是精确内存匹配逻辑，仅适用于完全等值的基础类型、结构体比较。如果是经过计算得到的浮点数，可能存在逻辑相等但内存表示存在微小误差的情况，这类场景不能直接比内存，需要单独实现浮点数近似比较逻辑。
• C语言中所有字符串处理函数都默认操作的是“以0字节结尾的连续字符序列”，永远不要把int、float、自定义结构体这类不满足该约定的二进制内存块直接传给字符串处理函数，否则必然出现越界访问、逻辑错乱的问题。

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