空指针作为函数参数
最近在复习C语言的知识,总算弄懂了指针作为函数参数传递的一些问题,比如下面这个经常会写的bug:
void func(char* q){
q = (char*)malloc(100);
}
int main(){
char* p = nullptr;
func(p);
//报错,段错误,因为此时的p没有被分配内存空间
strcpy(p,"hello world");
cout<<p<<endl;
free(p);
return 0;
}
原因就是,指针p
作为函数参数传递的时候,传的是指针的值,即指针指向的内存地址,形参q
接收了这个值,但是形参q
自己的地址和p的地址不一样,因为q是在栈上临时分配的地址。即: p==q
,但是&p != &q
,所以在函数中使用malloc重新分配内存,赋值给p,主函数中的q并不会被改变,此时p!=q
所以如果函数的参数是一个指针,不要指望用该指针去申请动态内存,只能通过这个指针去改变其指向内存地址的内容。
上面代码的正确写法可以是如下写法,传递指针的引用,这样&q==&p
,q和p就是同一个地址:
void func(char* &q){
q = (char*)malloc(100);
}
int main(){
char* p = nullptr;
func(p);
//正常,不会报错
strcpy(p,"hello world");
cout<<p<<endl;
free(p);
return 0;
}
也可以返回新分配的内存地址给主函数的p,因为此处的q是在堆上分配的内存,函数结束后不会被立即回收,所以可以返回,但是如果是栈上的临时变量就不可以被返回
char* func(char* q){
q = (char*)malloc(100);
return q;
}
int main(){
char* p = nullptr;
p = func(p);
//正常,不会报错
strcpy(p,"hello world");
cout<<p<<endl;
free(p);
return 0;
}
还可以使用指向指针的指针来为p分配内存:
void func(char** q){
*q = (char*)malloc(100);
}
int main(){
char* p = nullptr;
func(&p);
//正常,不会报错
strcpy(p,"hello world");
cout<<p<<endl;
free(p);
return 0;
}
总而言之,指针作为参数时,不能在函数体中改变指针的内存地址,要不然,实参的拷贝(压入栈中),即形参改变了,而实参没有改变,会造成内存泄露并且还达不到分配内存的效果,容易出bug。