函数返回指针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中，数据块是在堆上分配的，因此其值会持续存在于函数范围之外。