ts-learnings/02_variables_declaration.md
2019-03-27 08:31:28 +08:00

20 KiB
Raw Blame History

变量的声明Variables Declaration

letconst是较新一版JavaScript(ES6)中变量声明的方式。前一部分提到,let在很多方面与var是相似的,但let却可以帮助大家解决JavaScript中的一些常见问题。const是对let的一个增强,可阻止对经其修饰的变量的再次赋值。

因为TypeScript是JavaScript的超集(super-set)所以自然有对JavaScript所有特性的支持letconst关键字也不例外。以下将详细讨论这些全新的声明方式,以及为何要用它们来取代var的原因。

如果你还没有发现JavaScript中使用var所带来的问题,那么下面的内容将唤起你的记忆。

关于var式变量声明

JavaScript使用var关键字来声明变量,有着悠久的历史:

var a = 10;

显而易见,这里定义出一个名为a的值为10的变量(指向某个内存单元地址)。

在函数内部,也可以进行变量的定义:

function f() {
    var msg = "Hello, World!"

    return msg;
}

在其它函数内部,也可以访问相同变量:

function f() {
    var a = 10;

    return function g() {
        var b = a+1;
        return b;
    }
}

var g = f();
g();

在上面的例子中,g 可以获取到函数f里定义的变量a。在g被调用时,它都可以访问到f里的变量a即使gf已经执行完毕后才被调用,其任可以访问并对a进行修改

function f () {
    var a = 1;

    a = 2;

    var b = g();

    a = 3;

    return b;

    function g () {
        return a;
    }
}

f(); // 返回的是 2

作用域规则Scope Rules

加入对其它严格的编程语言比较熟悉那么对于JavaScript中var声明的作用域规则,将感到奇怪。比如:

function f(shouldInitialize: boolean) {
    if ( shouldInitialize ) {
        var x = 10;
    } 

    return x;
}

f(true); // 返回的是 `10`
f(false); // 返回 `undefined`

多看几遍这段代码就会发现,这里的变量x是定义在if语句里的,但却可以在该语句外面访问到它。究其原因,在于var声明可以在包含它的函数、模块、命名空间或全局作用域内的任何位置被访问到(后面将详细讨论这个问题),而所包含其的代码块却没什么影响。有人就直接叫这种作用域为 var作用域 ,或 函数作用域 。对于函数参数,也适用函数作用域(函数参数也相当于var声明)。

此规则所涵盖到的作用域,将引发一些错误。比如多次声明同一个变量不会报错,就是其中之一:

function sumMatrix (matrix: number[][]) {
    var sum = 0;

    for (var i = 0; i < matrix.length; i++){
        var currentRow = matrix[i];

        for (var i = 0; i < currentRow.length; i++){
            sum += currentRow[i];
        }
    }
    
    return sum;
}

显然,内层的for循环会覆盖变量i,因为所有i都引用相同的函数作用域内的变量。稍微有经验的Coder都知道这些问题可能在代码审查时遗漏从而引发麻烦。

捕获变量怪异之处

看看下面的代码,将有什么样的输出:

for (var i = 0; i < 10; i++){
    setTimeout(function (){
        console.log(i);
    }, 100 * i);
}

对于那些尚不熟悉的Coder要知道这里的setTimeout会在若干毫秒的延时后尝试执行一个函数(因此要等待其它所有代码执行停止)。

结果就是:

10
10
10
10
10
10
10
10
10
10

很多有经验的JavaScript程序员对此已经很熟悉了但如被输出吓到了也不是你一个人。大多数人都期望得到这样的结果

0
1
2
3
4
5
6
7
8
9

参考上面提到的捕获变量Capturing Variables传递给setTimeout的每一个函数表达式,实际上都引用了相同作用域中的同一个i

这里有必要花个一分钟来思考一下那意味着什么。setTimeout将在若干毫秒后运行一个函数, 但只是for循环已停止执行后。随着for循环的停止执行,i的值就成为10。这就是作为setTimeout的第一个参数的函数在调用时,每次都输出10的原因。

作为解决此问题的一种方法就是使用立即执行的函数表达式Immediately Invoked Function Expression, IIFE, 参考链接)。

for (var i = 0; i < 10; i++){
    // 这里要捕获到变量`i`的当前状态
    // 是通过触发带有其当前值的一个函数实现的
    (function(i){ 
        setTimeout(function (){
            console.log(i);
        }, 100 * i)
    })(i);
}

其实对于这种奇怪的形式,我们都已司空见惯了。立即执行函数中的参数i,会覆盖for循环中的i,但因为使用相同的名称i,所以都不用怎么修改for循环体内部的代码。

