在 TypeScript 中使用 unknown 而不是 any

有时,我们会遇到事先不知道类型的情况,即可能是任何类型。在 TS v3 之前,我们会使用 any 类型来表示这些类型。但这需要进行一些权衡,比如失去 TypeScript 提供的任何类型安全性。

例如:

const x: any = {
  a: 'a-value',
  b: 'b-value'
}

您可以访问上面对象的属性,即 x.ax.b,一切都将按预期工作。问题是,如果试图访问 x.c 值,TypeScript 不会抛出错误,因为对象 x 可以是任何东西。

const c = x.c

console.log(c)  // undefined

正如您所看到的,这可能是许多 bug 的来源,因为 TypeScript 在构建期间捕获的常见错误将被允许通过。这是因为当您使用 any 类型时,您都会选择不进行类型检查。

为什么使用 unknown

unknown 类型是在 TypeScript 的第 3 版中引入的,作为 any 类型的附带类型,当分配给变量时,unknown 意味着变量类型未知。

TypeScript 不允许使用 unknown 的变量,除非将该变量强制转换为已知类型或收窄其类型。

举个例子。

const x: unknown = 1

x * x // Error

如果我们试图在不收窄类型的情况下将 x 平方,TypeScript 将抛出错误。

为了修复上述错误,我们可以使用类型保护来检查它是否是一个数字,然后再将其平方。

if (typeof x === 'number') {
  console.log(x * x)
}

与最初的示例相同,如果我们将类型更改为 unknown 并尝试访问任何属性,TypeScript 将抛出一个错误。

您需要将其强制转换,以便 TypeScript 以允许您使用它。

const x: unknown = {
  a: 'a-value',
  b: 'b-value'
}

console.log((x as { a: string; b: string }).b)

从上面的例子可以看出,unknown 类型迫使您通过类型转换或类型收窄来确定 unknown 的变量是什么。这会产生一个更好、更安全的程序,因为 TypeScript 随后可以对生成的类型进行类型检查。

  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
### 回答1: 好的。 TypeScript 的 `any` 类型表示一个可以是任何类型的值。它可以用于避免类型检查,或者在你还没有确定类型的情况下使用。但是,使用 `any` 类型会放弃 TypeScript 带来的类型检查的所有优势,因此在能使用更精确类型的地方应尽量避免使用 `any`。 TypeScript 的 `unknown` 类型表示一个未知的类型。它比 `any` 类型更加严格,因为在使用前需要进行类型检查。在某些情况下,你可能希望接收一个未知的值,但是又不想使用 `any` 类型,此时就可以使用 `unknown` 类型。 TypeScript 的 `never` 类型表示永远不会有返回值的函数的返回值类型。它也可以表示永远不会被执行的代码块的类型。例如,当某个函数的所有可能执行路径都会抛出异常时,它的返回值类型就可以是 `never`。 希望这对你有所帮助。 ### 回答2: TypeScript的`any`、`unknown`和`never`是三种特殊的类型。 1. `any`类型表示任何类型的值都可以赋值给它。它相当于取消了类型检查,可以在编写代码时快速推进开发,但也容易引入潜在的类型错误。使用`any`类型时需要慎重,最好在必要情况下使用,例如在需要与非TypeScript代码进行交互或在临时情况下。 2. `unknown`类型是TypeScript 3.0引入的一种类型。与`any`相比,`unknown`类型提供了更加安全的动态类型。当我们不确定变量的类型时,可以使用`unknown`类型来保持类型的不确定性。在使用`unknown`类型的值时,我们必须首先进行类型检查或类型断言,以将其转换为更具体的类型。与`any`不同,`unknown`类型不会自动允许我们执行任意操作。这种类型的引入提高了代码的类型安全性,减少了潜在的类型错误。 3. `never`类型表示它永远不会发生的类型,即表示从不返回值的函数的返回类型以及永远无法完成的操作的结果类型。例如,在一个函数抛出了异常,或者存在无限循环。使用`never`类型可以更好地定义某些情况下的函数或操作的返回类型,同时帮助我们避免潜在的逻辑错误。 ### 回答3: TypeScript是一种静态类型的编程语言,它可以在JavaScript的基础上添加静态类型检查和一些其他特性。在TypeScript有三种特殊的类型:any、unknown和never。 any类型表示任意类型,它可以用来表示任何类型的值。使用any类型可以绕开类型检查,编译器不会对any类型的值进行类型检查和推断。any类型的变量可以接受任何类型的值,因此在使用any类型时需要特别小心,因为它可能导致类型错误和运行时错误。 unknown类型也表示任意类型,但它比any类型更严格。当使用unknown类型时,编译器会要求进行类型检查和类型断言,以确保类型安全。unknown类型的变量不能直接赋值给其他类型的变量,必须经过类型断言或类型检查后才能进行赋值。这种类型更适合在编写通用代码或处理动态类型的情况下使用,相比any类型,unknown类型提供了更加严格的类型安全。 never类型表示永远不会发生的类型。它通常会用在函数的返回类型,表示该函数永远不会正常返回。例如,一个会抛出异常或进入无限循环的函数的返回类型可以设为never。同时,never类型也可以用来处理不可到达的代码块,例如一个带有无限循环的函数的后续代码块。 总而言之,在TypeScript,any类型和unknown类型都表示任意类型,但unknown类型更加严格,并且要求进行类型检查和类型断言。而never类型表示永远不会发生的类型,通常用于函数的返回类型或不可到达的代码块。使用这些类型要谨慎,并且根据实际需求来选择合适的类型。

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值