Почему строка объявленная как указатель на char не изменяется, а как массив char изменяется?

Question

[evg_96]

Почему если объявить строку как массив то программа работает как ожидается, но если строку объявить как указатель на char, то ничего не срабатывает и выводится неизмененное значение?

#include <stdio.h>
#include <conio.h>
#include <ctype.h>

void change_str(void(*fp)(char *), char * str);
void to_upper(char * str);

int main(int argc, char * argv[])
{
    char str[] = "hello"; // char * str = "hello";

    change_str(to_upper, str);

    _getch();

    return 0;
}

void change_str(void(*fp)(char *), char * str)
{
    (*fp)(str);

    puts(str);
}

void to_upper(char * str)
{
    while (*str)
    {
        *str = toupper(*str);

        str++;
    }
}

Answer 1

[res2001]

Скорее всего потому что в варианте
char * str = "hello";
Сама строка "hello" хранится в памяти "только для чтения", которая выделяется ОС для констант при загрузке программы в память.
В варианте с массивом память выделяется в стеке, соответственно проблемы с изменением нет.
Чтоб перейти на указатель - выделите память динамически и скопируйте туда строку. В конце не забудьте память освободить.

Comments

[evg_96]

res2001 Что то я не совсем до конца понял. Почему например при объявлении как массив, строковый литерал по сути будет эквивалентен следующему:
{ 'h', 'e', 'l', 'l', 'o', '\0' }, и следовательно ничто не мешает изменить данный массив,
а при объявлении как указатель на char, тот же строковый литерал будет эквивалентен примерно следующему:

static const char __str[] = { 'h', 'e', 'l', 'l', 'o', '\0' }

, и следовательно в данном случае массив будет помещен в read-only память, и изменить уже не получится его.
Странное какое то поведение, в разных случаях одно и тоже трактуется по разному. Непонятно почему нельзя было для случая с указателем точно также помещать массив в изменяемую память?

[res2001]

evg_96, Нет, не эквивалентен.
Указатель так и останется указателем и указывать он будет на память только для чтения.
Указатель - это такой же тип данных как и все остальные, если грубо, то это целое без знаковое число, размер его зависит от платформы: для х32 - указатели 32 битные, для х64 - 64 битные.
Когда вы пишите:
char * str = "hello";
То в стеке выделяется память для указателя, ему присваивается адрес константной строки. Вообще компилятор должен был бы ругнуться на такое присваивание (возможно надо выставить уровень предупреждений по больше). В этом случае правильней было бы str определить так:
const char * str = "hello";

[res2001]

в случае присваивания
char * str = "hello";
присваивается только адрес строки, но не сама строка.
В случае массива - выделяется память для массива в стеке и элементам массива присваиваются элементы строки.