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'ов, а под него компилятором выделяется статическая память, куда данная строка копируется.

Ваш ответ

By clicking “Отправить ответ”, you agree to our terms of service and acknowledge you have read our privacy policy.

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