Строковое постоянное хранилище

Question

Есть ли разница между двумя приведенными ниже функциями, в обоих случаях не возвращается адрес локальной переменной, но использование f1() fn возвращает правильное значение 4, но не f2(). Также в третьем случае я прав, что строковая константа не хранится в стеке, поэтому, когда мы возвращаем указатель, она будет работать нормально. Также тогда, где хранятся строковые константы?

int* f1() 
{ 
    int* a=(int*)4; 
    return a; 
} 

int* f2() 
{ 
    int a=4; 
    return &a; 
} 

char* f3() 
{ 
    char* p="abcd"; 
    return p; 
} 

Answer 1

Существуют различия между всеми из них:

1. первом возвращает int * со значением 4, обратите внимание, что он не указывает на переменную со значением 4, но по адресу 4.
2. Вторая возвращает указатель на переменную, которая содержит 4, но на самом деле этот указатель недопустим, поскольку он указывает на локальную переменную уже возвращенной функции, и любое ее использование приведет к неопределенному поведению.
3. Третий возвращает указатель на char (по определению), но на самом деле это указатель на строковый литерал (по реализации). Проблема с ним заключается в том, что при возврате функции char *, а не в const char *, можно попытаться изменить буфер возврата, который снова приведет к неопределенному поведению.

Answer 2

• f1 бросает значение 4 на адрес, в сущности, указывая где-то в памяти.
• f2 Возвращает адрес локальной переменной. Выделение этого указателя будет неопределенным поведением.
• f3 - указатель на строковый литерал. Это действительный указатель, поскольку время жизни строкового литерала совпадает с временем жизни программы (статической продолжительности хранения). Где именно этот литерал хранится, определяется реализацией. Манипулирование содержимым строкового литерала является неопределенным поведением.

Answer 3

• В f1 вы явно указать адрес 4 и возвратил же, а не значение по этому адресу.
• Локальные переменные выделяются в стеке, поэтому в f2, где вы вернули &a, вы возвращаете адрес в стеке, а не 4, который присутствует по этому адресу в памяти. Де-ссылка на этот адрес приводит к неопределенному поведению, поскольку функция сбрасывается со стека.

• Строковые литералы выделяются на только для чтения секции данных и обратите внимание на разницу между

  char arr[]="abcd"; и char *ptr="abcd";

  Первый представляет собой массив символов и выделяется в стеке, а второй является указателем на строку literal, который (буквальный не указатель) выделяется в разделе данных только для чтения.

PS: Я предположил GCC/x86 здесь.