浅谈怎么给Python添加类型标注

Python 添加类型标注

Python 如此简洁，书写者在声明变量时甚至无需考虑类型。

但是简洁与复杂间，是存在一个平衡点的。当我们书写较为复杂的项目时，还是希望可以拥有「静态类型语言」强大的类型检查和智能的提示。

好消息是，并不需要像 TypeScript 那样，引入一个新的编译器来给 JavaScript 做“升级”来进行类型检查， Python 自带的 typing 工具可以在一定程度上把 Python 变成「静态类型语言」；坏消息是， Python 归根结底不是「静态类型语言」，经过我的简单测试，其代码还是「自由松散」的。

给 Python 标注类型

首先和读者声明我们的实验环境。

❯ python --version
Python 3.7.0

本文参考了 Python3.7 的 中文文档。

我们声明一个变量，通过如下方式声明类型：

a: int = 1
b: float = .2
print(f'{a}, {b}')  # 1, 0.2

遗憾的是，在 Python 中，a: int = 1 这句话并没什么意义，说的直白点，就是『脱裤子放屁』；再说得好听点， Python 的类型标注放在这里这么用完全没有必要。

首先， a = 1 中解释器会自动把 a 推断为 int 类型，诸如 Pylance 的 Language Server 也会在我们书写时提供 int 的方法补全。

此外，就算我们把 a 的类型规定为 int ，然后将 str 赋给 a ，解释器和 Language Server 也完全不会报错。如下。

a: int
a = '1'
print(a)  # 非常迷

做上述类型检查对于现代编译技术而言应该是毫无难度的，但这里就是没有报错、没有警告。这大概与 Python 的设计哲学有关。

我们看看 TypeScript 是如何表现的：

TypeScript 把自己当作静态类型语言，要求书写时就确保类型的正确性。

使用 typing

尽管 Python 并不强制要求类型的正确性，并且会自动帮我们做强类型转换，但是我们依旧可以享受类型标注带来的诸多便利。

比如，我们现在要定义一个函数 foo ，函数返回一个列表 dogList ，列表中的元素都是我们自定义的类 Dog 的实例。

如果没有类型标注，我们无法获得智能提示，如下。

Python 中从来就不要求 List 对象中的元素都是同一类型，因此，解释器或者 Language Server 也不会「吃力不讨好」般地去把程序运行一遍，然后推断你这个 List 里放的东西是什么类型。

自然，当你从 List 中拿元素时（比如上述的 dogList[0] ），它没法告诉你 List 中你拿的元素是什么类型，也就没办法提示（No suggestion.）。

这与实际业务场景不符，因为我们写代码时，在一个列表中装入的往往都是同一类型。 为了在取元素时获得补全提示，我们可以使用 typing.List + 极简的泛型 。如下。

我们规定， foo 返回的元素必是一个 List ，且其中元素类型是 Dog 类型。然后我们的 dogList[0] 也被识别成了 Dog 类型，获得了补全。舒服。

题外话：聪明的 Pylance

其实 Pylance 自己也可以做一些类型推导。比如我们使用生成器生成列表时， Pylance 就会判断这个列表中元素属于什么类型：

结语

关于 typing 的用法，还有很多内容可以讨论，我的参考资料主要是：Python3.7 的 typing中文文档 。此外，用 Python 泛型实现函数重载相比静态类型语言似乎十分麻烦（我参考了Python实用宝典的文章（知乎）），如果之后我遇到合适的场景也会成文分享。

到此这篇关于浅谈怎么给Python添加类型标注的文章就介绍到这了,更多相关Python添加类型标注内容请搜索我们以前的文章或继续浏览下面的相关文章希望大家以后多多支持我们！

赞 (0)

