TypeScript中的反射与内省：代码如何审视自身

TypeScript中的反射与内省：代码如何审视自身

想象一个能够在运行时分析自身的程序。它可以知道其变量的类型、对象拥有的属性，甚至基于这些信息做出决策。听起来像魔法？实际上这就是反射和内省——强大的元编程技术，在TypeScript中同样可用。

在本文中，我们将探讨反射与内省的区别，如何在TypeScript中使用它们，以及为什么这在真实项目中会很有用。没有枯燥的理论——只有鲜活的代码和实际示例。

什么是内省和反射？

让我们先明确一点。在编程中，这两个术语经常被混淆，但它们是有区别的：

\n
• 内省——是程序观察自身结构的能力。你可以知道对象有哪些属性、它的类型是什么，但不能修改它们。
\n
• 反射——是更高级的层次：程序不仅观察自身，还能在运行时修改自身的行为。例如，动态调用方法或创建类的新实例。
\n

在TypeScript所基于的JavaScript中，反射是通过Reflect和Proxy实现的。但TypeScript增加了自己的层次——静态类型系统，它在编译时会部分“消失”。这正是最有趣的地方。

类型内省：类型守卫和typeof

窥探代码内部最简单的方法是使用类型守卫。这些是在运行时检查数据类型的结构：

function isString(value: unknown): value is string {\n  return typeof value === 'string';\n}\n\nfunction processValue(value: unknown) {\n  if (isString(value)) {\n    // TypeScript知道value是字符串\n    console.log(value.toUpperCase());\n  } else {\n    console.log('这不是字符串');\n  }\n}

注意value is string——这是一个类型谓词。它告诉TypeScript，在检查之后变量属于特定类型。这是纯粹的内省：我们查看类型，但不修改它。

通过Reflect API进行反射

Reflect对象是JavaScript中内置的反射机制。它允许执行以前通过“魔法”方法完成的操作，但现在已统一。以下是一些示例：

const user = {\n  name: '阿列克谢',\n  age: 30,\n};\n\n// 内省——获取键列表\nconsole.log(Reflect.ownKeys(user)); // ['name', 'age']\n\n// 反射——动态读取属性\nconst propertyName = 'name';\nconsole.log(Reflect.get(user, propertyName)); // '阿列克谢'\n\n// 反射——动态设置属性\nReflect.set(user, 'name', '玛丽亚');\nconsole.log(user.name); // '玛丽亚'

为什么Reflect比老式的user[prop]更好？首先，对于设置操作，它返回boolean，便于检查。其次，它能正确地与代理和属性描述符一起工作。对于TypeScript来说，这尤其重要，因为反射允许在真正需要时绕过静态类型检查。

装饰器：增强版的反射

装饰器可以说是TypeScript中最引人注目的反射示例。它们允许注解类、方法、属性和参数，然后修改它们的行为。从TypeScript 5.0开始，装饰器已成为标准（stage 3）。

下面是一个用于记录方法调用的简单装饰器：

function logMethod(\n  target: any,\n  propertyKey: string,\n  descriptor: PropertyDescriptor\n) {\n  const originalMethod = descriptor.valu