JavaScript變量是鬆散型的(不強制類型)本質，決定了它只是在特定時間用於保存特定值的一個名字而已。由於不存在定義某個變量必須要保存何種數據類型值的規則，變量的值及其數據類型可以在腳本的生命週期內改變。
兩種不同的數據類型的值：基本類型值和引用類型值。基本類型值指的是那些保存在棧內存中的簡單數據段，即這種值完全保存在內存中的一個位置。而引用類型值則是指那些保存在堆內存中的對象，意思是變量中保存的實際上只是一個指針，這個指針指向內存中的另一個位置，該位置保存對象。
將一個值賦給變量時，解析器必須確定這個值是基本類型值，還是引用類型值。基本類型值有以下幾種：Undefined、Null、Boolean、Number和String。這些類型在內存中分別佔有固定大小的空間，他們的值保存在棧空間，通過按值來訪問的。在某些語言中，字符串以對象的形式來表示，因此被認爲是引用類型。
如果賦值的是引用類型的值，則必須在堆內存中爲這個值分配空間。由於這種值的大小不固定，因此不能把它們保存到棧內存中。但內存地址大小的固定的，因此可以將內存地址保存在棧內存中。這樣，當查詢引用類型的變量時，先從棧中讀取內存地址，然後再通過地址找到堆中的值。對於這種，稱之爲按引用訪問。
定義基本類型值和引用類型值的方式是相似的：創建一個變量併爲該變量賦值。但是，當這個值保存到變量中以後，對不同類型值可以執行的操作則大相徑庭。
var obj = new Object(); //創建引用類型 obj.name = 'Tom'; //新增一個屬性 alert(obj.name); //輸出 //如果是基本類型的值添加屬性的話，就會出現問題了。 var obj= 'Tom'; //創建一個基本類型 box.age = 25; //給基本類型添加屬性 alert(obj.age); //undefined
在變量複製方面，基本類型和引用類型也有所不同。基本類型複製的是值本身，而引用類型複製的是地址。
ECMAScript中所有函數的參數都是按值傳遞的，言下之意就是說，參數不會按引用傳遞，雖然變量有基本類型和引用類型之分。
//引用類型參數
function foo(obj) { //按值傳遞，傳遞的參數是引用類型
obj.name= 'Tom';
}
var p = new Object();
foo(p);
alert(p.name);
/*
如果存在按引用傳遞的話，那麼函數裏的那個變量將會是全局變量，在外部也可以訪問。ECMAScript沒有類似PHP中在參數前面加上&符號表示的按引用傳遞，只能是傳遞局部變量。所以按引用傳遞和傳遞引用類型是兩個不同的概念。
*/ 要檢測一個變量的類型，我們可以通過typeof運算符來判別。typeof運算符在主要適用於檢查基本數據類型，不適用於檢測引用類型，可採用instanceof運算符。
var foo = [1,2,3];
alert(foo instanceof Array); //是否是數組
var foo2 = {};
alert(foo2 instanceof Object); //是否是對象
var foo3 = /g/;
alert(foo3 instanceof RegExp); //是否是正則表達式
var foo4 = new String('Tom');
alert(foo4 instanceof String); //是否是字符串對象
//當使用instanceof檢查基本類型的值時，它會返回false。執行環境定義了變量或函數有權訪問的其他數據，決定了它們各自的行爲。全局執行環境是最外圍的執行環境(window對象)。所有的全局變量和函數都是作爲window對象的屬性和方法創建的。
每個執行環境都有一個與之關聯的變量對象，就好比全局的window可以調用變量和屬性一樣。局部的環境也有一個類似window 的變量對象，環境中定義的所有變量和函數都保存在這個對象中。函數裏的局部作用域裏的變量替換全局變量，但作用域僅限在函數體內這個局部環境。
函數體內還包含着函數，只有這個函數纔可以訪問內一層的函數。每個函數被調用時都會創建自己的執行環境。當執行到這個函數時，函數的環境就會被推到環境棧中去執行，而執行後又在環境棧中彈出(退出)，把控制權交給上一級的執行環境。
var box = 'blue';
function setBox() {
functionsetColor() {
var b = 'orange';
alert(box);
alert(b);
}
setColor(); //setColor()的執行環境在setBox()內
}
setBox();當代碼在一個環境中執行時，就會形成一種叫做作用域鏈的東西。它的用途是保證對執行環境中有訪問權限的變量和函數進行有序訪問。作用域鏈的前端，就是執行環境的變量對象。
沒有塊級作用域。塊級作用域表示諸如if語句等有花括號封閉的代碼塊，所以，支持條件判斷來定義變量。
非常不建議不使用var就初始化變量，因爲這種方法會導致各種意外發生。所以初始化變量的時候一定要加上var。
變量查詢中，訪問局部變量要比全局變量更快，因爲不需要向上搜索作用域鏈。一般確定變量都是通過搜索來確定該標識符實際代表什麼。
JavaScript具有自動垃圾收集機制，它會自行管理內存分配及無用內存的回收。
JavaScript最常用的垃圾收集方式是標記清除。垃圾收集器會在運行的時候給存儲在內存中的變量加上標記。然後，它會去掉環境中正在使用變量的標記，而沒有被去掉標記的變量將被視爲準備刪除的變量。最後，垃圾收集器完成內存清理工作，銷燬那些帶標記的值並回收他們所佔用的內存空間。
垃圾收集器是週期性運行的，這樣會導致整個程序的性能問題。比如IE7以前的版本，它的垃圾收集器是根據內存分配量運行的，比如256個變量就開始運行垃圾收集器，這樣，就不得不頻繁地運行，從而降低的性能。
一般來說，確保佔用最少的內存可以讓頁面獲得更好的性能。那麼優化內存的最佳方案，就是一旦數據不再有用，那麼將其設置爲null來釋放引用，這個做法叫做解除引用。這一做法適用於大多數全局變量和全局對象