strcasecmp算法有缺陷吗？

我试图strcasecmp在C中重新实现该功能，并且发现比较过程中似乎存在不一致之处。

从 man strcmp

strcmp（）函数比较两个字符串s1和s2。不考虑语言环境（有关语言环境的比较，请参阅strcoll（3））。如果分别找到s1小于，匹配或大于s2，则它返回小于，等于或大于零的整数。

从 man strcasecmp

strcasecmp（）函数对字符串s1和s2进行逐字节比较，而忽略字符的大小写。如果分别找到s1小于，匹配或大于s2，则它返回小于，等于或大于零的整数。

int strcmp(const char *s1, const char *s2);
int strcasecmp(const char *s1, const char *s2);

鉴于此信息，我不理解以下代码的结果：

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

int main()
{
    // ASCII values
    // 'A' = 65
    // '_' = 95
    // 'a' = 97

    printf("%i\n", strcmp("A", "_"));
    printf("%i\n", strcmp("a", "_"));
    printf("%i\n", strcasecmp("A", "_"));
    printf("%i\n", strcasecmp("a", "_"));
    return 0;
}

输出：

-1  # "A" is less than "_"
1   # "a" is more than "_"
2   # "A" is more than "_" with strcasecmp ???
2   # "a" is more than "_" with strcasecmp

看起来，如果in中的当前字符s1是字母，则无论in中当前的字符是否是字母，它总是会转换为小写s2字母。

有人可以解释这种行为吗？第一和第三行不应该相同吗？

先感谢您！

PS：
我gcc 9.2.0在Manjaro上使用。
另外，当我用-fno-builtin标志编译时，我得到的是：

-30
2
2
2

我猜这是因为程序没有使用gcc的优化功能，但是问题仍然存在。

行为是正确的。

根据POSIX str\[n\]casecmp()规范：

当LC_CTYPE使用的语言环境的类别来自POSIX语言环境时，这些功能的行为应类似于将字符串转换为小写字母，然后执行字节比较。否则，结果不确定。

这也是Linux手册页的NOTES部分的一部分：

POSIX.1-2008标准说明了以下功能：

当使用的语言环境的LC_CTYPE类别来自POSIX语言环境时，这些函数的行为应类似于将字符串转换为小写字母，然后执行字节比较。否则，结果不确定。

为什么？

正如@HansOlsson在他的回答中指出的那样，仅对字母进行不区分大小写的比较，并允许所有其他比较具有“自然”结果，这strcmp()会破坏排序。

如果'A' == 'a'（区分大小写的比较的定义）then '_' > 'A'和'_' < 'a'（ASCII字符集中的“自然”结果）不能同时为true。

其他链接（ 用于strcasecmp的http://man7.org/linux/man-pages/man3/strcasecmp.3p.html）表示转换为小写是正确的行为（至少在POSIX语言环境中）。

出现这种情况的原因是，如果使用strcasecmp对字符串数组进行排序，则需要获取合理的结果。

否则，如果您尝试使用例如qsort对“ A”，“ C”，“ _”，“ b”进行排序，则结果将取决于比较的顺序。

看起来，如果s1中的当前字符是字母，则无论s2中的当前字符是否是字母，它总是会转换为小写字母。

没错- strcasecmp()函数应该执行的操作！它是POSIX功能而不是C标准的一部分，但是来自“ 开放团体基础规范，第6期 ”：

在POSIX语言环境中，strcasecmp（）和strncasecmp（）的行为应类似于将字符串转换为小写字母，然后执行字节比较。在其他语言环境中未指定结果。

顺便说一句，此行为也与_stricmp()功能有关（如在Visual Studio / MSCV中使用的）：

_stricmp函数通常在将每个字符转换为小写字母之后比较string1和string2，并返回一个表示它们之间关系的值。

对于ASCII十进制码A是65对_是95和a是97，所以strcmp()它做什么，这是该做的。从词典上来讲_，小于a和大于A。

strcasecmp()将A被视为a*，并且由于a大于_输出也是正确的。

* POSIX.1-2008标准说明了以下函数（strcasecmp（）和strncasecmp（））：

当使用的语言环境的LC_CTYPE类别来自POSIX语言环境时，这些函数的行为应类似于将字符串转换为小写字母，然后执行字节比较。否则，结果不确定。

来源：http：//man7.org/linux/man-pages/man3/strcasecmp.3.html