彻底弄懂为什么不能把栈上分配的数组(字符串)作为返回值
toyiye 2024-09-19 04:41 3 浏览 0 评论
背景
最近准备一个教程,案例的过程中准备了如下代码碎片,演示解析http scheme
#include <stdio.h> #include <stdlib.h> #include <string.h> char *parse_scheme(const char *url) { char *p = strstr(url,"://"); return strndup(url,p-url); } int main() { const char *url = "http://static.mengkang.net/upload/image/2019/0907/1567834464450406.png"; char *scheme = parse_scheme(url); printf("%s\n",scheme); free(scheme); return 0; }
上面是通过strndup的方式,背后也依托了malloc,所以最后也需要free。
有人在微信群私信parse_scheme能用char []来做返回值吗?我们知道栈上的数组也能用来存储字符串,那我们可以改写成下面这样吗?
char *parse_scheme(const char *url) { char *p = strstr(url,"://"); long l = p - url + 1; char scheme[l]; strncpy(scheme, url, l-1); return scheme; }
大多数人都知道不能这样写,因为返回的是栈上的地址,当从该函数返回之后,那段栈空间的操作权也释放了,当再次使用该地址的时候,值就是不确定的了。
那我们今天就一起探讨下出现这样情况的背后的真正原理。
基础预备
每个函数运行的时候因为需要内存来存放函数参数以及局部变量等,需要给每个函数分配一段连续的内存,这段内存就叫做函数的栈帧(Stack Frame)。
因为是一块连续的内存地址,所以叫帧;为什么叫要加一个栈呢?
想必大家都熟悉了函数调用栈,为什么叫函数调用栈呢?比如下面的表达式
array_values(explode(",",file_get_contents(...)));
函数的执行顺序是最内层的函数最先执行,然后依次返回执行外层的函数。所以函数的执行就是利用了栈的数据结构,所以就叫栈帧。
x86_64 cpu上的 rbp 寄存器存函数栈底地址,rsp 寄存器存函数栈顶地址。
实验
#include <stdio.h> void foo(void) { int i; printf("%d\n", i); i = 666; } int main(void) { foo(); foo(); return 0; } $gcc -g 2.c $./a.out 0 666
为什么第二次调用foo函数输出的结果都是上次函数调用的赋值呢?先看下反汇编之后的代码
000000000040052d <foo>: #include <stdio.h> void foo(void) { 40052d: 55 push %rbp 40052e: 48 89 e5 mov %rsp,%rbp 400531: 48 83 ec 10 sub $0x10,%rsp int i; printf("%d\n", i); 400535: 8b 45 fc mov -0x4(%rbp),%eax 400538: 89 c6 mov %eax,%esi 40053a: bf 00 06 40 00 mov $0x400600,%edi 40053f: b8 00 00 00 00 mov $0x0,%eax 400544: e8 c7 fe ff ff callq 400410 <printf@plt> i = 666; 400549: c7 45 fc 9a 02 00 00 movl $0x29a,-0x4(%rbp) } 400550: c9 leaveq 400551: c3 retq 0000000000400552 <main>: int main(void) { 400552: 55 push %rbp 400553: 48 89 e5 mov %rsp,%rbp foo(); 400556: e8 d2 ff ff ff callq 40052d <foo> foo(); 40055b: e8 cd ff ff ff callq 40052d <foo> return 0; 400560: b8 00 00 00 00 mov $0x0,%eax } 400565: 5d pop %rbp 400566: c3 retq 400567: 66 0f 1f 84 00 00 00 nopw 0x0(%rax,%rax,1) 40056e: 00 00
理论分析
第一次进入 foo函数前后
在进入foo函数之前,因为main里没有参数也没有局部变量,所以,main 的栈帧的长度就是0,rbp和rsp相等(0x7fffffffe2c0)。当执行
callq 40052d <foo>
会把main函数的在调用foo之后需要返回执行的下一行代码的地址压栈,因为是64位机器,地址8字节。
进入foo之后
push %rbp
把rbp的值压栈,因为也是存的地址,所以又占了8字节,所以当初始化foo函数的rbp的时候
mov %rsp,%rbp
rsp已经在原来的基础上加了16字节,所以从0x7fffffffe2c0变成了0x7fffffffe2b0。
sub $0x10,%rsp
因为foo函数里面局部变量,编译的时候就预留了16字节,所以rsp变为了0x7fffffffe2a0
最后执行了
movl $0x29a,-0x4(%rbp)
将666放在了0x7fffffffe2ac,当第二次调用的时候,打印i的汇编代码如下
printf("%d\n", i); 400535: 8b 45 fc mov -0x4(%rbp),%eax 400538: 89 c6 mov %eax,%esi 40053a: bf 00 06 40 00 mov $0x400600,%edi 40053f: b8 00 00 00 00 mov $0x0,%eax 400544: e8 c7 fe ff ff callq 400410 <printf@plt>
第二次进入 foo函数前后
因为上次-0x4(%rbp)存了666,而第二次调用foo的rbp的值又和第一次一样,所以是一个地址。所以666就被打印出来了。
回到主题
#include <stdio.h> #include <stdlib.h> #include <string.h> char *parse_scheme(const char *url) { char *p = strstr(url,"://"); long l = p - url + 1; char scheme[l]; strncpy(scheme, url, l-1); printf("%s\n",scheme); return scheme; } int main() { const char *url = "http://static.mengkang.net/upload/image/2019/0907/1567834464450406.png"; char *scheme = parse_scheme(url); printf("%s\n",scheme); return 0; }
调试信息如下,当从parse_scheme返回时,打印scheme的结果还是http,但是当我们调用printf之后,和上面样例中一样,parse_scheme出栈,printf入栈,则栈上内存就又替换了,所以打印出来的结果则不一定是http了。
作者:周梦康
相关推荐
- 为何越来越多的编程语言使用JSON(为什么编程)
-
JSON是JavascriptObjectNotation的缩写,意思是Javascript对象表示法,是一种易于人类阅读和对编程友好的文本数据传递方法,是JavaScript语言规范定义的一个子...
- 何时在数据库中使用 JSON(数据库用json格式存储)
-
在本文中,您将了解何时应考虑将JSON数据类型添加到表中以及何时应避免使用它们。每天?分享?最新?软件?开发?,Devops,敏捷?,测试?以及?项目?管理?最新?,最热门?的?文章?,每天?花?...
- MySQL 从零开始:05 数据类型(mysql数据类型有哪些,并举例)
-
前面的讲解中已经接触到了表的创建,表的创建是对字段的声明,比如:上述语句声明了字段的名称、类型、所占空间、默认值和是否可以为空等信息。其中的int、varchar、char和decimal都...
- JSON对象花样进阶(json格式对象)
-
一、引言在现代Web开发中,JSON(JavaScriptObjectNotation)已经成为数据交换的标准格式。无论是从前端向后端发送数据,还是从后端接收数据,JSON都是不可或缺的一部分。...
- 深入理解 JSON 和 Form-data(json和formdata提交区别)
-
在讨论现代网络开发与API设计的语境下,理解客户端和服务器间如何有效且可靠地交换数据变得尤为关键。这里,特别值得关注的是两种主流数据格式:...
- JSON 语法(json 语法 priority)
-
JSON语法是JavaScript语法的子集。JSON语法规则JSON语法是JavaScript对象表示法语法的子集。数据在名称/值对中数据由逗号分隔花括号保存对象方括号保存数组JS...
- JSON语法详解(json的语法规则)
-
JSON语法规则JSON语法是JavaScript对象表示法语法的子集。数据在名称/值对中数据由逗号分隔大括号保存对象中括号保存数组注意:json的key是字符串,且必须是双引号,不能是单引号...
- MySQL JSON数据类型操作(mysql的json)
-
概述mysql自5.7.8版本开始,就支持了json结构的数据存储和查询,这表明了mysql也在不断的学习和增加nosql数据库的有点。但mysql毕竟是关系型数据库,在处理json这种非结构化的数据...
- JSON的数据模式(json数据格式示例)
-
像XML模式一样,JSON数据格式也有Schema,这是一个基于JSON格式的规范。JSON模式也以JSON格式编写。它用于验证JSON数据。JSON模式示例以下代码显示了基本的JSON模式。{"...
- 前端学习——JSON格式详解(后端json格式)
-
JSON(JavaScriptObjectNotation)是一种轻量级的数据交换格式。易于人阅读和编写。同时也易于机器解析和生成。它基于JavaScriptProgrammingLa...
- 什么是 JSON:详解 JSON 及其优势(什么叫json)
-
现在程序员还有谁不知道JSON吗?无论对于前端还是后端,JSON都是一种常见的数据格式。那么JSON到底是什么呢?JSON的定义...
- PostgreSQL JSON 类型:处理结构化数据
-
PostgreSQL提供JSON类型,以存储结构化数据。JSON是一种开放的数据格式,可用于存储各种类型的值。什么是JSON类型?JSON类型表示JSON(JavaScriptO...
- JavaScript:JSON、三种包装类(javascript 包)
-
JOSN:我们希望可以将一个对象在不同的语言中进行传递,以达到通信的目的,最佳方式就是将一个对象转换为字符串的形式JSON(JavaScriptObjectNotation)-JS的对象表示法...
- Python数据分析 只要1分钟 教你玩转JSON 全程干货
-
Json简介:Json,全名JavaScriptObjectNotation,JSON(JavaScriptObjectNotation(记号、标记))是一种轻量级的数据交换格式。它基于J...
- 比较一下JSON与XML两种数据格式?(json和xml哪个好)
-
JSON(JavaScriptObjectNotation)和XML(eXtensibleMarkupLanguage)是在日常开发中比较常用的两种数据格式,它们主要的作用就是用来进行数据的传...
你 发表评论:
欢迎- 一周热门
- 最近发表
- 标签列表
-
- r语言矩阵 (127)
- browsererror (114)
- exportexcel (119)
- cv2.bitwise_not (137)
- dump命令 (128)
- es6concat (126)
- heapify (127)
- java.security.egd (130)
- javax.annotation (117)
- jsstringsplit (117)
- js数字 (115)
- maven编译 (132)
- mysqlleft (128)
- nodejsbuffer (149)
- org.apache.commons.httpclient (126)
- org.jsoup (141)
- org.springframework.web (128)
- robotframework-ride (115)
- setnocounton (141)
- socket.gethostbyname (122)
- sqlmid (121)
- time.strptime (133)
- vscode格式化 (125)
- win32con (129)
- window.localstorage (126)