关于C#：什么时候strcmp不会返回-1,0或1？

When will strcmp not return -1, 0 or 1?

从手册页：

The strcmp() and strncmp() functions return an integer less than, equal
to, or greater than zero if s1 (or the first n bytes thereof) is found,
respectively, to be less than, to match, or be greater than s2.

C中的示例代码(在我的机器上打印-15，交换test1和test2反转该值)：

1
2
3
4
5
6
7
8
9

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

int main() {
char* test1 ="hello";
char* test2 ="world";
printf("%d
", strcmp(test1, test2));
}

~~我发现这个代码(取自这个问题)依赖于strcmp的值不是-1,0和1(它使用qsort中的返回值)。对我来说，这是一种糟糕的风格，取决于无证的特征。~~

我想我有两个相关的问题：

C标准中是否有某些内容定义了返回值除了小于，大于或等于零之外的值？如果没有，标准实现有什么作用？

整个Linux，Windows和BSD的返回值是否一致？

编辑：

离开我的电脑5分钟后，我意识到问题代码实际上没有错误。在阅读评论/答案之前，我找出了我想出的部分，但是我把它留在那里以保持评论的相关性。我认为这仍然是一个有趣的问题，可能会导致习惯于其他语言的程序员总是返回-1,0或1(例如Python似乎这样做，但是没有记录这种方式)。

FWIW，我认为依赖记录行为以外的其他东西是不好的风格。

相关讨论

你误解了Bentley的代码 - 除了它的符号之外，什么都没有假设strcmp的返回值。

"我发现这个代码依赖于strcmp的值，而不是-1,0和1。"我不知道该代码如何依赖于strcmp的返回值。相反，代码不依赖于任何特定的返回值，这实际上是非常好的样式。那么，你究竟是什么意思？

qsort()比较器的要求是它返回"小于，等于或大于零的整数"，这正是strcmp()所做的。没有任何滥用行为。

您看到的-15是从ASCII字符104(h)中减去ASCII字符119(w)的结果。所以104 - 119 = -15。我怀疑如果你将test1更改为jello，你将获得-16的结果，依此类推。你引用的手册页特别说"少于";它没有说"-1"。 IOW，小于零的值将是除零之外的任何负数，并且大于零的值将是除零之外的任何正数。

@larsmans - 是的，在发布后大约5分钟就抓到了...早上肯定是一些不好的啦啦队...我觉得这样的菜鸟......

Is there something in the C standard that defines what the return values are besides less than, greater than, or equal to zero?

不会。最严格的限制是它应该为零，小于零或大于零，如此特定功能的文档中所指定的那样。

If not, what does the standard implementation do?

没有"标准实施"这样的东西。即使有，也可能只是

1
return zero, less than zero or more than zero;

:-)

Is the return value consistent across the Linux, Windows and the BSDs?

从10.7.4开始，我可以确认它在Linux和OS X中是一致的(具体来说，它是-1,0或+1)。我不知道Windows，但我打赌微软的人使用-2和+3只是为了打破代码：P

另外，我还要指出，你完全误解了代码的作用。

I found this code (taken from this question) that relies on the values of strcmp being something other than -1, 0 and 1 (it uses the return value in qsort). To me, this is terrible style and depends on undocumented features.

不，它实际上没有。 C标准库在设计时考虑了一致性和易用性。也就是说，qsort()要求的是它的比较器函数返回一个负数或正数或零 - 正是strcmp()保证要做的。所以这不是"糟糕的风格"，它是完全符合标准的代码，不依赖于未记录的功能。

相关讨论

谢谢你修好了我的英语@larsmans。对不起，我不是母语人士。

如果有人依赖strcmp返回-2或+3，则他/她的代码应该被破坏。 ;-)

@netcoder当然他做了:-)

@ H2CO3：我也不是:)欢迎你，+1。

@larsmans谢谢:)

这个答案很好，但@ Omkant的答案回答了这两个部分。 +1无论如何，因为这个答案很清楚地解释了我的错误。

?Is there something in the C standard that defines what the return values are besides less than, greater than, or equal to zero? If not, what does the standard implementation do?

