澤楓の小屋

十一、三斜线指令三斜线指令是包含单个XML标签的单行注释。注释的内容被作为编译器指令使用。 三斜线指令只在其包含文件的顶部有效。三斜线指令的前面只能有单行或多行注释，包括其他三斜线指令。如果它们出现在语句或声明之后，则被视为普通的单行注释，没有任何特殊意义。 11.1 /// <reference path="..." /> 预处理输入文件 编译器对输入文件进行预处理，以解决所有三斜线参考指令。在这个过程中，额外的文件被添加到编译中。 这个过程从一组 根文件 开始；这些文件是在命令行或在 tsconfig.json 文件的文件列表 中指定的文件名。这些根文件按照它们被指定的顺序进行预处理。在一个文件被添加到列表中之前，其中所有的三斜线引用都会被处理，并包括它们的目标。三斜线引用是以深度优先的方式解决的，按照它们在文件中出现的顺序。 如果使用的是相对路径，那么三斜线引用的路径是相对于包含的文件进行解析的。 错误 引用一个不存在的文件是一个错误。一个文件对自己有三重斜线引用是一个错误。 使用 --noResolve 如果指定了编译器标志noReso ...

十、混入除了传统的OO层次结构外，另一种流行的从可重用组件中建立类的方式是，通过组合更简单的部分类来建立它们。你可能对 Scala等语言的mixins或traits的想法很熟悉，这种模式在JavaScript社区也达到了一定的普及。 10.1 混入是如何工作的？该模式依赖于使用泛型与类继承来扩展基类。TypeScript最好的mixin支持是通过类表达模式完成的。你可以在 这里阅读更多关于这种模式在JavaScript中的工作方式。 为了开始工作，我们需要一个类，在这个类上应用混入： class Sprite { name = ""; x = 0; y = 0; constructor(name: string) { this.name = name; }} 然后你需要一个类型和一个工厂函数，它返回一个扩展基类的表达式。 // 为了开始工作，我们需要一个类型，我们将用它来扩展其他类。// 主要的责任是声明, 传入的类型是一个类。type Constructor = new (...args: any[]) = ...

九、JSXJSX 是一种可嵌入的类似XML的语法。它旨在被转换为有效的JavaScript，尽管这种转换的语义是具体实施的。JSX随着React 框架的流行而兴起，但后来也有了其他的实现。TypeScript支持嵌入、类型检查，以及直接将JSX编译为JavaScript。 9. 1 基本用法为了使用JSX，你必须做两件事。 用 .tsx 扩展名来命名你的文件 启用 jsx 选项 TypeScript有三种JSX模式：preserve, react和 react-native。这些模式只影响生成阶段 - 类型检查不受影响。 preserve 模式将保留 JSX 作为输出的一部分，以便被另一个转换步骤（例如 Babel）进一步消耗。此外，输出将有一个 .jsx 文件扩展名。react模式将发出 React.createElement，在使用前不需要经过JSX转换，而且输出将有一个 .js 文件扩展名。react-native 模式相当于保留模式，它保留了所有的JSX，但输出将有一个 .js 文件扩展名。 Mode Input Output Output File Extensio ...

八、装饰器（Decorators）8.1 简介随着TypeScript和ES6中类的引入，现在存在某些场景需要额外的功能，来支持注释或修改类和类成员。装饰器提供了一种为类声明和成员添加注释和元编程语法的方法。装饰器是JavaScript的 第二阶段建议，并作为TypeScript的一个实验性功能提供。 注意：装饰器是一个实验性的功能，在未来的版本中可能会改变。 要启用对装饰器的实验性支持，你必须在命令行或在 tsconfig.json 中启用 experimentalDecorators 编译器选项。 命令行 tsc --target ES5 --experimentalDecorators tssconfig.json { "compilerOptions": { "target": "ES5", "experimentalDecorators": true }} 8.2 装饰器装饰器是一种特殊的声明，可以附加到类声明、方法、访问器、 ...

