typescript - TypeScript Compiler API 可以解析表达式的值吗？

Question

我想知道是否有一种方法可以解析表达式的最终值(使用 TypeScript 编译器 API)，其工作方式类似于 getTypeAtLocation。

举个例子:

const g = {
    a: 'hello'
}

export enum wonkyEnum {
  A, // = 0
  B = 1,
  C = g['a'] as any, 
  D = "str" as any
  E = [ ...[1,2,3] ][2]
}

• 在此示例中，C、D 和 E 将无法与 getConstantValue() 一起使用。
• D 很容易解析，但是，C 和 E 由于使用的表达式、引用等原因，是更深层次问题的示例。

我希望甚至有一个部分解决方案不需要编写涉及初始化表达式的所有可能意外事件的递归解析器。如果 TS 中没有公开任何内容，第 3 方开源代码也可能有用。

否则，任何有助于我了解此位置所有可能节点变化的详细信息都会有所帮助!

我已经有了一个健壮的递归解析器系统，我主要使用它来遍历 Type 结构，但它也可以为 Node/Kind 实现。我最想确定的是，在走那条路之前，我不会不必要地弄乱代码或重新发明轮子。

谢谢!

编辑

大卫在下面的回答是正确的——没有办法用 TS 做到这一点。

在进一步探索时，为了涵盖所有情况，需要进行实际评估。在许多情况下，这可能会变得困惑且不可能(请参阅下面的评论)。

幸运的是，对于枚举，TypeScript 似乎通常能够使用 getConstantValue() 方法获得答案。

作为回退，我们将递归地解析包含几个表达式情况的初始化节点(如下所示):

// key is tested for node.kind equality in parseInitializer()
const valueParsers = Map<number | number[], (node: any) => string | number | boolean | null>([
  [SyntaxKind.TrueKeyword, () => true],
  [SyntaxKind.FalseKeyword, () => false],
  [SyntaxKind.NullKeyword, () => null],
  [SyntaxKind.StringLiteral, (node: LiteralLikeNode) => node.text],
  [
    [SyntaxKind.AsExpression, SyntaxKind.ParenthesizedExpression, SyntaxKind.TypeAssertionExpression],
    (node: any) => parseInitializer(node.expression) // recursive call
  ],
]);

如果有人有任何关于扩大它的想法而又不会太疯狂，请随时在下面发表评论!

Answer 1

这样做很有用，但是编译器没有内置任何东西来解析表达式值。它与此无关...类型检查器上的 getConstantValue 专门针对枚举成员。

我也不相信目前有任何图书馆可以帮助做到这一点……至少我还没有见过。也许您或其他人想创建一个？那将是一个有趣的项目!

无论如何，这些只是我的高层次想法，可以工作，但可以改进:

寻找属性(property)分配值(value)

这有点难，因为在将它分配给枚举成员之前，您必须检查是否修改了 g.a:

const g = { a: 'hello' };
g.a = 'other string';

如果你真的想实现类似的东西，那么我相信一种方法是获取 g.a (getSymbolAtLocation) 的符号，然后从那里看在 #valueDeclaration 属性中的属性赋值处。从该属性赋值开始，您必须向下遍历树中的节点，以便在枚举成员声明之前获得对该属性的最后赋值(有些自找麻烦的人可能会在先前的枚举成员初始值设定项中重新赋值该属性)。如果赋值表达式是常量或您可以解析的某些表达式，那么您就知道该值。如果不是，那么您将不得不转到该声明并从那里遍历树。基本上，它开始变得非常复杂，您将无法始终静态地确定该值。

也许您的分析器的限制可能是不允许使用字符串类型，在这种情况下应该使用 const 断言？

const g = { a: 'hello' } as const;

在这种情况下，g.a 中的 a 的 getTypeAtLocation 是 "hello" 字符串文字类型。

嵌套数组

对于这些嵌套数组 [ ...[1,2,3] ][2] 您可以按后序遍历树，解析数组项，由于传播而展平数组语法，然后获取数组中的第三项。也许知道它只是在寻找第三项，你可以优化它并且只解决足够的问题以获得第二项(如果数组类似于 [...[g.a, 2, 3] 可能会节省很多时间]).