Apakah algoritma strcasecmp cacat?

Saya mencoba menerapkan kembali strcasecmp fungsi dalam C dan saya perhatikan apa yang tampak sebagai inkonsistensi dalam proses perbandingan.

Dari man strcmp

Fungsi strcmp () membandingkan dua string s1 dan s2. Lokal tidak diperhitungkan (untuk perbandingan sadar-lokal, lihat strcoll (3)). Ini mengembalikan bilangan bulat kurang dari, sama dengan, atau lebih besar dari nol jika s1 ditemukan, masing-masing, lebih kecil dari, untuk mencocokkan, atau lebih besar dari s2.

Dari man strcasecmp

Fungsi strcasecmp () melakukan perbandingan byte-by-byte dari string s1 dan s2, mengabaikan case dari karakter. Ini mengembalikan bilangan bulat kurang dari, sama dengan, atau lebih besar dari nol jika s1 ditemukan, masing-masing, lebih kecil dari, untuk mencocokkan, atau lebih besar dari s2.

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

Mengingat, informasi ini, saya tidak mengerti hasil dari kode berikut:

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

Ouput:

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

Tampaknya, jika karakter saat s1ini dalam huruf, itu selalu dikonversi menjadi huruf kecil, terlepas dari apakah karakter saat ini dis2 ini dalam huruf atau tidak.

Adakah yang bisa menjelaskan perilaku ini? Bukankah seharusnya baris pertama dan ketiga identik?

Terima kasih sebelumnya!

PS:
Saya gcc 9.2.0pakai di Manjaro.
Juga, ketika saya mengkompilasi dengan -fno-builtinbendera yang saya dapatkan sebagai gantinya:

-30
2
2
2

Saya kira itu karena program tidak menggunakan fungsi gcc yang dioptimalkan, tetapi pertanyaannya tetap.

Perilaku itu benar.

Per spesifikasi POSIXstr\[n\]casecmp() :

Ketika LC_CTYPEkategori lokal yang digunakan adalah dari lokal POSIX, fungsi-fungsi ini akan berperilaku seolah-olah string telah dikonversi menjadi huruf kecil dan kemudian perbandingan byte dilakukan. Kalau tidak, hasilnya tidak ditentukan.

Itu juga bagian dari bagian CATATAN pada halaman manual Linux :

Standar POSIX.1-2008 mengatakan tentang fungsi-fungsi ini:

Ketika kategori LC_CTYPE lokal yang digunakan berasal dari lokal POSIX, fungsi-fungsi ini akan berperilaku seolah-olah string telah dikonversi menjadi huruf kecil dan kemudian dilakukan perbandingan byte. Kalau tidak, hasilnya tidak ditentukan.

Mengapa?

Seperti @HansOlsson tunjukkan dalam jawabannya , melakukan perbandingan case-insensitive antara hanya huruf dan memungkinkan semua perbandingan lainnya memiliki hasil "alami" seperti yang dilakukan padastrcmp() akan memecah penyortiran.

Jika 'A' == 'a'(definisi perbandingan case-insensitive) kemudian '_' > 'A'dan '_' < 'a'(hasil "alami" dalam rangkaian karakter ASCII) tidak bisa keduanya benar.

Tautan lain, http://man7.org/linux/man-pages/man3/strcasecmp.3p.html untuk strcasecmp mengatakan bahwa mengonversi ke huruf kecil adalah perilaku yang benar (setidaknya di lokal POSIX).

Alasan untuk perilaku itu adalah bahwa jika Anda menggunakan strcasecmp untuk mengurutkan array string diperlukan untuk mendapatkan hasil yang masuk akal.

Kalau tidak, jika Anda mencoba mengurutkan "A", "C", "_", "b" menggunakan misalnya, qsort hasilnya akan tergantung pada urutan perbandingan.

Tampaknya, jika karakter saat ini di s1 adalah huruf, itu selalu dikonversi menjadi huruf kecil, terlepas dari apakah karakter saat ini di s2 adalah huruf atau tidak.

Itu benar - dan itulah yang harus dilakukan strcasecmp()fungsi ! Ini adalah fungsi, bukan bagian dari Standar tetapi, dari " Spesifikasi Basis Grup Terbuka, Edisi 6 ":POSIXC

Di lokal POSIX, strcasecmp () dan strncasecmp () akan berperilaku seolah-olah string telah dikonversi menjadi huruf kecil dan kemudian dilakukan perbandingan byte. Hasilnya tidak ditentukan di lokal lain.

Kebetulan, perilaku ini juga berkaitan dengan _stricmp()fungsi (seperti yang digunakan dalam Visual Studio / MSCV):

Fungsi _stricmp secara normal membandingkan string1 dan string2 setelah mengubah setiap karakter menjadi huruf kecil, dan mengembalikan nilai yang menunjukkan hubungan mereka.

ASCII kode desimal untuk Aadalah 65untuk _adalah 95dan untuk aini 97, jadi strcmp()itu melakukan apa itu rasa untuk melakukan. Berbicara leksikografis _lebih kecil adan lebih besar dari A.

strcasecmp()akan dianggap Asebagai a*, dan karena alebih besar dari _output juga benar.

* Standar POSIX.1-2008 mengatakan fungsi-fungsi ini (strcasecmp () dan strncasecmp ()):

Ketika kategori LC_CTYPE lokal yang digunakan berasal dari lokal POSIX, fungsi-fungsi ini akan berperilaku seolah-olah string telah dikonversi menjadi huruf kecil dan kemudian dilakukan perbandingan byte. Kalau tidak, hasilnya tidak ditentukan.

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