关于全新的let声明方式

现在已经知道使用var存在诸多问题,这也是要使用let的理由。除了拼写不一样外,letvar的写法一致。

let hello = 'Hello!';

二者主要的区别,不在于语法上,而是语义的不同,下面会深入研究。

块作用域Block Scoping

在使用let来声明某个变量时,使用了 词法作用域Lexical Scope ,或 块作用域Block Scope 。与使用var声明的变量可在所包含的函数外部访问到不同,块作用域的变量在包含它们的块或for循环之外,是不能访问的。

function f (input: boolean) {
    let a = 100;

    if (input) {
        // 这里仍然可以对`a`进行引用
        let b = a + 1;
        return b;
    }

    // 这样写就会报错:`b` 在这里不存在error TS2304: Cannot find name 'b'.
    return b;
}

上面的代码中定义了两个变量aba的作用域是函数体f内部。而b的作用域为if语句块里。

catch语句里声明的变量也具有同样的作用域规则。比如:

try {
    throw "oh no!"
}

catch (e) {
    console.log("Oh well.")
}

// 下面这样会报错:这里不存在`e`
console.log(e);

块级作用域变量的另一个特点,就是在其被声明之前,是不能访问的(尚未分配内存?)。虽然它们始终“存在”与它们所属的作用域里,但在声明它们的代码之前的部分,被成为 暂时性死区Temporal Dead Zone, TDZ 参考链接)。暂时性死区只是用来说明不能在变量的let语句之前访问该变量而TypeScript编译器可以给出这些信息。

a++; // error TS2448: Block-scoped variable 'a' used before its declaration. error TS2532: Object is possibly 'undefined'.
let a;

这里需要注意一点,在一个拥有块作用域的变量被声明之前,仍然可以 获取capture 到它。但要在变量被声明前就去调用那个其所属的函数是不可行的。如编译目标代码是ECMAScript 2015ES6那么较新的运行时将抛出一个错误不过目前的TypeScript编译器尚不能就此进行报错。

function foo () {
    // 这里要获取到`a`没有问题okay to capture `a`

    return a;
}


// 但不能在`a`被声明前调用函数`foo`
// 运行时runtime应该抛出错误

foo();

let a;

关于 暂时性死区 的更多信息,请参考Mozilla开发者网络

重定义与屏蔽Re-decalration and Shadowing

在使用var进行变量声明时,注意到对变量进行多少次声明都没有关系;得到的变量仅有一个。

function f (x) {
    var x;
    var x;

    if (true) {
        var x;
    }
}

在上面的示例中,对x的所有声明,都是对同一个x的引用且这样做也毫无问题。但这种做法通常将导致很多bug。let式的声明,终于不会这样任性了。

let x = 10;
let x = 20; // error TS2451: Cannot redeclare block-scoped variable 'x'.

并不是要重复声明的变量都是块作用域TypeScript编译器才会给出存在问题的信息。

function f (x) {
    let x = 100; // error TS2300: Duplicate identifier 'x'.
}

function g () {
    let x = 100;
    var x = 100; // error TS2451: Cannot redeclare block-scoped variable 'x'.
}

这并非是说块作用域的变量决不能以某个函数作用域变量加以声明。而是说块作用域变量,只需要在某个明显不同的块中,加以声明。

function f(condition, x) {
    if (condition) {
        let x = 100;
        return x;
    }

    return x;
}

f(false, 0); // 返回 `0`
f(true, 0); // 返回 `100`

这种在某个更深的嵌套块中引入新变量名的做法,就叫 屏蔽shadowing 。这样做看起来像是双刃剑,因为无意的屏蔽可能引入某些程序漏洞,同时也可能防止某些漏洞。比如,设想用现在的let变量来重写之前的sumMatrix

function sumMatrix(matrix: number[][]) {
    let sum = 0;

    for (let i = 0; i < matrix.length; i++){
        var currentRow = matrix[i];

        for (let i = 0; i < currentRow.length; i++){
            sum += currentRow[i];
        }
    }
}

此版本的循环无疑将正确进行求和了,因为内层循环的i屏蔽了外层循环的i

通常为了顾及编写出清爽的代码应避免使用屏蔽shadowing。但在某些情况下使用屏蔽又能带来好处因此用不用此特性就取决于你的判断了。

捕获块作用域变量Block-scoped Variable Capturing

前面在var式声明上,初次接触到 变量捕获variable capturing 这一概念,主要对所捕获到的变量的行为,有所了解。为了对此有更直观的认识,那么就说在某个作用域运行时,该作用域就创建出一个变量的“环境”。此环境及其所捕获到的变量,就算其作用域中的所有语句执行完毕,也仍将持续存在。

