请教一个高级语言中函数调用栈相关的问题

最近在研究 JavaScript 中闭包，发现 A 函数返回值是其内部定义的 B 函数对象时，就算 A 函数执行完，因为词法环境的缘故，A 函数内部的局部变量也不会被销毁。

类似的 python 中闭包也有这个特性

而这个和我理解 C 语言或汇编的调用栈，一个函数执行完，调用栈中所有的变量都会被销毁，完全不一样

直到我看到别人博客中一句话：

“ 汇编或 C 语言中的栈和高级语言中栈是完全不同的。JavaScript 中闭包是在堆中申请的，使用 gc 管理，而汇编栈不存在 gc ，由函数调用与返回来自动更新 SP 指针实现的。所以在高级语言的闭包中其父级作用域在函数结束后不会被销毁 ”

他这句话对吗？高级语言的函数调用栈是都在堆中申请的吗？

function User(age){
    this.age = age
    this.changeAge = function(){
        this.age += 1
        console.log(this.age)
    }
}

let tom = new User(18)
tom.changeAge()  // 19
tom.changeAge()  // 20 ，而不是 19

所以 js 的构造函数可以反复使用方法修改属性就是借助闭包实现的是吗？

class User:
    def __init__(self, age):
        self.age = age
    def changeAge(self):
        self.age += 1
        print(self.age)

tom = User(18)
tom.changeAge()  // 19
tom.changeAge()  // 20 ，而不是 19

类似 python 的类的实现细节中，对象的方法可以反复修改对象的属性也是借助闭包实现是吗？

lisongeee

2022-08-30 20:13:03 +08:00

> 所以在高级语言的闭包中其父级作用域在函数结束后不会被销毁

对于 v8 这个 js 引擎，如果子作用域使用了父作用域的变量，引擎会做静态代码分析，销毁父作用域后，把用到的变量包起来，打包给子函数，放到一个属性上

![image]( https://user-images.githubusercontent.com/38517192/187432264-4ffd2936-d763-4408-8443-55a2609a8016.png)

hangbale

2022-08-30 23:05:31 +08:00

@yezheyu 语言本身是没有堆栈一说，堆栈这两个东西的意义跟编译器如何分配程序中各种变量的内存空间以及管理它们的生命周期有关，所有的语言，调用栈在运行形式上都是一样的，函数 outer 执行时，它的活动记录入栈，函数退出时，它的活动记录出栈，函数的局部数据也随之销毁，但是如果这个函数返回了一个函数 inner ，并且 inner 引用了 outer 的局部数据(闭包)，那么 outer 的这些被引用的数据就不能被销毁，所以这些数据通常会移到堆上去，但是堆上的数据一般需要手动销毁或者写一个 GC 来管理。
js 与 c 不同的是，js 通常依赖 C++实现，所以在 js 里谈堆栈谈的是 C++的东西，另外 js 是动态类型，一切可变，这会很大程度上影响存储分配策略