string literals
Constructs an unnamed object of specified character array type in-place, used when a character string needs to be embedded in source code.
Contents |
[edit] Syntax
" s-char-sequence "
|
(1) | ||||||||
u8 " s-char-sequence "
|
(2) | (since C11) | |||||||
u " s-char-sequence "
|
(3) | (since C11) | |||||||
U " s-char-sequence "
|
(4) | (since C11) | |||||||
L " s-char-sequence "
|
(5) | ||||||||
where
s-char-sequence | - | zero or more characters, each of which is either a multibyte character from the source character set (excluding (" ), \ , and newline), or character escape, hex escape, octal escape, or unified character name (since C99) as defined in escape sequences.
|
[edit] Explanation
First, at translation phase 6 (after macro expansion), the adjacent string literals (that is, string literals separated by whitespace only) are concatenated.
Only two narrow or two wide string literals may be concatenated. |
(until C99) |
If one literal is unprefixed, the resulting string literal has the width/encoding specified by the prefixed literal. If the two string literals have different encoding prefixes, concatenation is implementation-defined. L"Δx = %" PRId16 // at phase 4, PRId16 expands to "d" // at phase 6, L"Δx = %" and "d" form L"Δx = %d" |
(since C99) |
Then (at stage 7), a terminating null character is added to each string literal, and then each literal initializes an unnamed array with static storage duration and length just enough to contain the contents of the string literal plus one the null terminator.
char* p = "\x12" "3"; // creates a static char[3] array holding {'\x12', '3', '\0'} // sets p to point to the first element of the array
String literals are not modifiable (and in fact may be placed in read-only memory such as .rodata
). If a program attempts to modify the static array formed by a string literal, the behavior is undefined.
char* p = "Hello"; p[1] = 'M'; // Undefined behavior
It is neither required nor forbidden for identical string literals to refer to the same location in memory. Moreover, overlapping string literals or string literals that are substrings of other string literals may be combined.
"def" == 3+"abcdef"; // may be 1 or 0, implementation-defined
[edit] Notes
A string literal is not necessarily a string; if a string literal has embedded null characters, it represents an array which contains more than one string:
char* p = "abc\0def"; // strlen(p) == 3, but the array has size 8
If a valid hex digit follows a hex escape in a string literal, it would fail to compile as an invalid escape sequence, but string concatenation can be used as a workaround:
//char* p = "\xfff"; // error: hex escape sequence out of range char* p = "\xff""f"; // okay, the literal is char[3] holding {'\xff', 'f', '\0'}
String literals can be used to initialize arrays, and if the size of the array is one less the size of the string literal, the null terminator is ignored:
char[] a1 = "abc"; // a1 is char[4] holding {'a', 'b', 'c', '\0'} char[4] a2 = "abc"; // a2 is char[4] holding {'a', 'b', 'c', '\0'} char[3] a3 = "abc"; // a3 is char[3] holding {'a', 'b', 'c'}
[edit] Example
#include <stdio.h> #include <stdlib.h> #include <stddef.h> #include <uchar.h> #include <locale.h> int main(void) { char s1[] = "a猫🍌"; // or "a\u732B\U0001F34C" char s2[] = u8"a猫🍌"; char16_t s3[] = u"a猫🍌"; char32_t s4[] = U"a猫🍌"; wchar_t s5[] = L"a猫🍌"; setlocale(LC_ALL, "en_US.utf8"); printf(" \"%s\" is a char[%zu] holding { ", s1, sizeof s1 / sizeof *s1); for(size_t n = 0; n < sizeof s1 / sizeof *s1; ++n) printf("%#x ", +(unsigned char)s1[n]); puts(" }"); printf("u8\"%s\" is a char[%zu] holding { ", s2, sizeof s2 / sizeof *s2); for(size_t n = 0; n < sizeof s2 / sizeof *s2; ++n) printf("%#x ", +(unsigned char)s2[n]); puts(" }"); printf(" u\"a猫🍌\" is a char16_t[%zu] holding { ", sizeof s3 / sizeof *s3); for(size_t n = 0; n < sizeof s3 / sizeof *s3; ++n) printf("%#x ", s3[n]); puts(" }"); printf(" U\"a猫🍌\" is a char32_t[%zu] holding { ", sizeof s4 / sizeof *s4); for(size_t n = 0; n < sizeof s4 / sizeof *s4; ++n) printf("%#x ", s4[n]); puts(" }"); printf(" L\"%ls\" is a wchar_t[%zu] holding { ", s5, sizeof s5 / sizeof *s5); for(size_t n = 0; n < sizeof s5 / sizeof *s5; ++n) printf("%#x ", s5[n]); puts(" }"); }
Possible output:
"a猫🍌" is a char[9] holding { 0x61 0xe7 0x8c 0xab 0xf0 0x9f 0x8d 0x8c 0 } u8"a猫🍌" is a char[9] holding { 0x61 0xe7 0x8c 0xab 0xf0 0x9f 0x8d 0x8c 0 } u"a猫🍌" is a char16_t[5] holding { 0x61 0x732b 0xd83c 0xdf4c 0 } U"a猫🍌" is a char32_t[4] holding { 0x61 0x732b 0x1f34c 0 } L"a猫🍌" is a wchar_t[4] holding { 0x61 0x732b 0x1f34c 0 }
[edit] References
- C11 standard (ISO/IEC 9899:2011):
- 6.4.5 String literals (p: 70-72)
- C99 standard (ISO/IEC 9899:1999):
- 6.4.5 String literals (p: 62-63)
- C89/C90 standard (ISO/IEC 9899:1990):
- 3.1.4 String literals
[edit] See also
C++ documentation for string literal
|