Распределение данных по указателям в C

Question

char *p = "abc"; 
char *q = "abc"; 

if (p == q) 
printf ("equal"); 
else 
printf ("not equal"); 

Выход: равное

Это специфично для компилятора или определено где-то в стандартах как ожидаемое поведение.

Answer 1

Компилятору разрешено объединять строковые литералы, но это не обязательно.

От 6.4.5 / 6 Строковые литералы:

Не определено, различаются ли эти массивы при условии, что их элементы имеют соответствующие значения.

Фактически, компилятор может объединить следующий набор литералов:

char* p = "abcdef";
char* q = "def";

такой, что q может указывать «внутри» строки, на которую указывает p (то есть, q == &p[3]).

Answer 2

Речь идет не о каком-то «распределении данных по указателям».Речь идет о том, гарантированно ли каждый экземпляр строкового литерала является отдельным / отличным объектом массива в C. Ответ - нет, они не гарантированно будут разными.Поведение в этом случае зависит от реализации.В вашем примере вы можете получить идентичные указатели или разные указатели.

Answer 3

Если вы сравниваете строки, не следует ли использовать strcmp?

Answer 4

Не полагайтесь на это. Это зависит от omptimization компилятора, чтобы уменьшить размер двоичного файла.