Странная указатель проблема

Question

сегмент кода приведен ниже компилирует и при запуске дает результат в виде:

$ make 
gcc -g -Wall -o test test.c 
$ ./test 
string 

/* code1 */

#include<stdio.h> 
char *somefunc1() 
{ 
    char *temp="string"; 
    return temp; 
} 
int main(int argc,char *argv[]) 
{ 
    puts(somefunc1()); 
    return 0; 
} 

тогда небольшой модификации этого кода дает различные результаты:

$ make 
gcc -g -Wall -o test test.c 
test.c: In function ‘somefunc1’: 
test.c:5: warning: function returns address of local variable 
$ ./test 

/* code 2 */ 

#include<stdio.h> 
char *somefunc1() 
{ 
    char temp[] ="string"; 
    return temp; 
} 
int main(int argc,char *argv[]) 
{ 
    puts(somefunc1()); 
    return 0; 
} 

Почему это происходит?

Answer 1

char *temp = "string"; создаст указатель temp, который указывает на строку litteral. Этот строковый литерал хранится в сегменте данных исполняемого кода. Он неизменен, и адрес остается действительным после возвращения функции.

char temp[] = "string"; выделит 7 символов в стеке и установит их равными «string». Это изменчивые символы. В вашем примере возвращаемое значение указывает на символы, которые больше недействительны при возврате функции.

Answer 2

когда вы делаете char * temp = "string"; память для temp выделяется в куче и остается там до выполнения программы. тогда как когда вы делаете char temp [] = "string"; память выделяется в стеке, которая удаляется или недействительна после того, как вы вышли из области действия. В вашей программе во втором случае, когда вы находитесь вне функции something1, возвращаемый указатель становится недействительным. В первом случае, поскольку массив находится в куче, память не является недействительной. Но тогда вы успешно просочились в память.

Answer 3

В первом примере вы возвращаете адрес строкового литерала. Этот литерал существует до тех пор, пока программа выполняется, чтобы код был безопасным.

Во втором примере вы создаете (функциональный локальный) массив, который инициализируется, чтобы содержать строку string. Затем вы возвращаетесь к адресу (первого элемента) этого массива, но массив уничтожается, как только вы покидаете функцию. Об этом предупреждает ваш компилятор. Использование указателя, возвращенного с somefunc1, приводит к неопределенным поведением, поскольку оно больше не относится к существующему объекту.

Answer 4

Переменные стека теряются после выхода из функции и, следовательно, «странное поведение» во втором случае.