pyright是一个静态类型检查器

pyright是一个静态类型检查器。具体是怎么回事呢?今天番茄加速就来讲一下。

Python是一个动态语言，代码加载到内存并运行至某行时，变量类型才真正得以确定，如下，在运行至第2行前，编译器不知道 name 的类型为 str.

before()

name = ‘robot’

after()

毋庸置疑，python 这种语法，书写起来相当简洁，不用像 c++，java 等语言那样，必须声明类型。

看待任何事情都要用辩证思维，此处也不例外。简洁的语法，带来了一些副作用，下面用一个最简单的例子说明副作用。

python 的可迭代对象一般都有一个 len 函数，计算里面元素的个数，如果入参为 list, tuple, dict, set 等，它是不会报错的。但是，如果传入10，因为对象10是 int, 显然int 类型没有 len 方法，所以报错!

len(iterable_object)

软件产品要健壮，就必须要适应各种输入实例。像上面说到的，类型不符合预期，调用方法导致系统崩溃，这在实际项目中是不允许的。

为了避免这种类型没有此方法的出错，实际上我们自己可以手写一些代码来避免，比如上面这种情况，可以这么改，判断输入参数obj取值类型是否为可迭代的对象，不是则提示并返回，这种提示方法更加友好。

from collections import abc

if isinstance(obj, abc.Iterable) is False:

print(’%s 不是可迭代的’%str(obj))

return

这种写法无形中会增加很多代码，能用一个框架统一解决这个问题吗?微软的pyright做的就是这个事情。

使用pyright, 代码会简化成这样：

len(iterable_object: abc.Iterable)