JavaScript严格模式禁用With语句的原因

严格模式对With语句的限制

在研读JavaScript严格模式时，常会注意到“禁用With语句”这一规定。由于日常开发中较少使用此语句，其是否被禁用对代码影响不大，因此往往被忽略。然而，不禁让人好奇：为何严格模式对With语句如此排斥？

根据EcmaScript规范，With语句的作用是设置代码在特定对象中的作用域。这表明With语句会改变原有的作用域链结构。

function Person(name,age,sex){
this.name = name;
this.age = age;
this.sex = sex;
}
(function(){
var title = '申请人：';
var zhangsan = new Person('张三',20,'男');
var str = '';
with(zhangsan){
str = title+name+'，年龄'+age+'岁，'+sex+'性'+'，职位'+job;
}
console.log(str);
})();

执行上述代码时，会抛出Uncaught ReferenceError: job is not defined错误。

若将上述With语句块修改为以下形式：

str = title+zhangsan.name+'，年龄'+zhangsan.age+'岁，'+zhangsan.sex+'性'+'，职位'+zhangsan.job;

此时代码不再报错，输出str的结果为：申请人：张三，年龄20岁，男性，职位undefined。

在With语句块内部，所有变量在执行时都会优先在zhangsan对象中查找其属性。

编译期与运行时的冲突

脚本运行包含编译和执行两个阶段。在编译阶段，无法确定zhangsan变量所指向的对象具体包含哪些属性，只有在运行时才能确认zhangsan是Person类的实例。因此，编译器无法在编译时判定With块内的变量究竟是zhangsan的属性，还是上一层作用域链中的变量。

这种动态解析机制与严格模式要求在编译期检查变量是否已定义的规则相冲突。由于严格模式不允许这种不确定性存在，因此禁止With语句的使用也就顺理成章了。