说说你对TypeScript类型-unknown类型的理解

1. unknown 类型的理解

unknown 是 TypeScript 3.0 引入的新的顶级类型,在 TypeScript中,unknown 是所有可能值的集合。 任何值都可以分配给 unknown 类型的变量。这意味着 unknown 是所有其他类型的超类型。

2. 可能会出现 unknown 类型的一些情况

2.1. 处理未知类型的函数参数

当编写一个函数,它需要处理多种不同类型的参数,但又无法确定参数的确切类型时,可以使用 unknown 类型来处理未知类型。

typescript 复制代码
const processValue: (value: unknown) => void = value => {
  if (typeof value === "string") {
    console.log("value type is string");
  } else if (typeof value === "number") {
    console.log("value type is number");
  } else if (typeof value === "boolean") {
    console.log("value type is boolean");
  } else {
    // ......
  }
}

processValue(26);     // value type is number
processValue("Echo"); // value type is string

2.2. 从动态内容中获得的值

当通过用户输入、API 响应或从第三方库中获得的值时,可能无法确定其确切类型。此时将值标记为 unknown 可以增加类型的安全性,并要求进行类型检查。

typescript 复制代码
let userInput: unknown = getUserInput();
let apiResponse: unknown = getAPIResponse();

3. unknown 类型的特点

3.1. 任何类型的值都可以赋值给 unknown

typescript 复制代码
let unknown: unknown;
unknown = "Echo";
unknown = 26;
unknown = true;
unknown = {};
unknown = new Array();
unknown = Symbol();
unknown = null;
unknown = undefined;

3.2. unknown 只能赋值自身 和 any 类型的值,不能赋值给其他任何类型。

typescript 复制代码
let unknown: unknown
let un: unknown = unknown       // 正确
let any: any = unknown          // 正确
let str: string = unknown;      // 报错:不能将类型"unknown"分配给类型"string"
let num: number = unknown       // 不能将类型"unknown"分配给类型"number"
let bool: boolean = unknown     // 不能将类型"unknown"分配给类型"boolean"
let func: () => void = unknown  // 不能将类型"unknown"分配给类型"() => void"
let symbol: symbol = unknown    // 不能将类型"unknown"分配给类型"symbol"

3.3. 任何类型与 unknown 的联合类型都是 unknown,除了 any 类型

typescript 复制代码
type T1 = string | unknown       // unknown
type T2 = number | unknown       // unknown
type T3 = boolean | unknown      // unknown
type T4 = symbol | unknown       // unknown
type T5 = bigint | unknown       // unknown
type T6 = never | unknown        // unknown
type T7 = any | unknown          // any
type T8 = {} | unknown           // unknown
type T9 = "Echo" | unknown       // unknown
type T10 = 26 | unknown          // unknown
type T11 = false | unknown       // unknown
type T12 = string[] | unknown    // unknown

3.4. 任何类型与 unknown 的交叉类型都是其本身

typescript 复制代码
type T1 = string & unknown       // string
type T2 = number & unknown       // number
type T3 = boolean & unknown      // boolean
type T4 = symbol & unknown       // symbol
type T5 = bigint & unknown       // bigint
type T6 = never & unknown        // never
type T7 = any & unknown          // any
type T8 = null & unknown         // null
type T9 = undefined & unknown    // undefined
type T10 = {} & unknown          // {}
type T11 = "Echo" & unknown      // "Echo"
type T12 = 26 & unknown          // 26
type T13 = false & unknown       // false
type T14 = string[] & unknown    // string[]

3.5. unknown 可以使用类型断言为其他类型(缩小类型范围)

当使用 unknown 声明一个变量时,TypeScript 不知道它的类型,这意味着我们不能使用它的任何可用方法,除非显式地将其类型"缩小"到特定的类型。

下面示例中,我们使用 as 类型断言将 unknown 类型的变量 value 断言为 string 字符串类型,从而我们可以调用字符串的一些属性和方法。

typescript 复制代码
const value: unknown = "Hello, my name is Echo!";

const str: string = value as string; // 使用类型断言,将 unknown 类型断言为 string 类型
const upperCase = str.toUpperCase();

console.log(upperCase); // HELLO, MY NAME IS ECHO!

3.6. unknown 与 typeof 一起使用(缩小类型范围)

我们都知道,length 是 string 数据类型上可用的属性,我们可以使用下面的代码获取字符串的长度:

typescript 复制代码
const str = "Echo";

console.log(str.length); // 4

下面的示例中,定义一个 checkLength 函数,参数 value 的类型为 unknown 类型,在函数内部打印 value.length,代码将会报错,因为它不确定 .length 属性是否存在于 unknown 类型上。

typescript 复制代码
function checkLength(value : unknown) {
  console.log(value.length); // 报错
}

checkLength("Echo");

要解决此问题,我们可以缩小 value 类型范围并检查该值是否为 string 类型,检查一个值的类型我们可以用 typeof 关键字,下面的代码中,调用 checkLength 函数并传入字符串 "Echo",打印出长度为:4。

typescript 复制代码
function checkLength(value : unknown) {
  if (typeof value === "string") {
    console.log(value.length); // 4
  }
}

checkLength("Echo");

4. unknown 可进行的操作

4.1. 只能进行等于和不等于的判断,其他操作则会报错

typescript 复制代码
function func(x: unknown) {
  x == 5;     // 正确
  x !== 10;   // 正确
  x >= 0;     // Error
  x + 1;      // Error
  x * 2;      // Error
  -x;         // Error
  +x;         // Error
}

4.2. 当解构中有 unknown 类型时,会导致解构出来的结果也是 unknown。

typescript 复制代码
function func(x: {}, y: unknown, z: any) {
  let obj1 = { a: 42, ...x };             // { a: number }
  let obj2 = { a: 42, ...x, ...y };       // unknown
  let obj3 = { a: 42, ...x, ...y, ...z }; // any
}
相关推荐
永乐春秋10 分钟前
WEB攻防-通用漏洞&文件上传&js验证&mime&user.ini&语言特性
前端
鸽鸽程序猿12 分钟前
【前端】CSS
前端·css
ggdpzhk13 分钟前
VUE:基于MVVN的前端js框架
前端·javascript·vue.js
学不会•2 小时前
css数据不固定情况下,循环加不同背景颜色
前端·javascript·html
活宝小娜5 小时前
vue不刷新浏览器更新页面的方法
前端·javascript·vue.js
程序视点5 小时前
【Vue3新工具】Pinia.js:提升开发效率,更轻量、更高效的状态管理方案!
前端·javascript·vue.js·typescript·vue·ecmascript
coldriversnow5 小时前
在Vue中,vue document.onkeydown 无效
前端·javascript·vue.js
我开心就好o5 小时前
uniapp点左上角返回键, 重复来回跳转的问题 解决方案
前端·javascript·uni-app
开心工作室_kaic6 小时前
ssm161基于web的资源共享平台的共享与开发+jsp(论文+源码)_kaic
java·开发语言·前端
刚刚好ā6 小时前
js作用域超全介绍--全局作用域、局部作用、块级作用域
前端·javascript·vue.js·vue