添加链接
link之家
链接快照平台
  • 输入网页链接,自动生成快照
  • 标签化管理网页链接

Python解释器不强制执行函数和变量类型注解。但它们可以被第三方工具使用,例如类型检查器,IDE等。使用类型注解,IDE可以准确地推断出当前对象的具体类型,能更好地提示该对象的属性、方法,以及对于方法的传入参数进行检查,在能够保证代码逻辑正确的情况下,如果检查通过,甚至可以不调试,直接运行程序即可正常工作,对于稍复杂的项目,可以有效地提高开发效率。

就本人而言,在自己所负责的项目中大量使用类型注解功能,深刻地体会到了类型注解的好处,但之前的使用过程中,对于某些函数,如下面的示例代码,传入两个参数a、b对a、b求和后返回,但Python3上不同类型的变量是不能做+运算的,而且如果参数传入类型是str,那么返回类型也必须是str,而示例代码中的类型注解明显没有对上述两种情况加以约束。

def add(a: Union[str, int], b: Union[str, int]) -> Union[str, int]:
    return a + b

官方文档: https://docs.python.org/zh-cn/3.7/library/typing.html#generics

使用泛型可以很好地解决上述问题,示例代码如下所示,定义一个泛型类型T,并约束它的类型为int,str(有点疑惑约束为和必须填两个参数?),并将a、b参数和函数返回值类型均设置为T。

from typing import TypeVar
T = TypeVar('T', int, str)
def add(a: T, b: T) -> T:
    return a + b

IDE提示效果如下图:

1. 返回类型为str与value1的类型不匹配;

2. 正常

3. 正常

4. 返回类型为int与value4的类型不匹配;

5. 第一个参数为int类型,第二个参数也必须为int,提示类型不一致。

综上所述,泛型可以解决传入参数的类型不确定,而函数的返回值类型与参数类型一致的情况,由于在此前工作中并不知道泛型,故一直认为Python不支持此类型的类型注解,所以在此记记录一下。

介绍Python解释器不强制执行函数和变量类型注解。但它们可以被第三方工具使用,例如类型检查器,IDE等。使用类型注解,IDE可以准确地推断出当前对象的具体类型,能更好地提示该对象的属性、方法,以及对于方法的传入参数进行检查,在能够保证代码逻辑正确的情况下,如果检查通过,甚至可以不调试,直接运行程序即可正常工作,对于稍复杂的项目,可以有效地提高开发效率。就本人而言,在自己所负责的项目中大量使用类型注解功能,深刻地体会到了类型注解的好处,但之前的使用过程中,对于某些函数,如下面的示例代码,传入两个参.
这里写目录标题 类型 提示了解标准库typing初见 泛型 小试 泛型 泛型 示例完整代码 不知道从什么时候起,我写 Python 代码习惯给变量加上 类型 注解 。这虽然降低了 Python 的灵活性,但确确实实在后续维护的过程 提供了很好的帮助。 第一次听到 泛型 这个词,是在Java 了解到的,但具体做什么,有什么作用,都是比较模糊的。因为我本身对Java只是了解并且也没有用Java做过什么实际项目,所以一直对 泛型 不太明白。 在官方文档 描述了 泛型 的使用方法,我将从小例子开始,看看 泛型 是如何帮助我们的。 类型 提示 当前有一个get函
Python提示 TypeError: super(type, obj): obj must be an instance or subtype of type问题 _ConneR_: Easy solution is to restart the kernel. Python提示 TypeError: super(type, obj): obj must be an instance or subtype of type问题 ljjdreamer: 加载UI的时候怎么都会弹出super类型不一致的错误,怎么也想不到是一个reload造成的。。。去掉reload,奇迹出现了。。 表情包 Python 类型注解中泛型应用 地球OL旅行商人: Python提示 TypeError: super(type, obj): obj must be an instance or subtype of type问题 zihangyile: Python提示 TypeError: super(type, obj): obj must be an instance or subtype of type问题 你好,能讲的再明白点吗,看不懂怎么解决的这个错误