不，正如你自己提到的那样，男人说less than, equal to, or greater than zero，那也是标准。

?Is the return value consistent across the Linux, Windows and the BSDs?

没有。

在带有gcc的linux(openSuse 12.1，内核3.1)上，我得到-15 / 15，具体取决于test1或test2是否为第一个。在Windows 7(VS 2010)上，我得到-1 / 1。

基于strcmp()的松散定义，两者都很好。

...that relies on the values of strcmp being something other than -1, 0 and 1 (it uses the return value in qsort).

一个有趣的方面不适合你......如果你看一下qsort()这个例子，那么你使用strcmp()发布的铃声代码几乎相同，原因是qsort()需要的比较器功能实际上非常适合从strcmp()返回：

The comparison function must return an integer less than, equal to, or
greater than zero if the first argument is considered to be
respectively less than, equal to, or greater than the second.

相关讨论

有趣的是，我猜想大多数(如果不是全部的话)unices会返回角色之间的差异。有趣的是，Windows没有。

@tjameson - 是的，他们实际上在Windows的strcmp的.asm文件中列出它将如何工作：; The instructions below should place -1 in eax if src < dst, ; and 1 in eax if src > dst.不知道为什么他们选择这样做而不是只返回减去的值

在c99标准

1
7.21.4.2 The strcmp function

"strcmp函数返回一个整数greater than, equal to, or less than zero，
因此，s1指向的字符串大于，等于或小于s2指向的字符串。"

这意味着标准不保证-1，0或1可能因操作系统而异。

您获得的值是w和h之差15。

在你的情况下hello和world所以'h'-'w' = -15 < 0和that's why strcmp retuns -15

相关讨论

这在技术上回答了我的问题。我对系统间的行为仍然感兴趣，但这并不重要。

在此页面中：

The strcmp() function compares the string pointed to by s1 to the string pointed to by s2.
The sign of a non-zero return value is determined by the sign of the difference between the values of the first pair of bytes (both interpreted as type unsigned char) that differ in the strings being compared.

这是FreeBSD中strcmp的一个实现。

1
2
3
4
5
6
7
8
9
10
11
12
13
14
#include <string.h>

/*
* Compare strings.
*/
int
strcmp(s1, s2)
register const char *s1, *s2;
{
while (*s1 == *s2++)
if (*s1++ == 0)
return (0);
return (*(const unsigned char *)s1 - *(const unsigned char *)(s2 - 1));
}

相关讨论

这看起来像我看到的行为，可能与默认的Linux实现相同。

实际上，strcmp的返回值可能是第一个位置的字节值之间的差异，这仅仅是因为返回这个差异比执行额外的条件分支将其转换为 - 更有效率 - 不幸的是，已知一些破碎的软件假设结果符合8位，导致严重的漏洞。简而言之，除了结果的标志外，你不应该使用任何东西。

有关这些问题的详细信息，请阅读我上面链接的文章：

https://communities.coverity.com/blogs/security/2012/07/19/more-defects-like-the-mysql-memcmp-vulnerability

C标准中没有任何内容可以讨论strcmp()返回的值(即除了该值的符号之外)：

7.21.4.2 The strcmp function

Synopsis

1
2
#include <string.h>
int strcmp(const char *s1, const char *s2);

Description

The strcmp function compares the string pointed to by s1
to the string pointed to by s2.

Returns

The strcmp function returns an integer greater than, equal
to, or less than zero, accordingly as the string pointed to by s1 is
greater than, equal to, or less than the string pointed to by s2.

因此很明显，使用除返回值的符号之外的任何东西都是不好的做法。

从手册页：

RETURN VALUE
The strcmp() and strncmp() functions return an integer less than, equal to, or greater than zero if s1 (or the first n bytes
thereof) is found, respectively, to
be less than, to match, or be greater than s2.

它只指定它大于或小于0，没有说明具体值，这些是我认为的具体实现。

CONFORMING TO
SVr4, 4.3BSD, C89, C99.
This says in which standards it is included. The function must exist and behave as specified, but the specification doesn't say anything about the actual returned values, so you can't rely on them.