Сравнение массивов символов с оператором == в C

Question

Я знаю, что правильный способ сравнения «строк» ​​в C заключается в использовании strcmp, но теперь я попытался сравнить некоторые массивы символов с оператороми получил некоторые странные результаты.

Взгляните на следующий код:

int main() 
{ 
    char *s1 = "Andreas"; 
    char *s2 = "Andreas"; 

    char s3[] = "Andreas"; 
    char s4[] = "Andreas"; 

    char *s5 = "Hello"; 

    printf("%d\n", s1 == s2); //1 
    printf("%d\n", s3 == s4); //0 
    printf("%d\n", s1 == s5); //0 
} 

Первый printf правильно печатает 1, который сигнализирует о том, что они не равны. Но может кто-нибудь объяснить мне, почему, сравнивая массивы символов, == возвращает 0?

Может кто-то пожалуйста, объясни мне, почему первый printf возвращается 1 (т.е. они равны), а массивы символов возвращают 0?

Answer 1

The == сравнивает адрес памяти.
Вероятно, ваш компилятор делает s1 и s2 равными статическим данным для экономии места.

ie. «Андреас» в первых двух строках кода хранится в ваших исполняемых данных. В стандарте C говорится, что эти строки являются постоянными и, таким образом, оптомизировали два указателя на одно и то же хранилище.

Строки char [] создают переменную путем копирования данных в переменную и поэтому сохраняются на разных адресах в стеке во время выполнения.

Answer 2

Uh ... когда == печатает a 1, это означает, что они являются равными. Он отличается от strcmp, который возвращает относительный порядок строк.

Answer 3

Wait a sec ... 1 означает true, 0 означает false. Поэтому ваше объяснение частично обратное. Что касается того, почему первые две строки кажутся равными: компилятор построил эту константную строку (s1/2) только один раз.

Answer 4

Вы не можете сравнивать строки, но можете сравнить указатели.

Answer 5

Вы сравниваете адреса, а не строки. Первые два являются постоянными и будут создаваться только один раз.

int main() 
{ 
    char *s1 = "Andreas"; 
    char *s2 = "Andreas"; 

    char s3[] = "Andreas"; 
    char s4[] = "Andreas"; 

    char *s5 = "Hello"; 

    printf("%d\n", s1 == s2); //1 
    printf("%p == %p\n", s1, s2); 
    printf("%d\n", s3 == s4); //0 
    printf("%p != %p\n", s3, s4); 
    printf("%d\n", s1 == s5); //0 
    printf("%p != %p\n", s1, s5); 
} 

Выход на моем компьютере, но вы получите идею:

1 
0x1fd8 == 0x1fd8 
0 
0xbffff8fc != 0xbffff8f4 
0 
0x1fd8 != 0x1fe0 

Answer 6

s1 == s2 означает "(char*) == (char*)" или что адреса совпадают.

То же самое для s3 == s4. Это «arrays decay into pointers» на работе.

И у вас есть смысл результата неправильно сравнения:

0 == 0; /* true; 1 */ 
42 == 0; /* false; 0 */ 
"foo" == "bar"; /* false (the addresses are different); 0 */ 

Answer 7

Все значения из s1 через s5 не голец сами, они указатели кголец. Итак, вы сравниваете адреса памяти каждой строки, а не сами строки.

Если отобразить адреса, таким образом, вы можете увидеть, что операторы сравнения фактически работают на:

#include <stdio.h> 

int main() { 
    char *s1 = "Andreas"; 
    char *s2 = "Andreas"; 

    char s3[] = "Andreas"; 
    char s4[] = "Andreas"; 

    char *s5 = "Hello"; 

    printf("%p\n", s1); // 0x80484d0 
    printf("%p\n", s2); // 0x80484d0 
    printf("%p\n", s3); // 0xbfef9280 
    printf("%p\n", s4); // 0xbfef9278 
    printf("%p\n", s5); // 0x80484d8 
} 

Ровно, где строки выделены в памяти зависит от конкретной реализации. В этом случае s1 и s2 указывают на один и тот же блок статической памяти, но я не ожидал бы, что это поведение будет переносимым.