相关推荐

  • Python-typing: 类型标注与支持 Any类型详解

    Any docs Any 是一种特殊的类型. 静态类型检查器将所有类型视为与 Any 兼容,反之亦然, Any 也与所有类型相兼容. 这意味着可对类型为 Any 的值执行任何操作或方法调用,并将其赋值给任何变量: from typing import Any a = None # type: Any a = [] # OK a = 2 # OK s = '' # type: str s = a # OK def foo(item: Any) -> int: # Typechecks; 'item

  • Python标准库之typing的用法(类型标注)

    Python标准库之typing的用法(类型标注)

    PEP 3107引入了功能注释的语法,PEP 484 加入了类型检查 标准库 typing 为类型提示指定的运行时提供支持. 示例: def f(a: str, b:int) -> str: return a * b 如果实参不是预期的类型: 但是,Python运行时不强制执行函数和变量类型注释.使用类型检查器,IDE,lint等才能帮助代码进行强制类型检查. 使用NewType 创建类型 NewType() 是一个辅助函数,用于向类型检查器指示不同的类型,在运行时,它返回一个函数,该函数返回其

  • Python3 类型标注支持操作

    Python3 类型标注支持操作

    typing为Python的一个标注库,此默认支持PEP 484和PEP 526指定的类型提示.最基本的支持由Any.Union.Tuple.Callable.TypeVar和Generic类型组成. 有关完整的规范,请参阅PEP 484,有关任何类型提示的简单介绍,请参阅PEP 483. 举个栗子,函数接收并返回一个字符串,如下所示: def func(name: str) -> str: return "Hello" + name 在函数func中,参数预期是str类型,并且

  • 浅谈怎么给Python添加类型标注

    浅谈怎么给Python添加类型标注

    Python 添加类型标注 Python 如此简洁,书写者在声明变量时甚至无需考虑类型. 但是简洁与复杂间,是存在一个平衡点的.当我们书写较为复杂的项目时,还是希望可以拥有「静态类型语言」强大的类型检查和智能的提示. 好消息是,并不需要像 TypeScript 那样,引入一个新的编译器来给 JavaScript 做"升级"来进行类型检查, Python 自带的 typing 工具可以在一定程度上把 Python 变成「静态类型语言」:坏消息是, Python 归根结底不是「静态类型语言

  • 浅谈Arrays.asList() 和ArrayList类型区别

    <pre name="code" class="html"><pre name="code" class="html">Arrays.asList() 将一个数组转化为一个List对象,这个方法会返回一个ArrayList类型的对象, 这个ArrayList类并非java.util.ArrayList类,而是Arrays类的静态内部类!用这个对象对列表进行添加删除更新操作,就会报UnsupportedO

  • 浅谈c++调用python链接的问题及解决方法

    python 版本3.3 系统:windows 问题:链接时报告 1>pythonIniti.obj : error LNK2019: 无法解析的外部符号 __imp___Py_NegativeRefcount,该符号在函数 "public: __thiscall boost::python::api::object_base::~object_base(void)" (??1object_base@api@python@boost@@QAE@XZ) 中被引用 1>pyth

  • 浅谈如何使用python抓取网页中的动态数据实现

    我们经常会发现网页中的许多数据并不是写死在HTML中的,而是通过js动态载入的.所以也就引出了什么是动态数据的概念,动态数据在这里指的是网页中由Javascript动态生成的页面内容,是在页面加载到浏览器后动态生成的,而之前并没有的. 在编写爬虫进行网页数据抓取的时候,经常会遇到这种需要动态加载数据的HTML网页,如果还是直接从网页上抓取那么将无法获得任何数据. 今天,我们就在这里简单聊一聊如何用python来抓取页面中的JS动态加载的数据. 给出一个网页:豆瓣电影排行榜,其中的所有电影信息都是

  • 浅谈Mybatis+mysql 存储Date类型的坑

    场景: 把一个时间字符串转成Date,存进Mysql.时间天数会比实际时间少1天,也可能是小时少了13-14小时 Mysql的时区是CST(使用语句:show VARIABLES LIKE '%time_zone%'; 查) 先放总结: 修改方法: 1. 修改数据库时区 2. 在jdbc.url里加后缀 &serverTimezone=GMT%2B8 3. 代码里设置时区,给SimpleDateFormat.setTimeZone(...) 例外:new Date() 可以直接存为正确时间,其他

  • 浅谈如何测试Python代码

    浅谈如何测试Python代码

    目录 一.介绍 二.测试范围 三.单元测试 四.第一个测试用例 五.异常测试 六.mounttab.py 七.测试覆盖率 八.总结 一.介绍 编写测试检验应用程序所有不同的功能.每一个测试集中在一个关注点上验证结果是不是期望的.定期执行测试确保应用程序按预期的工作.当测试覆盖很大的时候,通过运行测试你就有自信确保修改点和新增点不会影响应用程序. 知识点 单元测试概念 使用 unittest 模块 测试用例的编写 异常测试 测试覆盖率概念 使用 coverage 模块 二.测试范围 如果可能的话,

  • 浅谈javascript中基本包装类型

    为了便于操作基本类型值,ECMAScript还提供了3个特殊的引用类型:Boolean.Number和String.这些类型与本章介绍的其他引用类型相似,但同时也具有与各自的基本类型相应的特殊行为.实际上,每当读取一个基本类型值得时候,后台就会创建一个对应的基本包装类型的对象,从而让我们能够调用一些方法来操作这些数据.如下例子: 复制代码 代码如下: var s1="some text"; var s2=s1.substring(2); 这个例子中的变量s1包含一个字符串,字符串当然是

  • 浅谈ECMAScript 中的Array类型

    前言 Array 类型是除了 Object 类型之外又是一个特别经常用的一个类型了,当然数组在其他的语言中都是不可缺少的属性,我们都知道不管 js 还是其他类的语言的数组都是数据的有序列表,但是在 javaScript 中的数组是有一定的区别的,具体的区别就是: js 中的数组保存的数据可以是任何类型的数据,比如,我可以在第一个位置来保存数字,第二个位置保存字符串,第三和第四保存一个对象都完全OK,同时我还可以非常方便的操作数组的大小,添加新数据长度也会自动增长,动态调整什么的都是没有任何问题滴

  • 浅谈Go语言的error类型

    error类型是go语言的一种内置类型,使用的时候不用特定去import,他本质上是一个接口 type error interface{ Error() string //Error()是每一个订制的error对象需要填充的错误消息,可以理解成是一个字段Error } 怎样去理解这个订制呢? 我们知道接口这个东西,必须拥有它的实现块才能调用,放在这里就是说,Error()必须得到填充,才能使用. 比方说下面三种方式: 第一种:通过errors包去订制error error := errors.N

  • 浅谈C#中的值类型和引用类型

    浅谈C#中的值类型和引用类型

    一.基本概念 C#只有两种数据类型:值类型和引用类型 值类型在线程栈分配空间,引用类型在托管堆分配空间 值类型转为引用类型称成为装箱,引用类型转为值类型称为拆箱 以下是值类型和引用类型对照表 从上图可以简单看出:string,Object,数组,class是引用类型,简单类型,枚举,结构是值类型. 二.代码展示 定义一个类和结构调用赋值 内存分配情况如下图: 从这张图可以看出,class实例化出来的对象,指向了内存堆中分配的空间:truct实例化出来的对象,是在内存栈中分配. 修改代码如下: 内

随机推荐