Strcasecmp algoritması hatalı mı?

strcasecmpC fonksiyonu yeniden uygulamaya çalışıyorum ve karşılaştırma sürecinde bir tutarsızlık gibi görünüyor fark ettim.

itibaren man strcmp

Strcmp () işlevi, iki s1 ve s2 dizesini karşılaştırır. Yerel ayar dikkate alınmaz (yerel ayarlara duyarlı bir karşılaştırma için bkz. Strcoll (3)). Eğer s1 sırasıyla, eşleşecek, eşleşecek veya s2'den büyük olacaksa, sıfırdan küçük, ona eşit veya sıfırdan büyük bir tamsayı döndürür.

itibaren man strcasecmp

Strcasecmp () işlevi, karakterlerin durumunu göz ardı ederek s1 ve s2 dizelerinin bayt bayt karşılaştırmasını gerçekleştirir. Eğer s1 sırasıyla, eşleşecek, eşleşecek veya s2'den büyük olacaksa, sıfırdan küçük, ona eşit veya sıfırdan büyük bir tamsayı döndürür.

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

Verilen bu bilgi, aşağıdaki kodun sonucunu anlamıyorum:

#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;
}

Çıkışı:

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

Geçerli karakter s1bir harfse, geçerli karakterin s2bir harf olup olmadığına bakılmaksızın her zaman küçük harfe dönüştürülür .

Birisi bu davranışı açıklayabilir mi? Birinci ve üçüncü satırlar aynı olmamalı mı?

Şimdiden teşekkür ederim!

PS: Manjaro
kullanıyorum gcc 9.2.0.
Ayrıca, ben -fno-builtinbayrağı ile derlemek yerine:

-30
2
2
2

Sanırım bunun nedeni programın gcc'nin optimize edilmiş fonksiyonlarını kullanmaması, ancak soru kalmasıdır.

Davranış doğrudur.

Başına POSIX str\[n\]casecmp()şartname :

Kullanılan LC_CTYPEyerel ayarın kategorisi POSIX yerel ayarından olduğunda, bu işlevler, dizeler küçük harfe dönüştürülmüş gibi davranır ve ardından bir bayt karşılaştırması gerçekleştirilir. Aksi takdirde sonuçlar belirtilmez.

Bu da bir parçası olan NOTLAR Linux kılavuz sayfasının bölümüne :

POSIX.1-2008 standardı şu işlevleri söylüyor:

Kullanılan yerel ayarın LC_CTYPE kategorisi POSIX yerel ayarından olduğunda, bu işlevler, dizeler küçük harfe dönüştürülmüş gibi davranır ve ardından bir bayt karşılaştırması gerçekleştirilir. Aksi takdirde sonuçlar belirtilmez.

Neden?

@HansOlsson'un cevabında belirttiği gibi , sadece harfler arasında büyük / küçük harfe duyarlı olmayan karşılaştırmalar yapmak ve diğer tüm karşılaştırmaların "doğal" sonuçlarının yapıldığı gibi yapılmasına izin strcmp()vermek sıralamayı bozacaktır.

Eğer 'A' == 'a'(küçük harf duyarlı bir karşılaştırma tanım) sonra '_' > 'A've '_' < 'a'(ASCII karakter setinde "doğal" sonuçlar) ikisi de doğru olamaz.

Diğer bağlantılar, http://man7.org/linux/man-pages/man3/strcasecmp.3p.html strcasecmp için küçük harfe dönüştürmenin doğru davranış olduğunu söylüyor (en azından POSIX yerel ayarında).

Bu davranışın nedeni, dizeleri sıralamak için strcasecmp kullanırsanız, makul sonuçlar almanız gerektiğidir.

Aksi takdirde, örneğin qsort kullanarak "A", "C", "_", "b" 'yi sıralamaya çalışırsanız, sonuç karşılaştırma sırasına bağlıdır.

Görünüşe göre, s1'deki geçerli karakter bir harfse, s2'deki geçerli karakterin bir harf olup olmadığına bakılmaksızın her zaman küçük harfe dönüştürülür.

Bu doğru - ve strcasecmp()fonksiyonun yapması gereken bu! Bu, Standardın bir POSIXparçası olmaktan ziyade C, " Açık Grup Tabanı Spesifikasyonları, Sayı 6 " dan bir işlevdir :

POSIX yerel ayarında, strcasecmp () ve strncasecmp (), dizeler küçük harfe dönüştürülmüş gibi davranır ve ardından bir bayt karşılaştırması yapılır. Sonuçlar diğer bölgelerde belirtilmedi.

Bu arada, bu davranış _stricmp()işlev için de geçerlidir (Visual Studio / MSCV'de kullanıldığı gibi):

_Stricmp işlevi, her karakteri küçük harfe dönüştürdükten sonra string1 ve string2'yi sıralı olarak karşılaştırır ve ilişkilerini gösteren bir değer döndürür.

ASCII ondalık kodunu Aolduğu 65için _olduğu 95ve için aise 97bu yüzden, strcmp()bunu yapmak için varsayalım ne yapıyor. Sözlükbilimsel olarak konuşma _o zamandan adaha küçük ve daha büyüktür A.

strcasecmp()kabul edecektir Aolarak a*, ve o zamandan beri adaha büyük _çıkış da doğrudur.

* POSIX.1-2008 standardı bu işlevleri (strcasecmp () ve strncasecmp ()) söylüyor:

Kullanılan yerel ayarın LC_CTYPE kategorisi POSIX yerel ayarından olduğunda, bu işlevler, dizeler küçük harfe dönüştürülmüş gibi davranır ve ardından bir bayt karşılaştırması gerçekleştirilir. Aksi takdirde sonuçlar belirtilmez.

Kaynak: http://man7.org/linux/man-pages/man3/strcasecmp.3.html