摘要：由于表達式偏啰嗦，于是最近便開始采用來減輕負擔。規范是這么說的在規范，有如下描述搬譯一下操作符產生式按如下流程解釋令為解釋執行的結果。而如果把換成操作符寫成，她的就不會減了，因為操作符不會對求值。

由于JS表達式偏啰嗦，于是最近便開始采用Coffeescript來減輕負擔。舉個栗子，當我想取屋子里的第一條dog時，首先要判斷house對象是否存在，然后再判斷house.dogs是否存在，最后取house.dogs[0]。在JS需要這么寫

var dog = (typeof house !== "undefined && house !== null) && house.dogs && house.dogs[0]

在Coffee中，我只需要這么寫：

dog = house?.dogs?[0];

寫到這里，讀者會問，這跟標題《Javascript中的void》有一毛錢關系？Coffee的本質就是JS，之所以Coffee能工作的很好，是因為它生成出了高效而且健壯的JS代碼，我們可以看看它的生成結果。

var dog, _ref;

dog = typeof house !== "undefined" && house !== null ? (_ref = house.dogs) != null ? _ref[0] : void 0 : void 0;

短短一行Coffee代碼生成出了如此長的JS代碼，看上去似乎比我最前面自己用JS寫的更靠譜更安全，末尾還出來了兩個void 0，這究竟是何方神圣？

結構化一下上面的例子：

dog = (typeof house !== "undefined" && house !== null) ? 
        ((_ref = house.dogs) != null ? _ref[0] : void 0 ) 
        : void 0;

如果house未定義或house為null時，返回void 0

如果house.dogs為null時，返回void 0

可void 0究竟是什么值，這個倒很容易測試:

typeof void 0 //得到"undefined"
console.log(void 0) //輸出undefined

似乎void 0就是undefined了，但這樣子路數太野，也不夠嚴謹，即無法回答：void 100, void hello(), void i++這無數可能組合的值是什么？

我們來瞅瞅規范是怎么說的吧。

在ECMAScript 262規范，有如下描述：

  
The void Operator
  
  
The production UnaryExpression : void UnaryExpression is evaluated as follows:
  
  
Let expr be the result of evaluating UnaryExpression.
  
Call GetValue(expr).
  
Return undefined.
  
NOTE: GetValue must be called even though its value is not used because it may have observable side-effects.

搬譯一下：

  
void操作符
  
  
產生式 UnaryExpression : void UnaryExpression 按如下流程解釋:
  
  
令 expr 為解釋執行UnaryExpression的結果。
  
調用 GetValue(expr).
  
返回 undefined.
  
注意：GetValue一定要調用，即使它的值不會被用到，但是這個表達式可能會有副作用(side-effects)。

重點在于：無論void后的表達式是什么，void操作符都會返回undefined. 因此上面由Coffee編譯出來的代碼我們可以認為是這樣的：

dog = (typeof house !== "undefined" && house !== null) ? 
        ((_ref = house.dogs) != null ? _ref[0] : undefined ) 
        : undefined ;

問題來了，既然(void 0) === undefined，那直接寫undefined不就行了么？

因為undefined在javascript中不是保留字。換言之，你可以寫出：

function joke() {
    var undefined = "hello world";
    console.log(undefined); //會輸出"hello world"
}
console.log(undefined); //輸出undefined

對的，你可以在一個函數上下文內以undefined做為變量名，于是在這個上下文寫的代碼便只能通過從全局作用域來取到undefined，如：

window.undefined //瀏覽器環境
GLOBAL.undefined //Node環境

但要注意的是，即便window, GLOBAL仍然可以在函數上下文被定義，故從window/GLOBAL上取undefined并不是100%可靠的做法。如：

function x() {
   var undefined = "hello world",
       f = {},
       window = {
           "undefined": "joke"
       };
   console.log(undefined);// hello world
   console.log(window.undefined); //joke
   console.log(f.a === undefined); //false
   console.log(f.a === void 0); //true
}

于是，采用void方式獲取undefined便成了通用準則。如underscore.js里的isUndefined便是這么寫的：

_.isUndefined = function(obj) {
    return obj === void 0;
}

除了采用void能保證取到undefined值以外，還有其它方法嗎？有的，還有一種方式是通過函數調用。如AngularJS的源碼里就用這樣的方式：

(function(window, document, undefined) {
    //.....
})(window, document);

通過不傳參數，確保了undefined參數的值是一個undefined。

除了取undefined外，void還有什么其它用處嗎？

還有一個常見的功能，填充href。下面是一個微博截圖，它的轉發, 收藏， 討論都是超鏈接，但是用戶并不希望點擊它們會跳轉到另一個頁面，而是引發出一些交互操作。

理論上而言，這三個超鏈接都是沒有URL的，但如果不寫的話，呵呵，點擊它會刷新整個頁面。于是便用上了href="javascript:void(0)的方式，確保點擊它會執行一個純粹無聊的void(0)。

另一種情況是，如果我們要生成一個空的src的image，最好的方式似乎也是src="javascript:void(0)"，參見StackOverflow上的這個問題：What"s the valid way to include an image with no src?

回到void的定義，有一句話特別讓人迷惑：

  
注意：GetValue一定要調用，即使它的值不會被用到，但是這個表達式可能會有副作用(side-effects)。

這是什么意思？這表示無論void右邊的表達式是什么，都要對其求值。這么說可能不太明白，在知乎上winter大神有過闡述關于js中void，既然返回永遠是undefined，那么GetValue有啥用？，我且拾人牙慧，代入一個場景，看代碼：

var happiness = 10;
var girl = {
    get whenMarry() {
        happiness--;
        return 1/0; //Infinity
    },
    get happiness() {
        return happiness;
    }
};

console.log(girl.whenMarry); //調用了whenMarry的get方法
console.log(girl.happiness); // 9

void girl.whenMarry; //調用了whenMarry的get方法
console.log(girl.happiness); // 8

delete girl.whenMarry; //沒有調用whenMarry的get方法
console.log(girl.happiness); //還是8

上述代碼定義了一個大齡文藝女青年，每被問到什么時候結婚呀(whenMarry)，happiness都會減1。從執行情況可以看出，無論是普通訪問girl.whenMarry，還是void girl.whenMarry都會使她的happiness--。而如果把void換成delete操作符寫成delete girl.whenMarry，她的happiness就不會減了，因為delete操作符不會對girl.whenMarry求值。

void有如下作用：

通過采用void 0取undefined比采用字面上的undefined更靠譜更安全，應該優先采用void 0這種方式。

填充的href確保點擊時不會產生頁面跳轉; 填充的src，確保不會向服務器發出垃圾請求。