Различия строковых литералов между C и C++

Необработанные строки

Заметным отличием является то, что строковые литералы C++ являются надмножеством строковых литералов C. В частности, C++ теперь поддерживает необработанные строки. (не поддерживается в C), технически определено в §2.14.15 и обычно используется в HTML и XML, где часто встречается ".

Необработанные строки позволяют указать собственный разделитель (до 16 символов) в виде:

R"delimiter(char sequence)delimiter"

Это особенно полезно, чтобы избежать ненужных экранирующих символов, предоставляя собственный разделитель строк. В следующих двух примерах показано, как избежать экранирования " и ( соответственно:

std::cout << R"(a"b"c")";      // empty delimiter
std::cout << '\n';
std::cout << R"aa(a("b"))aa";  // aa delimiter
// a"b"c"
// a("b")

Текущая демонстрация

char vs const char

Еще одно отличие, указанное в комментариях, заключается в том, что строковые литералы имеют тип char [n] в C, как указано в §6.4.5/6:

Для литералов символьных строк элементы массива имеют тип char и инициализируются отдельными байтами многобайтовой последовательности символов.

в то время как в C++ они имеют тип const char [n], как определено в §2.14.5/8:

Обычные строковые литералы и строковые литералы UTF-8 также называются узкими строковыми литералами. Узкий строковый литерал имеет тип «массив из n const char», где n — размер строки, как определено ниже, и имеет статическую продолжительность хранения (3.7).

Это не меняет того факта, что в обоих стандартах (в §6.4.5/7 и 2.14.5/13 для C и C++ соответственно) попытка изменить строковый литерал приводит к неопределенному поведению.

Неуказанные и определенные реализации (ref)

Еще одно тонкое отличие заключается в том, что в C не указано, отличаются ли массивы символов строковых литералов, согласно §6.4.5/7:

Не указано, являются ли эти массивы различными, если их элементы имеют соответствующие значения.

в то время как в С++ это определяется реализацией в соответствии с §2.14.5/13:

Все ли строковые литералы различны (т. е. хранятся в непересекающихся объектах), определяется реализацией.

Лучший способ ответить на ваш вопрос — переписать его как программу, которая идентично компилируется при использовании компилятора «C» или «C++». Я предполагаю, что вы используете GCC, но другой (правильно написанный) компилятор Цепочки инструментов должны давать аналогичные результаты.

Сначала я рассмотрю каждый пункт, который вы изложили, затем я дам программу, которая дает ответ (и доказательство).

• Насколько я могу судить, до C++11 строковые литералы обрабатывались почти точно так же, как между C и C++.

Их по-прежнему можно обрабатывать таким же образом, используя различные параметры командной строки, в этом примере я буду использовать «-fpermissive» (обман). Вам лучше выяснить, почему вы получаете предупреждения, и написать НОВЫЙ код, чтобы избежать ЛЮБОГО предупреждения; используйте только «читы» CLP для компиляции СТАРОГО кода.

Правильно пишите новый код (никаких читов и предупреждений, чтобы не было Ошибок).

• Теперь я признаю, что существуют различия между C и C++ в обработке широких строковых литералов.

Там не должно быть (много различий), так как вы можете обмануть большинство или все из них в зависимости от обстоятельств. Обманывать нехорошо, учитесь программировать правильно и следуйте современным Стандартам, а не ошибкам (или неловкости) прошлого. Вещи делаются определенным образом, чтобы быть полезными как для вас, так и для компилятора в некоторых случаях (помните, что ВЫ не единственный, кто «видит» ваш код).

В этом случае компилятору требуется достаточно места, чтобы выделить строку с "0" (нулевым байтом). Это позволяет использовать функцию печати (и некоторые другие) без указания длины строки.

ЕСЛИ вы просто пытаетесь скомпилировать существующую Программу, полученную откуда-то, и не хотите ее переписывать, вы просто хотите ее скомпилировать и запустить, затем используйте читы (если необходимо), чтобы обойти предупреждения и принудительно компиляция в исполняемый файл.

• Остальное, что вы написали...

No.

.

См. этот пример программы. Я немного изменил ваш вопрос, чтобы превратить его в программу. Результат компиляции этой Программы компилятором "C" или C++ идентичен.

Скопируйте и вставьте приведенный ниже пример текста программы в файл с именем «test.c», затем следуйте инструкциям в начале. Просто «пометьте» файл, чтобы вы могли прокрутить его назад (и увидеть его), не открывая текстовый редактор, затем скопируйте и вставьте каждую строку, начиная с команд компилятора (следующие три).

Обратите внимание, что, как указано в комментариях, выполнение этой строки "g++ -S -o test_c++.s test.c" приводит к ошибке (с использованием современного компилятора g++), поскольку длина контейнера недостаточна для хранения строки.

Вы должны уметь читать эту Программу, и на самом деле вам не нужно ее компилировать, чтобы увидеть Ответ, но она скомпилирует и выдаст вывод, который вы можете изучить, если захотите.

Как вы можете видеть, длина переменной «str1» недостаточна для хранения строки, когда она завершается нулем, что приводит к ошибке на современном (и правильно написанном) компиляторе g++.

/* Answer for: http://stackoverflow.com/questions/23145793/string-literal-differences-between-c-and-c
 *
 * cat test.c
 * gcc -S -o test_c.s test.c
 * g++ -S -o test_c++.s test.c
 * g++ -S -fpermissive -o test_c++.s test.c
 *
 */

char str1[3] = "1ab";
char str2[4] = "2ab";
char str3[]  = "3ab";

main(){return 0;}


/* Comment: Executing "g++ -S -o test_c++.s test.c" produces this Error:
 *
 * test.c:10:16: error: initializer-string for array of chars is too long [-fpermissive]
 * char str1[3] = "1ab";
 *                ^
 *
 */


/* Resulting Assembly Language Output */

/*      .file   "test.c"
 *      .globl  _str1
 *      .data
 * _str1:
 *      .ascii "1ab"
 *      .globl  _str2
 * _str2:
 *      .ascii "2ab\0"
 *      .globl  _str3
 * _str3:
 *      .ascii "3ab\0"
 *      .def    ___main;    .scl    2;  .type   32; .endef
 *      .text
 *      .globl  _main
 *      .def    _main;  .scl    2;  .type   32; .endef
 * _main:
 * LFB0:
 *      .cfi_startproc
 *      pushl   %ebp
 *      .cfi_def_cfa_offset 8
 *      .cfi_offset 5, -8
 *      movl    %esp, %ebp
 *      .cfi_def_cfa_register 5
 *      andl    $-16, %esp
 *      call    ___main
 *      movl    $0, %eax
 *      leave
 *      .cfi_restore 5
 *      .cfi_def_cfa 4, 4
 *      ret
 *      .cfi_endproc
 * LFE0:
 *      .ident  "GCC: (GNU) 4.8.2"
 *
 */