Объедините два строковых литерала

Я читаю Accelerated C ++ от Koenig. Он пишет, что «новая идея состоит в том, что мы можем использовать + для объединения строки и строкового литерала - или, если на то пошло, двух строк (но не двух строковых литералов).

Хорошо, я полагаю, это имеет смысл. Теперь о двух отдельных упражнениях, призванных прояснить это.

Верны ли следующие определения?

const string hello = "Hello";

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

Теперь я попытался выполнить описанное выше, и это сработало! Так что я был счастлив.

Затем я попытался сделать следующее упражнение;

const string exclam = "!";

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

Это не сработало. Теперь я понимаю, что это как-то связано с тем фактом, что вы не можете объединить два строковых литерала, но я не понимаю семантической разницы между тем, почему мне удалось заставить работать первый пример (это не «, world» и «! «два строковых литерала? Разве это не должно было работать?), но не второй.

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

+Оператор слева на правую ассоциативность, так что эквивалентно в скобках выражение:

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

Как видите, сначала «добавляются» два строковых литерала "Hello"и ",world", отсюда и ошибка.

Одна из первых двух конкатенируемых строк должна быть std::stringобъектом:

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

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

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

Имеет смысл, что ваш первый пример ( hello + ",world" + "!") работает, потому что std::string( hello) является одним из аргументов слева +. Это +оценивается, результатом является std::stringобъект с объединенной строкой, и этот результат std::stringзатем объединяется с "!".

Что касается того, почему вы не можете объединить два строковых литерала, используя +, это потому, что строковый литерал является просто массивом символов ( const char [N]где N- длина строки плюс один для нулевого терминатора). Когда вы используете массив в большинстве случаев, он преобразуется в указатель на его начальный элемент.

Итак, когда вы пытаетесь сделать "Hello" + ",world", то на самом деле вы пытаетесь сложить два const char*вместе, что невозможно (что бы значило сложить два указателя вместе?), И если бы это было так, то не получилось бы того, что вы хотел это сделать.

Обратите внимание, что вы можете объединить строковые литералы, поместив их рядом друг с другом; например, следующие два эквивалентны:

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

Это полезно, если у вас есть длинный строковый литерал, который вы хотите разбить на несколько строк. Однако они должны быть строковыми литералами: это не будет работать с const char*указателями или const char[N]массивами.

Всегда следует обращать внимание на типы .

Хотя все они кажутся строками, "Hello"а ",world"являются литералами .

А в вашем примере exclamэто std::stringобъект.

В C ++ есть перегрузка оператора, которая берет std::stringобъект и добавляет к нему другую строку. Когда вы объединяете std::stringобъект с литералом, он выполняет соответствующее приведение для литерала.

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

Ваш второй пример не работает, потому что нет operator +двух строковых литералов. Обратите внимание, что строковый литерал имеет не тип string, а тип const char *. Ваш второй пример будет работать, если вы измените его следующим образом:

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

Начиная с C ++ 14 вы можете использовать два реальных строковых литерала :

const string hello = "Hello"s;

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

или

const string exclam = "!"s;

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

В случае 1 из-за порядка операций вы получаете:

(привет + ", мир") + "!" который преобразуется в hello + "!" и, наконец, привет

В случае 2, как заметил Джеймс, вы получите:

("Привет" + ", мир") + восклицательный знак, который является объединением двух строковых литералов.

Надеюсь, все понятно :)

Разница между строкой (точнее, std::string) и символьным литералом заключается в том, что для последнего не +определен оператор. Вот почему второй пример терпит неудачу.

В первом случае компилятор может найти подходящий вариант operator+с первым аргументом, являющимся a, stringа вторым - символьным литералом ( const char*), поэтому он использовал это. Результатом этой операции снова будет a string, поэтому он повторяет тот же трюк при добавлении "!"к нему.