String literal

Синтаксис

Объяснение

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

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

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

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

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

// OK: contains one backslash,
// equivalent to "\\"
R"(\)";
// OK: contains four \n pairs,
// equivalent to "\\n\\n\\n\\n"
R"(\n\n\n\n)";
// OK: contains one close-parenthesis, two double-quotes and one open-parenthesis,
// equivalent to ")\"\"("
R"-()""()-";
// OK: equivalent to "\n)\\\na\"\"\n"
R"a(
)\
a""
)a";
// OK: equivalent to "x = \"\"\\y\"\""
R"(x = ""\y"")";
// R"<<(-_-)>>"; // Error: begin and end delimiters do not match
// R"-()-"-()-"; // Error: )-" appears in the middle and terminates the literal

Инициализация

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

Конкатенация

Смежные строковые литералы объединяются на фазе трансляции 6 (после препроцессинга):

• Если два строковых литерала одного типа , то объединённый строковый литерал также будет этого типа.

"Hello, " "world!" // на фазе 6, 2 строковых литерала образуют "Hello, world!"
L"Δx = %" PRId16   // на фазе 4, PRId16 раскрывается в "d"
                   // на фазе 6, L"Δx = %" и "d" образуют L"Δx = %d"

1. ↑ Ни одна известная реализация не поддерживает такую конкатенацию.

Невычисляемые строки

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

• language linkage спецификация

Примечания

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

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

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

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

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

Пример

#include <iostream>
// array1 и array2 содержат одинаковые значения:
char array1[] = "Foo" "bar";
char array2[] = {'F', 'o', 'o', 'b', 'a', 'r', '\0'};
const char* s1 = R"foo(
Hello
  World
)foo";
// то же самое, что
const char* s2 = "\nHello\n  World\n";
// то же самое, что
const char* s3 = "\n"
                 "Hello\n"
                 "  World\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"Mixed" U"Types";
        // до 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
Hello
  World
Hello
  World
Hello
  World
ABCDEF ABCDEF STUV

Отчеты о дефектах

Следующие отчеты об изменениях в поведении, являющиеся дефектными, были применены ретроактивно к ранее опубликованным стандартам C++.

1. ↑ P1854R4 был принят как Defect Report позднее, отменяя данное решение.

Ссылки

Смотрите также