建议

🔍 搜索词

数组赋值推断
空数组
在创建此问题之前，您搜索的关键词列表。请将它们写在这里，以便其他人更容易地找到此建议并提供反馈。

✅ 可实现性检查清单

我的建议符合以下准则：

• 这不会对现有的TypeScript/JavaScript代码造成破坏性的更改
• 这不会改变现有JavaScript代码的运行时行为
• 这可以在不根据表达式的类型发出不同的JS的情况下实现
• 这不是一个运行时特性(例如库功能、带有JavaScript输出的非ECMAScript语法、JS的新语法糖等)
• 此功能将与 TypeScript's Design Goals 的其他部分保持一致。

⭐ 建议

当使用 const 或 let 创建数组变量并将其分配给另一个类型化数组变量之后的数组时，应从变量中推断类型：

class Foo {

    foo: number[];

    doSomething() {
        const a = this.foo = []; // a is now any[] or never[]
        const b: number[] = this.foo = []; // b is number[] but we have to repeat the type declaration
    }

}

似乎存在IDE之间的不一致性，对于VS Code,它是 any[] ,而对于playground,它是 never[] 。参见 my question on StackOverflow about this

📃 激励示例

目前，如果指定 --noImplicitAny (至少对于VS和VS Code),上述代码将导致编译错误。您也没有为数组元素设置强类型变量。有了这个功能的实现，您现在可以编写：

class Manager {

    foo: Employee[];

    doSomething() {
        const foo = this.foo = []; // a should be Employee[]

        for (let item of arr) { foo.push(item); }

        foo[0].role = "manager"; // Elements are now strongly typed.
    }

}

💻 用例

我经常在没有像Angular这样的框架的小项目中编写HTML模板时使用这段代码。例如：

export class MyComponent extends HTMLElement {

    // Others
    items: ListItem[];

    set(list: ListItem[]) {
        // This would result in error currently in VS Code with noImplicitAny
        const items = this.items = [];
        for (let item of items) {
            // Other code
            items.push(item);
        }

        // Work with items
        for (let item of items) {
                // item is any currently, not ListItem
        }
    }
}