python - 动态类型语言的静态分析

Question

我正在阅读http://tratt.net/laurie/research/pubs/html/tratt__dynamically_typed_languages/#x1-50002.3它解释了静态分析对于动态类型语言来说不是实用的方法，但原因还不是很清楚。我的问题是为什么静态分析在动态类型语言上非常实用？

Answer 1

假设cond(y)是一个 bool 值函数。假设你有一行

x = "Hello World" if cond(y) else [1,2,3]

其中 y 是其他变量。静态分析如何判断 x 是字符串还是整数列表？ y 在编译时未知。唯一的判断方法是运行程序——这违背了静态分析的目的

一个更现实的例子:

def squareRoot(x):
    if x > 0:
        return math.sqrt(x)
    else:
        return (0,math.sqrt(abs(x))) #representing complex a+bi as (a,b)

这将返回一个 float 或一个 int,float 对。因此没有明确定义的返回值。静态分析应该如何处理不确定返回类型的函数？

这种考虑对静态分析器希望使用动态类型语言完成的任务施加了严格的限制。这并不意味着对此类语言的所有静态分析都是不可能或毫无值(value)的。其实Python也有静态分析工具，有Pylint是最发达的。但即便如此，令人惊讶的是 Pylint 的 errors and warnings 的数量如此之少。特别是关于类型错误(例如尝试添加字符串和整数)。相反，几乎所有错误和警告代码都更多地类似于“分配给不返回的函数调用”。