写点什么

TypeScript 之 Typeof Type Operator

作者:冴羽
  • 2021 年 11 月 24 日
  • 本文字数:1806 字

    阅读完需:约 6 分钟

TypeScript 之 Typeof Type Operator

前言

TypeScript 的官方文档早已更新,但我能找到的中文文档都还停留在比较老的版本。所以对其中新增以及修订较多的一些章节进行了翻译整理。


本篇整理自 TypeScript Handbook 中 「Typeof Type Operator」 章节。


本文并不严格按照原文翻译,对部分内容也做了解释补充。

typeof 类型操作符(The typeof type operator)

JavaScript 本身就有 typeof 操作符,你可以在表达式上下文中(expression context)使用:


// Prints "string"console.log(typeof "Hello world");
复制代码


而 TypeScript 添加的 typeof 方法可以在类型上下文(type context)中使用,用于获取一个变量或者属性的类型。


let s = "hello";let n: typeof s;// let n: string
复制代码


如果仅仅用来判断基本的类型,自然是没什么太大用,和其他的类型操作符搭配使用才能发挥它的作用。


举个例子:比如搭配 TypeScript 内置的 ReturnTypep<T>。你传入一个函数类型,ReturnTypep<T> 会返回该函数的返回值的类型:


type Predicate = (x: unknown) => boolean;type K = ReturnType<Predicate>;/// type K = boolean
复制代码


如果我们直接对一个函数名使用 ReturnType ,我们会看到这样一个报错:


function f() {  return { x: 10, y: 3 };}type P = ReturnType<f>;
// 'f' refers to a value, but is being used as a type here. Did you mean 'typeof f'?
复制代码


这是因为值(values)和类型(types)并不是一种东西。为了获取值 f 也就是函数 f 的类型,我们就需要使用 typeof


function f() {  return { x: 10, y: 3 };}type P = ReturnType<typeof f>;                    // type P = {//    x: number;//    y: number;// }
复制代码

限制(Limitations)

TypeScript 有意的限制了可以使用 typeof 的表达式的种类。


在 TypeScript 中,只有对标识符(比如变量名)或者他们的属性使用 typeof 才是合法的。这可能会导致一些令人迷惑的问题:


// Meant to use = ReturnType<typeof msgbox>let shouldContinue: typeof msgbox("Are you sure you want to continue?");// ',' expected.
复制代码


我们本意是想获取 msgbox("Are you sure you want to continue?") 的返回值的类型,所以直接使用了 typeof msgbox("Are you sure you want to continue?"),看似能正常执行,但实际并不会,这是因为 typeof 只能对标识符和属性使用。而正确的写法应该是:


ReturnType<typeof msgbox>
复制代码


(注:原文到这里就结束了)

对对象使用 typeof

我们可以对一个对象使用 typeof


const person = { name: "kevin", age: "18" }type Kevin = typeof person;
// type Kevin = {// name: string;// age: string;// }
复制代码

对函数使用 typeof

我们也可以对一个函数使用 typeof


function identity<Type>(arg: Type): Type {  return arg;}
type result = typeof identity;// type result = <Type>(arg: Type) => Type
复制代码

对 enum 使用 typeof

在 TypeScript 中,enum 是一种新的数据类型,但在具体运行的时候,它会被编译成对象。


enum UserResponse {  No = 0,  Yes = 1,}
复制代码


对应编译的 JavaScript 代码为:


var UserResponse;(function (UserResponse) {    UserResponse[UserResponse["No"] = 0] = "No";    UserResponse[UserResponse["Yes"] = 1] = "Yes";})(UserResponse || (UserResponse = {}));
复制代码


如果我们打印一下 UserResponse


console.log(UserResponse);
// [LOG]: {// "0": "No",// "1": "Yes",// "No": 0,// "Yes": 1// }
复制代码


而如果我们对 UserResponse 使用 typeof


type result = typeof UserResponse;
// okconst a: result = { "No": 2, "Yes": 3}
result 类型类似于:
// {// "No": number,// "YES": number// }
复制代码


不过对一个 enum 类型只使用 typeof 一般没什么用,通常还会搭配 keyof 操作符用于获取属性名的联合字符串:


type result = keyof typeof UserResponse;// type result = "No" | "Yes"
复制代码

TypeScript 系列

  1. TypeScript 之 Narrowing

  2. TypeScript 之 More on Functions

  3. TypeScript 之 Object Type

  4. TypeScript 之 Generics

  5. TypeScript 之 Keyof Type Operator


如果你对于 TypeScript 有什么困惑或者其他想要了解的内容,欢迎与我交流,微信:「mqyqingfeng」,公众号搜索:「yayujs」或者「冴羽的 JavaScript 博客」


如果有错误或者不严谨的地方,请务必给予指正,十分感谢。如果喜欢或者有所启发,欢迎 star,对作者也是一种鼓励。

发布于: 3 小时前阅读数: 10
用户头像

冴羽

关注

还未添加个人签名 2019.01.25 加入

还未添加个人简介

评论

发布
暂无评论
TypeScript 之 Typeof Type Operator