C++对象模型(18)-- 函数语义学:函数调用过程

本文详细解析了栈帧在函数执行中的作用,包括栈帧的构成(参数、局部变量、返回地址等),以及函数调用时栈帧的创建和销毁过程。通过示例说明了main()调用func()时的栈帧变化情况。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

1、栈帧结构

函数执行是通过系统栈来实现的,系统栈分为若干个栈帧。

栈帧就是函数运行的环境,每个函数在被调用时都会在系统栈区形成一个叫栈帧的结构。一次函数调用相关的数据保存在栈帧中,比如函数参数、函数的局部变量、函数执行完后的返回地址等数据。栈帧里的数据是先进后出的。

栈帧由以下几部分组成:

(1)函数参数

(2)局部变量

(3)返回地址

(4)ebp: 栈基指针存储器、esp: 栈顶指针存储器

2、函数调用时的栈帧结构

假如函数的定义:

int func(int i, int j) {
    int m;
    m = i + j;

    return m;
}

int main()
{
    int ret;
    ret = func(1, 2);
    
    return 0;
}

在main()函数中调用func()函数时的栈帧结构如下:

每调用一个函数,就会往下添加新的栈帧,当函数调用结束时,把返回值保存到返回地址,同时弹出相应的栈帧。

具体调用过程可分成下面几步:

(1)在main函数中调用func函数,func函数进入栈帧。

(2)在func函数中,把i+j的值赋给变量m,然后把m值返回给main函数中的ret。

(3)把func函数的栈帧出栈

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值