Solidity中Memory与Stack的区别、变量存储位置判定及存储指定规则技术咨询

我来帮你把这几个问题拆解清楚，结合EVM的底层逻辑给你讲明白：

Q1. memory与stack之间的核心区别是什么？ #

这俩都是函数执行时的临时存储（函数结束就会被清空），但定位和特性完全不同：

• 容量与适用类型：
  • stack是EVM的操作栈，容量非常有限（最多容纳1024个32字节的元素），专门用来存固定大小的值类型（比如int、uint、bool、address），是EVM执行指令时的高速临时区。
  • memory是动态分配的堆内存，容量更大，用来存动态大小的引用类型（比如字符串、变长数组、结构体）——这些类型的大小编译时没法确定，需要更灵活的存储空间。
• 管理方式：
  • stack完全由EVM自动管理，遵循“后进先出”的栈规则，开发者不用手动干预分配或释放。
  • memory需要开发者通过memory关键字显式声明，分配的内存是连续的，函数执行完毕后EVM会自动回收。
• 访问方式：
  • stack只能操作栈顶元素（通过PUSH、POP等指令），没法随机访问中间元素。
  • memory支持随机访问，可以通过内存地址直接读写数据。

Q2. 函数中局部变量如何判断存在memory还是stack？是否只有加memory才会存在memory？ #

规则其实很清晰，分两类看：

• 值类型变量（int、bool、uint等固定大小类型）：默认直接存在stack中，不需要任何关键字，也不能给它们加memory（Q3会解释原因）。
• 引用类型变量（字符串、数组、结构体等）：必须显式指定存储位置——只有声明时加了memory关键字（比如string memory str;），才会存在memory里；如果是引用合约的状态变量，会用storage关键字（这属于绑定持久化存储，不是临时存储）。

回到你给出的代码示例：

function test() public {
 string memory str;
 int i;
}

str是字符串（引用类型），加了memory，所以存在memory中；i是int（值类型），默认存在stack中，二者不会同时出现在两个区域，各自在对应的存储位置里。

Q3. 为什么只有数组、结构体、映射需要指定存储位置？为什么不能写int memory i;？ #

这要结合EVM的设计和类型特性来看：

1. 类型本质差异：
   • 数组、结构体、映射属于引用类型：要么是动态大小（比如变长数组、字符串），要么是依赖持久化存储的复杂结构（比如mapping只能绑定合约的storage），EVM没法自动判断该把它们放在哪里，所以必须由开发者指定存储位置（memory/storage，其中mapping只能用storage）。
   • 而int、bool这类值类型都是固定32字节大小，EVM可以直接把它们放到速度更快的stack里，这是最高效的存储方式，不需要额外指定。
2. Solidity的设计逻辑：
   Solidity禁止给值类型加memory，是因为memory是为动态大小的引用类型设计的，值类型放stack已经足够高效，放到memory只会增加不必要的内存分配开销，完全没有意义。另外，mapping比较特殊，它本质是哈希表结构，只能存放在合约的持久化存储storage中，根本不能放在memory或stack里。

内容的提问来源于stack exchange，提问作者ccfisdog