taylor/typescript-tutorial
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

docs(types): fix typos

Browse Source
This commit is contained in:
ruanyf
2023-08-08 17:42:46 +08:00
parent b603314516
commit b882d74048
1 changed files with 3 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
docs/types.md
View File

@@ -742,7 +742,7 @@ if (true) {
## 类型的兼容
TypeScript 的类型存在兼容关系，某些类可以兼容其他类。
TypeScript 的类型存在兼容关系，某些类型可以兼容其他类型。
```typescript
type T = number|string;
@@ -751,10 +751,9 @@ let a:number = 1;
let b:T = a;
```
上面示例中，变量`a`和`b`的类型是不一样的，但是变量`a`赋值给变量`b`并不会报错。这时，我们就认为，变量`b`兼容变量`a`。
上面示例中，变量`a`和`b`的类型是不一样的，但是变量`a`赋值给变量`b`并不会报错。这时，我们就认为，`b`的类型兼容`a`的类型。
TypeScript
为这种情况定义了一个专门术语。如果类型`A`的值可以赋值给类型`B`，那么类型`A`就称为类型`B`的子类型（subtype）。在上例中，类型`number`就是类型`number|string`的子类型。
TypeScript 为这种情况定义了一个专门术语。如果类型`A`的值可以赋值给类型`B`，那么类型`A`就称为类型`B`的子类型（subtype）。在上例中，类型`number`就是类型`number|string`的子类型。
TypeScript 的一个规则是，凡是可以使用父类型的地方，都可以使用子类型，但是反过来不行。