旧文新发呀,去年关于内存结构分析的学习笔记,今年再看清楚了很多,发粗来~
1. 堆、栈、池
首先来段代码:
var str1 = "hello world";
var str2 = String("hello world");
var str3 = new String("hello world");
alert(str1 == str2); // true
alert(str1 === str2); // true
alert(str1 == str3); // true
alert(str1 === str3); //false
可以发现,str1
和str2
是完全相等的,然而和str3
的指针不同,Y?
由此引出了堆、栈、池的概念。
- 栈,存放变量和函数;
- 堆,比较灵活,当需要创建一个新对象或执行新函数时,一般会在堆中进行存储;
- 池,存放基本类型变量和字符串变量。
因此,在上述代码块中,其内部的内存结构是这个样子的:
根据代码结构,在栈中存放了
str1
、str2
、str3
三个变量,常量池中存放字符串“hello world”,因此当执行var str1 = "hello world"
和var str2 = String("hello world")
时,直接将hello world的地址存入栈中变量。然而对于第三种创建方式,因为要新建一个对象,因此在堆中先开辟一个存储空间,将此空间的地址存储到
str3
中,此空间中存储的是“hello world”字符串的地址,因此,虽然三者最后达到的目的一样,然而,第三种的指针却和前两者是不同的。
2. 全局变量、局部变量、作用域
依旧是抛出一段代码,上述代码的加强版:
var str1 = "hello world";
var str2 = new String("hello dn");
var num1 = 10;
var num2 = 20;
function fun1(){
str2 = str1;
num1 = 5;
num2 = 10;
var num2;
}
//fun1();
alert(str1); // "hello world"
alert(str2); // "hello dn"
alert(num1); // 5
alert(num2); // 20
当不执行函数fun1()
时,四个alert
的结果依次是:hello world,hello dn,10,20;
此时的内存结构是这个样子的。
我们看到此时
fun1()
只在栈中存储了变量名字,函数并未得到执行,因此,从上述的结构中,可以看到alert
的结果。
然而,如果执行了函数呢,结果将会变成hello world,hello world,5,20;
当函数执行时,会在堆中开辟一块新的存储空间。这块存储空间里也可以存储变量可以干存储函数或者...继续开辟新的空间。
函数的定义就是为了调用,一旦调用就会在堆里开辟新的存储空间;调用结束立马释放内存。如果不调用,它就静静的在栈里待着。如果把一个函数调用两次呢,依旧是,开辟一个释放了,再开辟一个释放了,就是这么麻利这么干脆。
继续说上面这个例子...
假设六边形是
fun1()
新开辟的空间,函数的定义就是为了调用,一旦调用就会在堆里开辟新的存储空间;
执行语句
str2 = str1
,因此在六边形空间里,发现并没有存储变量str2
,此时,该语句的对象即是全局变量str2
,str1
将“hello world”的地址赋值给str2
,因而,str2
指向的也是“hello world”;执行语句
num1 = 5
时,同上,也是指的是全局变量num1
,即存储在栈里的num1
,此时,num1 = 5
;所以接下来要执行
num2 = 10
了么?那么alert(num2)
也是应该是10啊,NO!因为变量提升,JS中,函数和变量总是会提升到语句的最顶部,因此,首先执行的是var num2
这一变量声明的。这是一个新变量,故而,在六边形内部,开辟了一块新地方来存储num2
,因此,10是赋值给局部变量num2
的。并没有影响到全局变量。当fun()执行完毕后,这块内存立即释放,但是,“天空中没有鸟的痕迹,但我已经飞过”。该做的改动还是改了。故而,便有了str1=str2 =“hello world”,num1 = 5,num2 = 20。
3. 继续加深...
一言不合放代码
var str1 = "helloworld";
var str2 = new String("hello dn");
var num1 = 10;
var num2 = 20;
function fun1(){
var str2;
str2 = str1;
num1 = 5;
num2 = 10;
fun2();
var num2;
}
function fun2(){
num2 = 30;
}
fun1();
alert(str1); // "helloworld"
alert(str2); // "hello dn"
alert(num1); // 10
alert(num2); // 30
在这段代码中,当调用fun2()
时,则在fun1()
中又开辟一块存储空间,来执行函数,执行到语句num2 = 30
时,fun2()
的存储空间里没有这么个变量num2
,那么,它是会选择哪个,就近,还是求远?
答案是,它选择了全局变量num2
,fun2()
只知道自己被调用,哪里知道自己是被谁调用的,这种情况下,它发现自己没有变量num2
,于是果断的去栈里寻找全局变量。于是,alert(num2) = 30
。结构图如下。
哈哈,如果在fun2()
中加上变量声明var num2
呢,那么fun2()
的存储空间里也会给这个局部变量一个位置,num2 = 30
就只是改变fun2()
作用域里的值了,并不影响全局变量~
其实现在看这段笔记,觉得还是一句话
在作用域链中,如果某变量在函数中不存在,则要到创建这个函数的那个作用域中取值——是“创建”,而不是“调用”。
最后例子完美的说明了这点。
结束~~