函数返回类型为指针的时候的注意事项

《c++ primer》4th, p249，曰： never return a pointer to a local object.

 

意思是不要返回指向函数局部变量的指针。

 

我用的测试程序是：

//filename: test.cpp #include <iostream> using namespace std; char* func1() { char str[20] = "hello,world!"; char* t1 = str; return t1; } char* func2() { char* t2 = "hello,world!"; return t2; } int main() { cout << func2() << endl; cout << func1()<< endl; return 0; }

本以为两个函数都将输出错误，但发现fuc2()能正确打印出"hello,world!"，很诡异。用 g++ return.cpp -S，查看两个函数的汇编代码：

 

.LC0: .string "hello,world!" //字符常量”hello,world!" .zero 7 //20个字符，有7个为0 .text .align 2

func1():

_Z5func1v: .LFB1428: pushl %ebp .LCFI0: movl %esp, %ebp .LCFI1: subl $40, %esp .LCFI2: movl %gs:20, %eax movl %eax, -4(%ebp) xorl %eax, %eax movl .LC0, %eax //由此往下的代码，都是复制20个字符(包括0)至栈 movl %eax, -24(%ebp) // char* func1() movl .LC0+4, %eax // { movl %eax, -20(%ebp) // char* str[20] = "hello,world!"; movl .LC0+8, %eax // char* t1 = str; movl %eax, -16(%ebp) // return t1; movzbl .LC0+12, %eax // } movb %al, -12(%ebp) movl $0, -11(%ebp) movw $0, -7(%ebp) movb $0, -5(%ebp) //20个字符复制结束 leal -24(%ebp), %eax //将str[0]的地址压入%eax movl %eax, -28(%ebp) //指针t1存放在 %ebp - 28处，t1 = %eax, movl -28(%ebp), %eax //返回t1放在%eax中 movl -4(%ebp), %edx xorl %gs:20, %edx je .L3 call __stack_chk_fail .L3: leave ret

 

而func2()的汇编源码很简单：

_Z5func2v: .LFB1429: pushl %ebp .LCFI3: movl %esp, %ebp .LCFI4: subl $16, %esp .LCFI5: movl $.LC0, -4(%ebp) movl -4(%ebp), %eax leave ret

由此可见，func1中，返回的指针是指向栈上的地址，当func1退出是，此区域被释放，若仍然指向此区域，则行为不可预知；

而func2中，返回的地址是指向静态常量区，而静态常量是可读的，因此是可以输出的。

 

需要指出的是，func2仍然存在重大问题，例如：

char* t3 =func2(); *t3 = 'q';

这种操作都将引起运行时错误。因为t3所指的区域为静态常量区。