我了解如果您在strcmp（这是一个C问题）中有“cat”（string1）和“dog”（string2），那么strcmp的返回值将小于0（因为“cat”在字典顺序上小于“dog”）。
但是，如果发生以下情况，我不确定strcmp会发生什么：
string1: 'dog'
string2: 'dog2'.
它返回不同八位字节之间的差异。在您的例子中，'\0' < '2'，因此返回了某些负数。
根据C标准，它被定义为第一对不匹配字符之间的差异，但实现方式却各有不同。唯一的共同点是当字符串相等时返回值为零，然后针对 str1<str2 和 str1>str2 分别返回 <0 或 >0。
memcmp、strcmp和strncmp的比较函数的非零返回值的符号由待比较对象中第一对不同的字符（均解释为无符号字符）的值的差异所决定。
但一些实现会返回经典的值，如 0, 1 和 -1。例如苹果的实现 (http://opensource.apple.com//source/Libc/Libc-262/ppc/gen/strcmp.c)：
int
strcmp(const char *s1, const char *s2)
{
for ( ; *s1 == *s2; s1++, s2++)
if (*s1 == '\0')
return 0;
return ((*(unsigned char *)s1 < *(unsigned char *)s2) ? -1 : +1);
}
编辑：
在 Android 的 Donut-release 引导库中 (https://android.googlesource.com/platform/bootable/bootloader/legacy/+/donut-release/libc/strcmp.c)，如果字符串相等，则该函数返回 0，对于其他两种情况则返回 1，并仅使用逻辑运算：
int strcmp(const char *a, const char *b)
{
while(*a && *b) {
if(*a++ != *b++) return 1;
}
if(*a || *b) return 1;
return 0;
}
C11引用
我认为以下引用保证了"dog" < "dog2":
7.23.4比较函数 1 比较函数memcmp、strcmp和strncmp返回的非零值的符号由对象中第一对不同的字符（均解释为unsigned char）的值之差的符号决定。
因此，字符被解释为数字，'\0'保证为0：
然后：
7.23.4.2 strcmp函数 2 strcmp函数将s1指向的字符串与s2指向的字符串进行比较。
显然比较字符串，且：
7.1.1术语定义 1 字符串是以包括第一个空字符在内的连续字符序列结尾的。
表明空字符是字符串的一部分。
最后：
5.2.1字符集 2 [...]基本执行字符集中存在一个所有位都设置为0的字节，称为空字符；它用于终止字符字符串。
因此，'\0'等于零。
由于解释为unsigned char，且所有字符都不同，因此零是可能的最小数字。
来自strcmp的man手册:
如果发现s1（或其前n个字节）分别小于、匹配或大于s2，则strcmp()和strncmp()函数返回一个整数小于、等于或大于零。
这通常类似于@hroptatyr所描述的实现。
如果你想比较两个字符串的初始len个字符，使用strncmp而不是strcmp：
#include <string.h>
size_t len = 3;
int res = strncmp("dog", "dog2", len);
在这种情况下，res将为0。
sizeof(int)这样依赖于实现的内容？它仍然是一致的，因为它按照正式的C标准规定工作。字符串及其行为在各个平台和实现之间是一致的，但我会承认字符编码可能会有所不同，但是字符串和字符和字符串函数的行为仍然是一致的。 - Some programmer dude