var x = 10;
function foo() {
var y = 20;
function barFD() { // 函数声明
alert(x);
alert(y);
}
var barFn = Function('alert(x); alert(y);');
barFD(); // 10, 20
barFn(); // 10, "y" is not defined
}
foo();
还有：
复制代码 代码如下:
var x = 10, y = 10;
with ({x: 20}) {
var x = 30, y = 30;
//这里的 x = 30 覆盖了x = 20；
alert(x); // 30
alert(y); // 30
}
alert(x); // 10
alert(y); // 30
在进入上下文时发生了什么？标识符“x”和“y”已被添加到变量对象中。此外，在代码运行阶段作如下修改：
•x = 10, y = 10;
•对象{x:20}添加到作用域的前端;
•在with内部，遇到了var声明，当然什么也没创建，因为在进入上下文时，所有变量已被解析添加;
•在第二步中，仅修改变量“x”，实际上对象中的“x”现在被解析，并添加到作用域链的最前端，“x”为20，变为30;
•同样也有变量对象“y”的修改，被解析后其值也相应的由10变为30;
•此外，在with声明完成后，它的特定对象从作用域链中移除（已改变的变量“x”－－30也从那个对象中移除），即作用域链的结构恢复到with得到加强以前的状态。
•在最后两个alert中，当前变量对象的“x”保持同一，“y”的值现在等于30，在with声明运行中已发生改变。
函数
关于圆括号的问题
让我们看下这个问题：‘ 为何在函数创建后的立即调用中必须用圆括号来包围它？'，答案就是：表达式句子的限制就是这样的。
按照标准，表达式语句不能以一个大括号 { 开始是因为他很难与代码块区分，同样，他也不能以函数关键字开始，因为很难与函数声明进行区分。即，所以，如果我们定义一个立即执行的函数，在其创建后立即按以下方式调用：
复制代码 代码如下:
function () {
...
}();
// 即便有名称
function foo() {
...
}();
我们使用了函数声明，上述2个定义，解释器在解释的时候都会报错，但是可能有多种原因。如果在全局代码里定义（也就是程序级别），解释器会将它看做是函数声明，因为他是以function关键字开头，第一个例子，我们会得到SyntaxError错误，是因为函数声明没有名字（我们前面提到了函数声明必须有名字）。第二个例子，我们有一个名称为foo的一个函数声明正常创建，但是我们依然得到了一个语法错误——没有任何表达式的分组操作符错误。在函数声明后面他确实是一个分组操作符，而不是一个函数调用所使用的圆括号。所以如果我们声明如下代码：
复制代码 代码如下:
// "foo" 是一个函数声明，在进入上下文的时候创建
alert(foo); // 函数
function foo(x) {
alert(x);
}(1); // 这只是一个分组操作符，不是函数调用！
foo(10); // 这才是一个真正的函数调用，结果是10
创建表达式最简单的方式就是用分组操作符括号，里边放入的永远是表达式，所以解释器在解释的时候就不会出现歧义。在代码执行阶段这个的function就会被创建，并且立即执行，然后自动销毁（如果没有引用的话）
复制代码 代码如下:
(function foo(x) {
alert(x);
})(1); // 这才是调用，不是分组操作符
上述代码就是我们所说的在用括号括住一个表达式，然后通过（1）去调用。注意，下面一个立即执行的函数，周围的括号不是必须的，因为函数已经处在表达式的位置，解析器知道它处理的是在函数执行阶段应该被创建的FE，这样在函数创建后立即调用了函数。
复制代码 代码如下:
var foo = {
bar: function (x) {
return x % 2 != 0 ? 'yes' : 'no';
}(1)
};
alert(foo.bar); // 'yes'
就像我们看到的，foo.bar是一个字符串而不是一个函数，这里的函数仅仅用来根据条件参数初始化这个属性——它创建后并立即调用。
1.因此，”关于圆括号”问题完整的答案如下：
2.当函数不在表达式的位置的时候，分组操作符圆括号是必须的——也就是手工将函数转化成FE。
3.如果解析器知道它处理的是FE，就没必要用圆括号。
自由变量：
复制代码 代码如下: