EVM 调用帧：一笔交易里合约互相喊话时谁记得谁的账

普通人对智能合约执行的想象往往是一根直线：一笔交易进来，从头执行到尾。真实的 EVM 更像一家公司接了个外包项目：主合约干到一半，把子任务『喊』给另一个合约去做，后者可能再喊下一个——每一次『喊』，EVM 都会派一个全新的工位、发一份独立的记事本、拨一小笔活动经费，干完活把结果和剩下的经费交回来。这个工位级的执行单元就是调用帧（call frame）。搞懂帧，合约编程里一大半反直觉的行为——为什么代理合约改动会影响调用者余额、为什么静态调用里改存储会炸、为什么下游 revert 有时吞掉全部 gas——都会一次性说通。

帧里有什么：栈、内存、返回缓冲区

每笔交易先在顶层帧开始：世界状态（所有账户的余额、存储、代码）是全栈共享的一本大账，而每个帧私有三样东西：操作数栈（EVM 的工作台面，指令的输入输出都在上面）、易失内存（帧结束就蒸发的草稿纸）和返回数据缓冲区（上一个被调用合约留下的原始返回字节的暂存柜）。指令里 RETURNDATASIZE、RETURNDATACOPY 操作的就是这个暂存柜——它不属于当前合约的内存，而是上一条 CALL 类指令留下的『快递柜』。帧结束的方式只有两种：正常返回（把返回数据放进快递柜，把剩余 gas 退回）或者 revert（连同本子帧内对世界状态的所有改动一起丢弃，返回数据同样放进快递柜，只是这次是错误说明）。这种『改动要么全留要么全丢、按帧划界』的设计，是合约原子性的底层实现。

四种喊话方式：区别全在自我介绍怎么写

CALL、CALLCODE、DELEGATECALL、STATICCALL 四条指令做的是同一件事——开新帧、跳进目标地址的代码执行——区别只在新帧填的两张身份卡：调用者（msg.sender，谁在跟我说话）和当前地址（我用谁的存储和余额）。CALL 是最老实的：目标合约用自己的存储、把发起方当调用者，还能顺带转账。STATICCALL 同样老实，但给帧挂上只读旗子：里面任何改状态的操作——写存储、转账、自毁、创建合约——都会直接抛错，它存在的意义是让静态分析工具能安全地『窥探』外部合约。DELEGATECALL 则是代理合约的灵魂：目标地址的代码在『我』的身份下执行——msg.sender 和 msg.value 保持不变，存储、余额用的全是发起方账户的，等于把别人的程序抄过来以我的名义跑。这正是透明代理能把逻辑随意换而资产不搬家的原因，也是它危险的根源：委托执行的代码拥有你全部存储的读写权，一个坏实现能把你的资产一行写光。CALLCODE 是历史上的前身变体（跑别人的代码、花自己的 gas 记自己的账），在现代合约里基本绝迹。

经费怎么分：63/64 规则与 gas 退还

帧间传播的经费就是 gas。自 EIP-150 起，父帧转给子帧的 gas 上限是父帧当前剩余gas 减去六十四分之一——这层『留一斗米』的规则是为了让父合约在子调用失败后还有力气回滚、发事件、收尾。子帧没用完的 gas 会退回父帧，所以『调用的 gas 是借的，不是花的』；但子帧内部花掉的无法追讨——如果子合约跑进了死循环把借来的 gas 烧光，父帧只剩下那六十四分之一，连 revert 时写一条详细错误日志都不够。这就是为什么 EVM 在创建操作码与子调用返回失败的两处都会做『检查调用方是否还有最低生存 gas』的防御：防止子帧把资源榨干到父帧无法完成回滚。写合约时『给外部调用留足余量』的纪律，根源就在这条算术里。

revert 怎么传：默认上窜与 try-catch

一个常见误区是『子合约 revert 只是那笔调用失败』。默认语义恰恰相反：子帧 revert 后，父帧拿到的只是一个失败标志，世界状态的回滚范围是子帧自己的；父帧如果不处理这个失败标志继续往下跑，它自己的改动照样作数——于是一笔交易里出现『一半一半』的中间态。Solidity 高层函数调用之所以看起来自动『全盘回滚』，是因为编译器在每个外部调用后插了检查：调用失败就立刻在父帧也执行 revert，让失败像水灾一样逐层上窜直到顶层交易。想要更精细的控制就得用 try-catch 语法显式捕获调用失败，或者用低级 call 手动读失败标志；但注意 try-catch 只能接住外部调用的 revert，接不住交易顶层的 out-of-gas——gas 烧光不产生 revert 数据，整笔交易直接作废。理解这条差异，才能读懂『为什么这笔失败交易没有 revert reason 却烧掉了 gas』这类链上排查的经典问题。