Połącz dwa literały ciągów

Czytam Accelerated C ++ autorstwa Koeniga. Pisze, że „nowy pomysł polega na tym, że możemy użyć + do połączenia łańcucha i literału ciągu - lub, w tym przypadku, dwóch łańcuchów (ale nie dwóch literałów łańcuchowych).

W porządku, to chyba ma sens. Teraz przejdźmy do dwóch oddzielnych ćwiczeń, które mają to wyjaśnić.

Czy poniższe definicje są prawidłowe?

const string hello = "Hello";

const string message = hello + ",world" + "!";

Teraz próbowałem wykonać powyższe i zadziałało! Więc byłem szczęśliwy.

Potem spróbowałem wykonać następne ćwiczenie;

const string exclam = "!";

const string message = "Hello" + ",world" + exclam;

To nie zadziałało. Teraz rozumiem, że ma to coś wspólnego z faktem, że nie można łączyć dwóch literałów ciągów, ale nie rozumiem semantycznej różnicy między tym, dlaczego udało mi się uruchomić pierwszy przykład (to nie jest „, world” i „! „dwa literały łańcuchowe? Czy to nie powinno działać?), ale nie drugi.

const string message = "Hello" + ",world" + exclam;

+Operator lewej do prawej asocjatywnego, więc równoważne nawiasach jest wyrażenie:

const string message = (("Hello" + ",world") + exclam);

Jak widać, dwa literały łańcuchowe "Hello"i ",world"są „dodawane” jako pierwsze, stąd błąd.

Jeden z pierwszych dwóch łączonych ciągów musi być std::stringobiektem:

const string message = string("Hello") + ",world" + exclam;

Alternatywnie możesz wymusić, aby druga +była oceniana jako pierwsza, umieszczając w nawiasach tę część wyrażenia:

const string message = "Hello" + (",world" + exclam);

Ma sens, że pierwszy przykład ( hello + ",world" + "!") działa, ponieważ std::string( hello) jest jednym z argumentów po lewej stronie +. To +jest oceniane, wynik jest std::stringobiektem z połączonym ciągiem, a ten wynik std::stringjest następnie łączony z "!".

Jeśli chodzi o to, dlaczego nie można łączyć dwóch literałów łańcuchowych przy użyciu +, dzieje się tak , ponieważ literał ciągu to po prostu tablica znaków ( const char [N]gdzie gdzie Njest długością łańcucha plus jeden dla terminatora null). Kiedy używasz tablicy w większości kontekstów, jest ona konwertowana na wskaźnik do jej elementu początkowego.

Tak więc, kiedy próbujesz zrobić "Hello" + ",world", to, co naprawdę próbujesz zrobić, to dodać dwa const char*s do siebie, co nie jest możliwe (co oznaczałoby dodanie dwóch wskaźników razem?) I gdyby tak było, nie zrobiłoby tego, co chciałem to zrobić.

Zauważ, że możesz łączyć literały łańcuchowe, umieszczając je obok siebie; na przykład następujące dwa są równoważne:

"Hello" ",world"
"Hello,world"

Jest to przydatne, jeśli masz długi literał ciągu, który chcesz podzielić na wiele wierszy. Muszą to być jednak literały łańcuchowe: to nie zadziała w przypadku const char*wskaźników ani const char[N]tablic.

Zawsze powinieneś zwracać uwagę na typy .

Chociaż wszystkie wyglądają jak łańcuchy "Hello"i ",world"są dosłowne .

W twoim przykładzie exclamjest to std::stringprzedmiot.

C ++ ma przeciążenie operatora, które pobiera std::stringobiekt i dodaje do niego kolejny ciąg. Kiedy łączysz std::stringobiekt z literałem, spowoduje to odpowiednie rzutowanie literału.

Ale jeśli spróbujesz połączyć dwa literały, kompilator nie będzie w stanie znaleźć operatora, który pobiera dwa literały.

Twój drugi przykład nie działa, ponieważ nie ma operator +dwóch literałów ciągu. Zauważ, że literał ciągu nie jest typu string, ale zamiast tego jest typu const char *. Twój drugi przykład zadziała, jeśli poprawisz go w ten sposób:

const string message = string("Hello") + ",world" + exclam;

Od C ++ 14 możesz używać dwóch prawdziwych literałów łańcuchowych :

const string hello = "Hello"s;

const string message = hello + ",world"s + "!"s;

lub

const string exclam = "!"s;

const string message = "Hello"s + ",world"s + exclam;

W przypadku 1, ze względu na kolejność operacji otrzymujesz:

(witaj + ", świat") + "!" co zamienia się w hello + „!” i na koniec witam

W przypadku 2, jak zauważył James, otrzymasz:

("Hello" + ", world") + exclam, czyli konkatacja 2 literałów łańcuchowych.

Mam nadzieję, że to jasne :)

Różnica między łańcuchem znaków (a ściślej mówiąc std::string) a literałem znakowym polega na tym, że dla tego drugiego nie ma +zdefiniowanego operatora. Dlatego drugi przykład zawodzi.

W pierwszym przypadku kompilator może znaleźć odpowiedni operator+z pierwszym argumentem a, stringa drugim literałem znakowym ( const char*), więc użył tego. Wynikiem tej operacji jest znowu a string, więc powtarza tę samą sztuczkę podczas dodawania "!"do niego.