function theCityThatAlwaysSleeps () {
    let getCity;

    if (true) {
        let city = "Seattle";

        getCity = function () {
            return city;
        }
    }

    return getCity;
}

上面的代码中,因为在city所在的环境中对其进行了捕获,所以尽管if块完成了执行,却仍可以访问到它。

回顾之前的setTimeout示例,那里为了捕获for循环的每次迭代下某个变量的状态而最终使用了一个IIFE。实际上为了所捕获的变量而是建立了一个新的变量环境。那样做有点痛苦但幸运的是在TypeScript中再也无须那样做了。

在作为某个循环一部分使用let进行变量声明时,这些let声明有着显著不同的行为。与仅仅将一个新的环境引入到该循环相比这些声明在某种程度上于每次遍历都创建出一个新的作用域。因此这就跟使用IIFE有着异曲同工的效果那么就可以仅使用let来改写旧版的setTimeout示例了。

for (let i = 0; i < 10; i++) {
    setTimeout(function () { console.log(i); }, 100 * i);
}

将如预期的那样,输出以下结果:

0
1
2
3
4
5
6
7
8
9

关于const式的声明

const式声明是声明变量的另一种方式。

const numLivesForCat = 9;

此类声明与let声明相似,但如同它们的名称一样,经由const修饰的变量的值,一旦被绑定,就不能加以改变了。也就是说,这些变量与let式声明有着相同的作用域,但不能对其进行再度赋值。

注意不要与所谓某些所引用的值 不可修改immutable 之概念搞混(经const修饰变量与那些不可修改值并不是一个东西)。

const numLivesForCat = 9;

const kitty = {
    name: "Aurora",
    numLives: numLivesForCat
}

// 下面的代码将报错

kitty = {
    name: "Danielle",
    numLives: numLivesForCat
};

// 但这些代码都没有问题
kitty.name = "Rory";
kitty.name = "Kitty";
kitty.name = "Cat";
kitty.numLives--;

上面的示例表明,除非采取了特别措施加以避免,某个const变量的内部状态仍然是可改变的。不过恰好TypeScript提供了将对象成员指定为readonly的方法。接口那一章对此进行了讨论。

letconst的比较

现在有了两种在作用域语义上类似的变量声明方式,那自然就要发出到底要使用哪种方式的疑问。与那些最为宽泛的问题一样,答案就是看具体情况。

适用最小权限原则,除开那些将进行修改的变量,所有变量都应使用const加以声明。这么做的理论基础就是,在某个变量无需写入时,在同一代码基础上工作的其他人就不应自动地被赋予对该对象写的权力,同时将需要考虑他们是否真的需要对该变量进行重新赋值。使用const还可以在对数据流进行推演时,令到代码更可预测。

总之需要三思而后行,同时在可行的情况下,应就此与团队的其它人共商此事。

本手册主要使用let声明。

解构Destructuring及新语法...

TypeScript从ECMAScript 2015ES6那里借鉴的另一特性就是 解构 。可从Mozilla开发者网络对结构这一全新特性做完整了解。此小节将做简短的概览。

数组的解构

解构的最简单形式就是数组结构式赋值array destructuring assignment

let input: number[] = [1, 2];
let [first, second] = input;

console.log(first); // 输出 1
console.log(second); // 输出 2

上面的代码,创建了两个分别名为firstsecond的变量。这与使用索引效果一样,却更为方便:

let [first, second];
first = input[0];
second = input[1];

对于那些已经声明的变量,解构也工作:

// 对变量的交换操作
[first, second] = [second, first];

以及对某个函数参数的解构:

function f ( [first, second]: [number, number] ) {
    console.log(first);
    console.log(second);
}

f([1, 2]);

使用 语法... 可为某个清单list, 也就是数组)中剩下的条目创建一个变量:

let [first, ...remain] = [1, 2, 3, 4];

console.log(first);
console.log(remain);

因为这是JavaScript, 所以当然可以将那些不在乎的后续元素,简单地忽视掉:

let [first] = [1, 2, 3, 4];
console.log(first); // 输出 1

或仅结构其它元素:

let [, second, , fourth] = [1, 2, 3, 4];

对象的解构Object destructuring

还可以解构对象:

let o = {
    a: "foo",
    b: 12,
    c: "bar"
};

let {a, b} = 0;

这段代码将从o.ao.b创建出两个新变量ab。请注意在不需要c时可跳过它。

