Си: передача предопределённых строк в функцию

Question

[Александр Борзунов]

Всегда думал, что при предопределении строковой переменной *s = "habr" и s[] = "habr" — практически полные синонимы.

Тогда почему в коде ниже (компилировал в GCC, различные версии, на Linux) работает лишь вариант I, а варианты II и III валятся с Segmentation Fault?

// Вариант I

#include <stdio.h>

void test(char *s) {
    s[2] = 'X';
    puts(s);
}

int main() {
    char x[] = "123456";
    
    test(x);
    return 0;
}


// Вариант II

#include <stdio.h>

void test(char *s) {
    s[2] = 'X';
    puts(s);
}

int main() {
    char *x = "123456";
    
    test(x);
    return 0;
}


// Вариант III

#include <stdio.h>

void test(char *s) {
    s[2] = 'X';
    puts(s);
}

int main() {
    test("123456");
    return 0;
}

Возможно, это что-то элементарное для языка, но сам я не разобрался.

Comments

[tobiasar]

вариант 1: в массив записываются данные
вариант 2: в указатель записывается адрес "123456" - что есть глупость, нет такого адреса, поэтому оно и рушится
вариант 3: в функцию передается строка, а ожидается указатель на строку, уберите звездочку в параметрах функции и всё заработает

почти вовремя ответил, но может кому пригодится

Answer 1

[Livid]

Дело в разнице между массивами и указателями. Она, вообще говоря, есть.

При инициализации
char array[] = «abc» выделяет память для нового строкового массива и устанавливает его элементы в «a»,«b»,«c» и "\0"
char *pointer = «abc» устанавливает pointer на строку «abc», которая, вообще говоря, может находиться (как строковой литерал) в защищенной области памяти (i.e. только для чтения).

Comments

[Александр Борзунов]

Ах вот оно что — только для чтения. Хотя, что интересно, при прогоне через gdb, если присвоить s[2] через отладчик — всё ок. Спасибо за хороший ответ, буду иметь в виду.

[burdakovd]

А не нарушает ли компилятор const-correctness, размещая строку «abc» в защищённой области памяти, и позволяя программисту, не используя const_cast, получить указатель на строку как «char*», а не «const char*»?

[burdakovd]

Поспешил я что-то спросить, не поискав. Возможность инициализировать char* строковым литералом (в обход проверки константности) — это тяжелое наследие C. Так что такая запись deprecated и нужно писать

const char* pointer = "abc";

[Александр Борзунов]

> deprecated
Замечал это только в C++, компиляторы C (а я про них спрашивал) об этом никак не предупреждают. В любом случае спасибо за подробную информацию.

[Livid]

Так собственно deprecated оно именно в c++. Впрочем для C попытка изменить строковой литерал является undefined behavior: www.securecoding.cert.org/confluence/display/seccode/STR30-C.+Do+not+attempt+to+modify+string+literals
www.securecoding.cert.org/confluence/display/seccode/CC.+Undefined+Behavior#CC.UndefinedBehavior-ub30