文章目录
TypeScript 是现代 JavaScript 开发中非常流行的静态类型检查工具，它增强了 JavaScript 的可维护性和可靠性。在 TypeScript 中，函数中的
this关键字是一个常见的功能，但它可能会让开发者感到困惑。本文将详细介绍 TypeScript 中this的声明和使用方式，并讨论如何在函数中更好地控制this。
一、this 的基本概念
在 JavaScript 中，this 是一个非常重要的概念，它通常指向调用函数的上下文对象。然而，this 的指向是动态的，取决于函数调用时的上下文。在 TypeScript 中，为了提高代码的可读性和安全性，开发者可以通过显式声明 this 的类型来避免错误。
1. this 在对象方法中的用法
TypeScript 能够通过代码流分析自动推断出 this 的类型。例如，下面是一个常见的对象方法使用 this 的例子：
const user = {
id: 123,
admin: false,
becomeAdmin: function () {
this.admin = true;
},
};
在这个例子中，user 对象有一个 becomeAdmin 方法，它使用 this 来访问并修改对象的 admin 属性。TypeScript 会推断出 becomeAdmin 方法中的 this 是指向 user 对象的。
然而，在更复杂的场景下，可能需要对 this 进行更多控制，这时 TypeScript 提供了更强大的功能来显式声明 this 的类型。
二、显式声明 this 的类型
在 JavaScript 的规范中，函数不能有名为 this 的参数。而 TypeScript 则利用了这个限制，允许我们显式声明 this 的类型，从而更精确地控制 this 在函数中的指向。
1. 回调函数中的 this
在一些回调风格的 API 中，this 的指向经常被另一个对象控制。在这种情况下，我们可以显式声明 this 的类型。例如，假设我们有一个数据库接口，其中一个方法用于筛选用户：
interface User {
admin: boolean;
}
interface DB {
filterUsers(filter: (this: User) => boolean): User[];
}
这里的 filterUsers 方法接收一个回调函数，该回调函数的 this 类型被显式声明为 User。下面是一个使用这个接口的例子：
const db = getDB();
const admins = db.filterUsers(function (this: User) {
return this.admin;
});
在这个例子中，filterUsers 方法确保了回调函数中的 this 指向一个 User 对象。这种显式声明 this 类型的方式可以提高代码的安全性和可读性。
2. 箭头函数中的 this
需要注意的是，箭头函数不会创建自己的 this，它会捕获其外部上下文中的 this。例如：
const admins = db.filterUsers(() => this.admin);
在这个例子中，this 指向全局上下文（例如 window 对象），而不是 User 对象。这种行为在某些场景下可能会导致错误，因此在回调函数中使用 this 时要格外注意函数类型的选择。
三、函数类型中的常见类型
在 TypeScript 中，有几个常见的类型经常出现在函数类型的上下文中。理解这些类型可以帮助我们编写更安全、健壮的代码。
1. void 类型
void 表示函数没有返回值。当一个函数没有返回值时，TypeScript 会自动推断其返回类型为 void：
function noop() {
return;
}
虽然 JavaScript 中不返回值的函数会默认返回 undefined，但 void 和 undefined 在 TypeScript 中是不同的类型。void 表示函数明确不返回任何值，而 undefined 则是一个具体的返回值。
2. object 类型
object 类型用于表示任何非原始类型的值。它与 {}（空对象类型）和全局的 Object 类型不同。通常，object 用来确保某个值是对象而不是原始类型。
需要注意的是，在 JavaScript 中，函数也是对象，因此函数类型被认为是 object 类型的一种：
function logKeys(fn: object) {
console.log(Object.keys(fn));
}
这种情况下，我们可以把函数传递给 logKeys，因为函数也是 object 的实例。
3. unknown 类型
unknown 是一种更安全的 any 类型。它表示任意类型的值，但与 any 不同的是，你不能直接对 unknown 类型的值进行操作，必须先对其类型进行检查：
function safeParse(s: string): unknown {
return JSON.parse(s);
}
const obj = safeParse("some string");
if (typeof obj === "object" && obj !== null) {
// 可以安全地操作 obj
}
unknown 类型在描述函数时非常有用，特别是在处理不确定类型的返回值或参数时。
4. never 类型
never 表示那些永远不会有返回值的函数类型。这通常用于那些总是抛出异常或导致程序终止的函数：
function fail(msg: string): never {
throw new Error(msg);
}
在联合类型中，never 表示不可能存在的类型。例如，在一个类型保护中，TypeScript 可能会推断某个分支中的类型为 never：
function processValue(x: string | number) {
if (typeof x === "string") {
console.log("字符串");
} else if (typeof x === "number") {
console.log("数字");
} else {
const neverValue: never = x; // TypeScript 确保这里不会发生
}
}
5. Function 类型
全局类型 Function 描述了所有函数值共有的属性，比如 bind、call 和 apply。但请注意，Function 类型非常宽泛，使用时要谨慎，因为它允许对函数进行未类型化的调用：
function invoke(fn: Function) {
fn(1, 2, 3);
}
这种不安全的调用通常应避免。如果你需要接受一个任意函数但不打算调用它，使用 () => void 这样的函数类型通常更为安全。
四、TypeScript 中的 this 总结
TypeScript 通过类型系统提供了对 this 更好的控制。通过显式声明 this 的类型，开发者可以编写更健壮的代码，避免因 this 指向不明确而导致的错误。
在函数类型中，理解并正确使用 void、object、unknown、never 和 Function 类型对于编写类型安全的 TypeScript 代码至关重要。
推荐：
