Строковый литерал

[править] Синтаксис

[править] Объяснение

В типах, перечисленных в таблице выше, N это количество кодированных кодовых единиц, которое определяется ниже.

Обычные и UTF-8 (начиная с C++11) строковые литералы вместе называются узкими строковыми литералами.

Результатом вычисления строкового литерала является объект строкового литерала со статической длительностью хранения. Сохраняются ли все строковые литералы в непересекающихся объектах и дают ли последовательные вычисления строкового литерала тот же или другой объект, не указано.

Эффект от попытки изменить объект строкового литерала не определён.

bool b = "bar" == 3 + "foobar"; // может быть true или false, не указано
 
const char* pc = "Привет";
char* p = const_cast<char*>(pc);
p[0] = 'M'; // неопределённое поведение

// OK: содержит одну обратную косую черту,
// эквивалентно "\\"
R"(\)";
 
// OK: содержит четыре пары \n,
// эквивалентно "\\n\\n\\n\\n"
R"(\n\n\n\n)";
 
// OK: содержит одну закрывающую скобку, две двойные кавычки
// и одну открывающую скобку,
// эквивалентно ")\"\"("
R"-()""()-";
 
// OK: эквивалентно "\n)\\\na\"\"\n"
R"a(
)\
a""
)a";
 
// OK: эквивалентно "x = \"\"\\y\"\""
R"(x = ""\y"")";
 
// R"<<(-_-)>>"; // Ошибка: начальный и конечный разделители не совпадают
// R"-()-"-()-"; // Ошибка: )-" появляется посередине и завершает литерал

[править] Инициализация

Объекты строковых литералов инициализируются последовательностью значений кодовых единиц, соответствующей последовательности строковых литералов s-символов  и r-символов  (начиная с C++11) плюс завершающий нулевой символ (U+0000) в следующем порядке:

[править] Конкатенация

Строковые литералы, расположенные рядом, объединяются на фазе трансляции 6 (после препроцессора). То есть "Привет,"  " мир!" возвращает (одну) строку "Привет, мир!". Если две строки имеют одинаковый префикс кодировки (или ни одна из них не имеет его), результирующая строка будет иметь тотже префикс кодировки (или не будет иметь префикса).

L"Δx = %" PRId16 // в фазе 4, PRId16 расширяется до "d"
                 // в фазе 6, L"Δx = %" и "d" образуют L"Δx = %d"

[править] Неоценённые ст��оки

Следующие контексты ожидают строковый литерал, но не оценивают его:

• спецификация языкового связывания
• static_assert (начиная с C++11)
• имя литерального оператора (начиная с C++11)
• [[deprecated]] (начиная с C++14)
• [[nodiscard]] (начиная с C++20)

[править] Примечание

Строковые литералы можно использовать для инициализации массивов символов. Если массив инициализируется как char str[] = "foo";, str будет содержать копию строки "foo".

Строковый литерал не обязательно является последовательностью символов, завершающейся нулём: если строковый литерал содержит встроенные нулевые символы, он представляет собой массив, содержащий более одной строки.

const char* p = "abc\0def"; // std::strlen(p) == 3, но массив имеет размер 8

Если за шестнадцатеричной управляющей последовательностью в строковом литерале следует допустимая шестнадцатеричная цифра, она не сможет скомпилироваться как допустимая управляющая последовательность. В качестве обходного пути можно использовать конкатенацию строк:

//const char* p = "\xfff"; // ошибка: шестнадцатеричная управляющая последовательность
                           // вне диапазона
const char* p = "\xff""f"; // OK: литерал это const char[3], содержащий {'\xff','f','\0'}

[править] Пример

#include <iostream>
 
char array1[] = "Foo" "bar";
// то же, что и
char array2[] = { 'F', 'o', 'o', 'b', 'a', 'r', '\0' };
 
const char* s1 = R"foo(
Привет
  Мир
)foo";
// то же, что и
const char* s2 = "\nПривет\n  Мир\n";
// то же, что и
const char* s3 = "\n"
                 "Привет\n"
                 "  Мир\n";
 
const wchar_t* s4 = L"ABC" L"DEF"; // ok, то же, что и
const wchar_t* s5 = L"ABCDEF";
const char32_t* s6 = U"GHI" "JKL"; // ok, то же, что и
const char32_t* s7 = U"GHIJKL";
const char16_t* s9 = "MN" u"OP" "QR"; // ok, то же, что и
const char16_t* sA = u"MNOPQR";
 
// const auto* sB = u"Смешанные" U"Типы";
        // пере�� C++23 может поддерживаться или не поддерживаться
        // реализацией; ошибка начиная с C++23
 
const wchar_t* sC = LR"--(STUV)--"; // ok, сырой строковый литерал
 
int main()
{
    std::cout << array1 << ' ' << array2 << '\n'
              << s1 << s2 << s3 << std::endl;
    std::wcout << s4 << ' ' << s5 << ' ' << sC
               << std::endl;
}

Foobar Foobar
 
Привет
  Мир
 
Привет
  Мир
 
Привет
  Мир
 
ABCDEF ABCDEF STUV

[править] Отчёты о дефектах

Следующие изменения поведения были применены с обратной силой к ранее опубликованным стандартам C++:

1. ↑ P1854R4 позже была принята как DR, переопределив это разрешение.

[править] Ссылки

[править] Смотрите также