七、迭代器和生成器7.1 遍历如果一个对象有 Symbol.iterator 属性的实现，它就被认为是可迭代的。一些内置类型，如Array、Map、Set、String、Int32Array、Uint32Array等，已经实现了它们的Symbol.iterator属性。对象上的Symbol.iterator函数负责返回要迭代的值的列表。 7.1.1 Iterable接口Iterable是一个我们可以使用的类型，如果我们想接收上面列出的可迭代的类型。下面是一个例子： function toArray<X>(xs: Iterable<X>): X[] { return [...xs];} 7.1.2 for..of 声明for...of在一个可迭代对象上循环，调用对象上的Symbol.iterator属性。下面是一个关于数组的简单for.of循环。 let someArray = [1, "string", false];for (let entry of someArray) { console.log(en ...

六、类型兼容性TypeScript中的类型兼容性是基于结构子类型的。结构分型是一种完全基于其成员的类型关系的方式。这与名义类型不同。考虑一下下面的代码： interface Pet { name: string;}class Dog { name: string;}let pet: Pet;// 正确，因为结构化类型pet = new Dog(); 在像 C#或Java这样的名义类型语言中，相应的代码将是一个错误，因为 Dog 类没有明确地描述自己是 Pet 接口的实现者。 TypeScript的结构类型系统是根据JavaScript代码的典型写法设计的。因为JavaScript广泛使用匿名对象，如函数表达式和对象字面量，用结构类型系统而不是命名类型系统来表示JavaScript库中的各种关系要自然得多。 6.1 关于健全性的说明TypeScript 的类型系统允许某些在编译时无法知道的操作是安全的。当一个类型系统具有这种属性时，它被称为不 “健全”。我们仔细考虑了 TypeScript 允许不健全行为的地方，在这篇文档中，我们将解释这些发 ...

五、Symbols从ECMAScript 2015开始，symbol是一种原始的数据类型，就像 number 和 string 一样。 symbol 值是通过调用 Symbol构造函数创建的。 let sym1 = Symbol();let sym2 = Symbol("key"); // 可选的字符串 key Symbols 是不可改变的，而且是独一无二的。 let sym2 = Symbol("key");let sym3 = Symbol("key");sym2 === sym3; // false, symbols 是唯一的 就像字符串一样，Symbols 可以被用作对象属性的键。 const sym = Symbol();let obj = { [sym]: "value",};console.log(obj[sym]); // "value" Symbols 也可以与计算属性声明结合起来，以声明对象属性和类成员。 const getClassNam ...

四、 公共类型TypeScript 提供了几个实用类型，以促进常见的类型转换。这些实用程序在全局范围内可用。 4.1 Partial<Type>构建一个类型，将 Type 的所有属性设置为可选。这个工具将返回一个表示给定类型的所有子集的类型。 例子： interface Todo { title: string; description: string;}function updateTodo(todo: Todo, fieldsToUpdate: Partial<Todo>) { return { ...todo, ...fieldsToUpdate };}const todo1 = { title: "organize desk", description: "clear clutter",};const todo2 = updateTodo(todo1, { description: "throw out ...

三、枚举Enums是TypeScript的少数功能之一，它不是JavaScript的类型级扩展。 枚举允许开发者定义一组命名的常量。使用枚举可以使其更容易记录意图，或创建一组不同的情况。TypeScript提供了基于数字和字符串的枚举。 3.1 数值型枚举我们首先从数字枚举开始，如果你来自其他语言，可能会更熟悉它。一个枚举可以用 enum 关键字来定义。 enum Direction { Up = 1, Down, Left, Right,} 上面，我们有一个数字枚举，其中 Up 被初始化为 1 ，所有下面的成员从这一点开始自动递增。换句话说，Direction.Up的值是 1 ，Down 是 2，Left是3，Right是4。 如果我们愿意，我们可以完全不使用初始化器： enum Direction { Up, Down, Left, Right,} 这里，Up的值是0，Down是1，依次类推。这种自动递增的行为对于我们可能不关心成员值本身，但关心每个值与同一枚举中的其他值不同的情况很有用。 使用枚举很简单：只需将任何成员作 ...

二、类型推断在TypeScript中，有几个地方在没有显式类型注释的情况下，使用类型推理来提供类型信息。例如，在这段代码中： // let x: numberlet x = 3; x 变量的类型被推断为 number。这种推断发生在初始化变量和成员、设置参数默认值和确定函数返回类型时。 在大多数情况下，类型推断是直截了当的。在下面的章节中，我们将探讨类型推断的一些细微差别。 2.1 最佳公共类型当从几个表达式中进行类型推断时，这些表达式的类型被用来计算一个 “最佳公共类型”。比如说： // let x: (number | null)[]let x = [0, 1, null]; 为了推断上面例子中 x 的类型，我们必须考虑每个数组元素的类型。这里我们得到了两个数组类型的选择：number和 null。最佳公共类型算法考虑了每个候选类型，并选择了与所有其他候选类型兼容的类型。 因为最佳公共类型必须从所提供的候选类型中选择，所以在某些情况下，类型有共同的结构，但没有一个类型是所有候选类型的超级类型。比如说： // let zoo: (Rhino | Elephant | Snake) ...