From 448544786b51c800f7f066673af89679c119bb00 Mon Sep 17 00:00:00 2001 From: trojan0523 <1153532327@qq.com> Date: Sat, 16 Apr 2022 16:46:57 +0800 Subject: [PATCH] fix: typo --- ...4.5-4.6 \346\226\260\347\211\271\346\200\247\343\200\213.md" | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git "a/\345\211\215\346\262\277\346\212\200\346\234\257/237.\347\262\276\350\257\273\343\200\212Typescript 4.5-4.6 \346\226\260\347\211\271\346\200\247\343\200\213.md" "b/\345\211\215\346\262\277\346\212\200\346\234\257/237.\347\262\276\350\257\273\343\200\212Typescript 4.5-4.6 \346\226\260\347\211\271\346\200\247\343\200\213.md" index 4d684ace..d6bb6449 100644 --- "a/\345\211\215\346\262\277\346\212\200\346\234\257/237.\347\262\276\350\257\273\343\200\212Typescript 4.5-4.6 \346\226\260\347\211\271\346\200\247\343\200\213.md" +++ "b/\345\211\215\346\262\277\346\212\200\346\234\257/237.\347\262\276\350\257\273\343\200\212Typescript 4.5-4.6 \346\226\260\347\211\271\346\200\247\343\200\213.md" @@ -452,7 +452,7 @@ f1("a", 42); f1("b", "hello"); ``` -如果把参数定义为数组且使用或并列枚举时,其实就潜在包含了一个运行时的类型收窄。比如当第一个参数值为 `a` 时,第二个参数类型就确定为 `number`,第一个参数值为 `b` 时,第二个参数类型就确定为 `string`。 +如果把参数定义为元组且使用或并列枚举时,其实就潜在包含了一个运行时的类型收窄。比如当第一个参数值为 `a` 时,第二个参数类型就确定为 `number`,第一个参数值为 `b` 时,第二个参数类型就确定为 `string`。 值得注意的是,这种类型推导是从前到后的,因为参数是自左向右传递的,所以是前面推导出后面,而不能是后面推导出前面(比如不能理解为,第二个参数为 `number` 类型,那第一个参数的值就必须为 `a`)。