函數返回指針vs函數返回數組

Question

func1提供警告和垃圾值，而func2提供正確的輸出。 兩者有什么區別？

//func 1
unsigned char *CreateData()
{
unsigned char data[]="Thanks";
return data;
}

/* func 2
unsigned char *CreateData()
{
unsigned char *data=malloc(6);
strncpy(data,"Thanks",strlen("Thanks"));
return data;
}


int main()
{
unsigned char *a;
a=CreateData();
printf("%s",a);
return 0;
}

謝謝 ：）

Answer 1

使用CreateData的第一個實現，您將返回一個指向具有自動存儲持續時間的變量的指針，然后在其生命周期結束后使用它，這是未定義的行為。

非正式地講，實際發生的是在堆棧上分配了data ，一旦您將其用作a ， CreateData已經結束，並且堆棧空間現在可供其他函數使用，例如main或printf ，以及其他函數在以前為data保留的空間上踐踏。

但是，當您使用malloc ，據說內存是在堆上分配的，而不是在堆棧上分配的，堆上的內存只有在您告訴它要釋放時才釋放（使用free ）。 與具有自動存儲持續時間的變量不同，在CreateData返回后不會釋放內存，因此您可以繼續在main使用該內存。

Answer 2

靜態數組（ ex. unsigned char data[]="Thanks"; ）將在您離開當前堆棧幀后立即銷毀（基本上，當您使用的函數返回時）。

動態數組（ ex. unsigned char *data=malloc(6); ）永遠存在，直到您free()它free() 。 它生活在堆上。

Answer 3

函數1返回一個指向局部變量的指針（分配在堆棧上）。 這是未定義的行為。

在函數2中，數據塊是在堆上分配的，因此其值會持續存在於函數范圍之外。