用 memcmp() 比较整数

问题描述

我正在制作一个函数来获取每个大小为 SIZ 的 NMEMB 成员数组的最大值， 将每个成员与 memcmp() 进行比较。问题是当比较有符号整数时，结果是不正确的，但同时也是正确的。下面是一个例子：

void *
getmax(const void *data,size_t nmemb,size_t siz){

    const uint8_t *bytes = (const uint8_t *)data;
    void *max = malloc(siz);

    if (!max){
        errno = ENOMEM;
        return NULL;
    }
    
    memcpy(max,bytes,siz);
    while (nmemb > 0){

        hexdump(bytes,siz);

        if (memcmp(max,siz) < 0)
            memcpy(max,siz);

        bytes += siz;
        --nmemb;
    }

    return max;
}

int
main(int argc,char **argv){
    int v[] = {5,1,3,34,198,-12,-11,-0x111118};
    size_t nmemb = sizeof(v)/sizeof(v[0]);
    int *maximum = getmax(v,nmemb,sizeof(v[0]));
    printf("%d\n",*maximum);
    return 0;
}

• hexdump() 只是一个调试函数，不会改变程序。

编译执行时输出如下：

05 00 00 00 // hexdump() output
01 00 00 00
03 00 00 00
01 00 00 00
22 00 00 00
c6 00 00 00
f4 ff ff ff
f5 ff ff ff
e8 ee ee ff
-11  // "maximum" value

这是正确的，因为 memcmp() 比较一串字节并且不关心类型或符号，所以 -11 = 0xfffffff5 是数组 v[] 中的最大字节串，但同样时间不正确，因为 -11 不是数组中的最大整数。

有没有办法用这个函数得到一个数组的最大整数？

解决方法

沿着 qsort 路线走，需要一个自定义比较器。请注意，您绝对不需要在如此简单的函数中进行动态内存分配：

#include <stdio.h>

void const *getmax(void const *data,size_t const count,size_t const elm_sz,int (*cmp)(void const *,void const *)) {
  char const *begin = data;
  char const *end = begin + count * elm_sz;
  char const *max = begin;
  while (begin != end) {
    if (cmp(max,begin) < 0) max = begin;
    begin += elm_sz;
  }

  return max;
}

int int_cmp(void const *e1,void const *e2) {
  int const i1 = *(int const *)e1;
  int const i2 = *(int const *)e2;

  if (i1 > i2) return 1;
  if (i1 < i2) return -1;
  return 0;
}

int main() {
  int v[] = {5,1,3,34,198,-12,-11,-0x111118};
  int const *maximum = getmax(v,sizeof(v) / sizeof(*v),sizeof(*v),int_cmp);
  printf("%d\n",*maximum);
}

,

memcmp 比较位置，不关心标志。所以对于它 -11 表示 0xFFFFFFF5 和 -12 表示 0xFFFFFFF4 表示 0xFFFE4DF4 和数组中最大的数字 198 表示 {{1} }，所以在所有这些中，0x000000C6 是最大的无符号数，它会为您返回。您不应使用 -11 来比较带符号的数字。

,

memcmp 进行的所有内存比较都是无符号的，并且基于 char 大小的数组元素。当您使用不同大小的 signed int 单元格数组提供它时，您的结果只能用于测试二进制表示的相等性，这意味着 0 或不同于 0 的结果意味着相等或不相等，但不同的零结果上的符号意味着比较整数数组的各个字节，将其分解为字节（在机器字节序架构中），使一些字节被签名并比较为无符号和其他人被签名并比较为未签名。此外，整数中不同字节的重要性可能会影响排序顺序，因为字节从低地址到高地址进行比较，只有在整数存储为 {{ 1}} 并且（非常重要）以大端顺序存储在内存中。如果您可能正在使用英特尔架构，那么这与能够使用它的情况正好相反。