4

Почему в следующем коде

int main(int argc, char* argv[])
{
    char* a = (char*)"string";
    char* b = (char*)"string";

    if (a == b) std::cout << "Hello world";
    return 0;
}

При сравнении мы получаем положительный результат? По идеи, мы сравниваем указатели, разве не так?

Но если объявить массив, то все должно правильно работать

int main(int argc, char* argv[])
{
    char a[] = "string";
    char b[] = "string";

    if (a == b) std::cout << "Hello world";
    return 0;
}

Тут уже не выведет сообщение. Почему так выходит?

1
  • Строковые литералы могут перекрываться в памяти. Такое сравнение "Hello world" + 6 == "world" запросто может вернуть как true, так и false. Точный результат такого сравнения не специфицируется. См.: lex.string/9.
    – wololo
    19 сен 2022 в 14:00

3 ответа 3

4

Возьмем, например, Visual C++ 2019 и скомпилируем первый код

test.cpp

#include <iostream>
int main()
{
    char* a = (char*)"string";
    char* b = (char*)"string";
    if (a == b) std::cout << "Hello world";
}

следующим образом:

cl /EHsc test.cpp 

Результат — никакого вывода на экран... Добавим ключик /GF:

cl /EHsc /GF test.cpp 

и получим приветствие. И первое, и второе поведение вполне допустимы, потому что стандарт ничего не говорит о том, где именно хранятся строковые литералы. Даже не надо все эти переменные и приведения, достаточно кода

std::cout << ("a" == "a");

Так что в определенном смысле вопрос основан на неверной посылке... По сути, основываясь на представлении о равенстве/неравенстве указателей двух строковых литералов мы получаем в некотором смысле неопределенное поведение (не говоря уж об UB, вызванном приведением строкового литерала к типу char*).

А вот во втором случае дела обстоят совсем иначе, потому что здесь

char a[] = "string";
char b[] = "string";

имеются два разных массива в памяти, а строка — не более чем инициализатор... Изменяя содержимое a, вы никак не меняете тем самым содержимое b. Так что и адреса их различны.

5
  • Поздравляю с +200К репы!
    – avp
    19 сен 2022 в 16:06
  • 1
    Здесь нет UB: ни в сравнении указателей (это unspecified поведение) ни в касте (плох не каст, а изменение литерала с его помощью). 19 сен 2022 в 17:20
  • @HolyBlackCat Соглашусь не глядя — я эту разницу между UB и UB не очень четко чувствую. Главное - стараться избегать и того, и другого... :)
    – Harry
    19 сен 2022 в 17:59
  • Undefined - это то, чего нельзя делать, потому что эффект может быть непредсказуемый и плохой. А для unspecified (всегда?) обозначены варианты того, что может произойти. Т.е. "a" == "a" вернет либо true, либо false, и не будет никаких странных крашей и странных оптимизаций компилятора. Есть еще третий термин, implementation-defined behavior - это как unspecified, но дополнительно компилятор обязан задокументировать свое поведение. 19 сен 2022 в 20:08
  • 1
    @HolyBlackCat Это по последствиям. А вот по причинам... есть какие-то темные углы, которые никак не даются для ясного и четкого понимания во всех тонкостях. Никак не удается справиться со strict aliasing, выравниванием и запомнить все причины UB :) Впрочем, с UB полегче, тут все же есть какое-то логическое обоснование...
    – Harry
    20 сен 2022 в 4:07
4

Строковые литералы с одинаковым текстом могут иметь одинаковые адреса, а могут и не иметь - это зависит от компилятора.

[lex.string]/9

Whether all string-literals are distinct (that is, are stored in nonoverlapping objects) and whether successive evaluations of a string-literal yield the same or a different object is unspecified.

А во втором примере вы сравниваете не литералы, а обычные массивы, созданные из них. На них (как и на остальные объекты) это исключение не действует, и они обязаны иметь разные адреса.

1

Потому что в первом примере вы присваиваете так называемый строковый литерал "string" в указатель, причём два раза в разные указатели. У вас два указателя ссылаются на один и тот же литерал. Во втором примере вы создаёте массив из char'ов, а под него компилятором выделяется статическая память, куда данная строка копируется.

Ваш ответ

Нажимая на кнопку «Отправить ответ», вы соглашаетесь с нашими пользовательским соглашением, политикой конфиденциальности и политикой о куки

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.