一般来说,函数是可以返回局部变量的。 局部变量的作用域只在函数内部,在函数返回后,局部变量的内存已经释放了。因此,如果函数返回的是局部变量的值,不涉及地址,程序不会出错。但是如果返回的是局部变量的地址(指针)的话,程序运行后会出错。因为函数只是把指针复制后返回了,但是指针指向的内容已经被释放了,这样指针指向的内容就是不可预料的内容,调用就会出错。准确的来说,函数不能通过返回指向栈内存的指针(注意这里指的是栈,返回指向堆内存的指针是可以的)。
int func()
{
int temp = 0; // 返回局部自动变量的值
return temp;
}
局部变量temp存储在栈中,函数返回时会自动复制一份temp的copy给调用者,没有问题。
{
static int a = 1; // 返回局部静态变量的值
return a;
}
{
vector<int> v;
v.push_back(0);
return v;
}
{
Person p1;
p1.name = "test";
return p1;
}
返回的也是值拷贝,会调用Person类的拷贝构造函数,没有问题。
2. 返回局部变量的指针
int* func()
{
int temp = 0; // 返回局部变量的地址
return &temp;
}
前面讨论过,局部变量temp存储在栈中,函数返回时将已销毁变量的地址返回给调用者,结果将是不可预知的。
static int temp = 1;
return &temp;
}
{
char *p = "test";
return p; // 返回指向常量字符串的指针
}
{
char str[] = "test";
return str; // 返回局部字符串的指针
}
{
char *str = (char *)malloc(sizeof(char) * BUFFER_SIZE);
strcpy(str, "test");
return str;
}
这种情况下,函数返回一个指向堆内存的指针,由于堆存储区由程序员手动管理,因此这种做法是可行的,但是要防止出现内存泄露,函数调用完后需要手动释放内存。
char *temp = NULL;
temp = func();
free(temp);
3. 返回局部变量的引用
int& func()
{
int temp = 0; // 返回局部变量的引用
return temp;
}
1. 返回局部变量的值
可以有两种情况:返回局部自动变量和局部静态变量,比如,int func()
{
int temp = 0; // 返回局部自动变量的值
return temp;
}
局部变量temp存储在栈中,函数返回时会自动复制一份temp的copy给调用者,没有问题。
{
static int a = 1; // 返回局部静态变量的值
return a;
}
局部变量a存储在静态(全局)存储区中,从初始化后一直有效直到程序结束,仅分配一次内存,并且函数返回后,变量不会销毁,没有问题。
{
vector<int> v;
v.push_back(0);
return v;
}
返回的是v的值拷贝,没有问题。
{
Person p1;
p1.name = "test";
return p1;
}
返回的也是值拷贝,会调用Person类的拷贝构造函数,没有问题。
2. 返回局部变量的指针
int* func()
{
int temp = 0; // 返回局部变量的地址
return &temp;
}
前面讨论过,局部变量temp存储在栈中,函数返回时将已销毁变量的地址返回给调用者,结果将是不可预知的。
int* func()
{static int temp = 1;
return &temp;
}
局部变量temp存储在静态存储区,返回指向静态存储区变量的指针是可行的。
{
char *p = "test";
return p; // 返回指向常量字符串的指针
}
对于字符串的特殊情况,由于字符串test存储在常量存储区(不是静态存储区),故函数返回一个指向常量的字符串指针是可行的。
{
char str[] = "test";
return str; // 返回局部字符串的指针
}
str被初始化为字符串局部变量(栈),因此函数返回一个已销毁的局部变量是不可行的。
如果函数的返回值非要是一个局部变量的地址,那么该局部变量一定要申明为static类型。
{
char *str = (char *)malloc(sizeof(char) * BUFFER_SIZE);
strcpy(str, "test");
return str;
}
这种情况下,函数返回一个指向堆内存的指针,由于堆存储区由程序员手动管理,因此这种做法是可行的,但是要防止出现内存泄露,函数调用完后需要手动释放内存。
char *temp = NULL;
temp = func();
free(temp);
3. 返回局部变量的引用
int& func()
{
int temp = 0; // 返回局部变量的引用
return temp;
}
由引用的概念可知,函数返回的是temp本身,而temp在函数返回后已销毁,结果将是不可预知的。
补充:静态全局变量和全局变量的区别
(静态变量分为全局静态变量、局部静态变量;局部变量分为局部自动变量、局部静态变量)
静态全局变量只在当前文件中可用,全局变量在其他文件中也可用,需要用extern声明。