与数组解构一样,可不加声明地进行赋值:

({a, b} = {a: "baz", b: 101});

请注意这里必须将该语句用括号(())括起来。因为 JavaScript会将{解析为代码块的开始

使用...语法,可为某个对象中的剩余条目,创建一个变量:

let {a, ...passthrough} = o;
let total = passthrough.length + passthrough.c.length;

属性的重命名(新语法)

给属性赋予不同的名称,也是可以的:

let {a: newName1, b: newName2} = o;

从这里开始,此新语法就有点令人迷惑了。建议将a: newName1读作a作为newName1"a as newName1"。其方向是左到右left-to-right的, 就如同以前写的:

let newName1 = o.a;
let newName2 = o.b;

此外,这里的冒号(:)也不是指的类型。如果要指定类型,仍然需要写道整个解构的后面:

let {a, b} : {a: string, b: number} = o;

对象解构的默认值Default values, 新语法)

默认值令到在某属性未被定义时,为其指派一个默认值成为可能:

function keepWholeObject ( wholeObject: {a: string, b?: number} ) {
    let {a, b = 1001} = wholeObject;

    // do some stuff
}

就算b未被定义,上面的keepWholeObject函数也会有着一个wholeObject变量,以及属性ab

对象解构下的函数声明Function declarations

在函数声明中,解构也可运作。在简单场合,这是很明了的:

type C = { a: string, b?: number };

function f( {a, b}: C ) void {
    // do some stuffs
}

给参数指定默认值,是更为通常的做法,而通过解构来获取默认值,却可能是难以掌握的。首先需要记住在默认值前加上模式(C

function f ({a, b} = {a: "", b: 0}): avoid {
    // do some stuffs
}

f(); // 编译通过, 默认值为: {a: "", b: 0}

上面这段代码是类型推理type inference的一个示例本手册后面后讲到。

此时就要记住是要在被解构的属性上而不是主初始化器上给可选属性赋予一个默认值Then, you need to remember to give a default for optional properties on the destructured property instead of the main initializer。记住C的定义带有可选的b:

function f ({ a, b = 0 } = { a: "" }): void {
    //...
}

f ({a: "yes"}); // 可通过编译,默认 b = 0
f (); // 可通过编译,默认 {a: ""}, 此时默认这里b = 0
f({}); // 报错,在提供了一个参数时,就需要提供`a`

请小心谨慎地使用解构。如前面的示例所演示的那样,就算是最简单的解构表达式也不是那么容易理解。而在有着较深的嵌套解构时,即便不带有重命名、默认值及类型注释等操作,也难于掌握,那么就尤其容易搞混了。请尽量保持解构表达式在较小及简单的状态。可一致只写那些可以自己生成的赋值解构。

扩展Spread, 新语法)

扩展操作符The spread operator与解构相反。经由扩展运算符就可以将一个数组展开到另一个中去或者将一个对象展开到另一对象中去。比如

let first = [1, 2],
    second = [3, 4];

let bothPlus = [0, ...first, ...second, 5];

这段代码赋予bothPlus[0, 1, 2, 3, 4, 5]。展开spreading创建出firstsecond变量的影子拷贝a shadow copy。而两个变量则并不会被展开操作所改变。

对于对象,也可以对其展开:

let defaults = { food: "spicy", price: "$$", ambiance: "noisy" };

let search = { ...defaults, food: "rich" };

现在search就成了{ food: "rich", price: "$$", ambiance: "noisy" }。比起数组展开,对象展开 要复杂一些 。与数组展开一样对象展开将从左到右进行处理proceeds from left-to-right但结果仍是一个对象。这就是说在展开对象中后来的属性将覆盖先来的属性。所以加入将上面的示例修改为在末尾才进行展开

let defaults = { food: "spicy", price: "$$", ambiance: "noisy" };

let search = {  food: "rich", ...defaults };

此时defaults中的food属性就将覆盖food: "rich",然而这并不是我们想要的。

对象的展开还有其它一些令人惊讶的限制。首先,它仅包含某对象自己的、可枚举属性(own, enumerable properties)。简单地说这就意味着在展开某对象实例时将丢失它的那些方法Basically, that means you lose methods when you spread instances of an object:

class C {
    p = 12;
    m () {
    }
}

let c = new C();
let clone = { ...c };

clone.p; // 没有问题
clone.m(); // 报错error TS2339: Property 'm' does not exist on type '{ p: number; }'.

此外TypeScript编译器不支持一般函数的类型参数the TypeScript compiler doesn't allow spreads of type parameters from generic functions。此特性有望在该语言的后期发布中受到支持。