谈谈Javascript中的void操做符

因为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不就好了么？

为何要用void？

由于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这种方式。

• 填充<a>的href确保点击时不会产生页面跳转; 填充<image>的src，确保不会向服务器发出垃圾请求。

  - 完 -