为什么 memcmp() 返回 256 的差值为 1？ [复制]

Question

所以我必须使用 C 重新创建 memcmp() 函数，并且我的函数按预期工作。它返回两个字符串中不匹配的第一个字符的差异。

我的功能：

int ft_memcmp(const void *s1, const void *s2, size_t n)
{
    unsigned char   *ptr1;
    unsigned char   *ptr2;

    ptr1 = (unsigned char *)s1;
    ptr2 = (unsigned char *)s2;
    while (n && (*ptr1 == *ptr2))
    {
        ptr1++;
        ptr2++;
        n--;
    }
    if (n == 0)
        return (0);
    else
        return (*ptr1 - *ptr2);
}

我的主要：

int main(void)
{
    const char  *s1 = "acc";
    const char  *s2 = "abc";
    int         res;

    res = memcmp(s1, s2, 3); 
    printf("%i\n", res);

    return (0);
}

所以这个main会返回256，但是如果你使用我的函数（ft_memcmp）你得到1。显然区别是1而不是256，但是为什么原来的函数返回256？差为 2，我得到 512...

Answer 1

为什么 memcmp() 为 1 的差返回 256？

首先，正如@where_is_tftp 的回答，memcmp() 唯一需要返回的是0，比较时一些正数和一些负数.

256 而不是 1 - 肯定是因为优化。

一个好的memcmp() 尽可能利用比char 更宽的类型进行比较。

示例：在考虑对齐和总长度后，第一次比较（使用 32 位 unsigned）发现差异不是在 1 的位置（位 0），而是在 256 的位置（位 8）。由于返回 256 与 1 一样有效，因此无需简化。请记住，memcmp() 是特定于平台的，它的实现可以做 C 代码不能做的事情——比如安全地访问数组之外​​。其他细节在此省略。

    byte 3         2        1        0
    don't care    'c'      'c'      'a'
  - don't care    'c'      'b'      'a'
    -----------------------------------
  = don't care     0        1        0
  &    0          0xFF     0xFF     0xFF
    -----------------------------------
  =    0           0        1        0   --> 256

Answer 2

我在 memcmp 的符号旁边找不到关于非零返回值的确切值的声明（在手册页或 Open Group 页面上）：

非零返回值的符号应由 第一对字节的值之间的差异（两者 解释为类型 unsigned char) 的对象不同 比较。

返回值

memcmp() 函数应返回一个大于的整数，等于， 或小于0，如果s1指向的对象大于，等于 分别小于或等于 s2 所指向的对象。

这里没有说是字符之间的小数差异。