问题：

能否特制一个确定函数返回类型的正则表达式？

宋翔

2023-03-14

给定以下函数的文本：

function f3() {
  return Math.random() > 0.5 ? Promise.resolve(true): 'naaah'
}

可以编译一个正则表达式来确定< code>f3()调用的返回类型，而不实际调用函数吗？

共有3个答案

云和同

2023-03-14

答案是否定的。因为返回类型是根据Math.random（）的结果确定的，而Math.random（）的结果直到运行时才知道。必须执行这个特定的函数才能知道返回类型。

濮俊美

2023-03-14

不，仅使用RegEx无法以编程方式确定该函数的返回类型。为了理解该函数的功能，您需要解析其代码。然而，JavaScript是乔姆斯基2型语法（上下文无关语法），RegEx是乔姆斯基3型语法（常规语法）。JavaScript从根本上来说太复杂了，无法用RegEx进行解析。

如果你只是想处理这样一个事实，即你把函数作为文本并且你需要评估它，你可以使用 eval（）函数。

梅飞龙

2023-03-14

给定代码，我们无法通过正则表达式确定其返回类型。矛盾证明：

假设我们可以使用正则表达式找到返回类型。

返回类型在最后一行中通过对随机的非确定性调用来决定（提前不知道）。

正则表达式是确定性的-当在同一输入上运行时，它们总是具有相同的输出。

因此，函数的返回类型必须是静态的，因为我们可以运行正则表达式并找到返回类型（并且该正则表达式将始终返回相同的内容）。

矛盾：函数的返回类型必须是静态的，但由于随机，函数的返回形式是可变的

注意：上述假设类型必须是单个类型，并且本身不考虑联合类型。

此外，证明了为什么我们不能一直这样做。

> < li>

假设我们可以以某种方式找出函数中使用的每种类型。

在某些时候，我们生成一个字符串 a=“A” Math.random（）

稍后，我们生成一个字符串b=“class”a“｛…｝

在这个定义之后，我们执行< code > c = eval(" new " a "()" 。

当我们返回 c 时，没有正则表达式可以知道类型 - 类型在函数中新命名，随机确定，并且每次执行都不同。

这假设问题是一个更一般的“javascript正则表达式是否可以找到泛型函数的返回类型”。请注意，如果可以找到返回类型，则可以告诉程序停止（如果不停止，则无法返回，如果从不停止，则返回类型必须未定义），并且停止问题仍然没有解决。

共有3个答案