如何将TypeScript接口的键作为字符串数组获取？

大家好！我开始学习TypeScript，遇到了一个无法解决的问题。我有一个描述对象结构的接口，需要获取其键的列表作为字符串数组，以便在代码中进一步使用（例如，用于验证或生成表单）。 以下是我的接口示例： ```typescript interface User { name: string; age: number; email: string; } ``` 我想自动获取数组 `['name', 'age', 'email']`，基于这个接口。我尝试过使用 `Object.keys()`，但TypeScript报错，说我传递的是类型而不是对象。我也尝试了 `keyof` 的各种变体，但只得到字符串联合类型，而不是数组。 请告诉我如何正确实现？我需要的是TypeScript解决方案，并保留类型。非常感谢提供代码示例！ <<>>

问题：接口的键在运行时不可用

主要难点在于TypeScript接口仅在编译阶段存在