首页
学习
活动
专区
圈层
工具
发布

Python 静态类型检查入门

有了解决方案,问题就解决了一半,剩下的就是要落实;就其它静态类型的语言来说这个比较好办,只需要把数据类型声明为 int / long int 类型就行,编译时就能检查出问题。...对于 Python 的话我们要加一些类型提示(注解),然后再用专门的静态分析工具去检查,我们的使用方式与类型提示是否一致。那下面就来实操下。...第一步安装类型检查工具 为了做静默类型检查,我们需要先安装一个官方提供的工具 mypy ;从 github 上看这个已经是官方第二大的项目了,这个工具的工程质量上确实不错。...第三步修复类型检查的问题 按 1/10000 的精度把我们的代码逻辑改正确。 #!...mypy --strict main.py Success: no issues found in 1 source file 运行程序检查结果是不是期望中的 20 python3 main.py

30810
  • 您找到你想要的搜索结果了吗?
    是的
    没有找到

    Meta 开源 Pyrefly,Rust 中的高性能 Python 类型检查器

    作者 | Sergio De Simone 译者 | 刘雅梦 策划 | 丁晓昀 目前处于 alpha 阶段的 Pyrefly 是 Meta 开发的一款新的开源 Python 类型检查器,其使用 Rust...除了对带注解的 Python 代码库进行类型检查之外,Pyrefly 还致力于对未带注解的代码也有用。...为此,它可以自动推断返回值和局部变量的类型,允许开发人员根据需要显式地将推断的类型插入到他们的代码中。...Meta 已经发布了 Pyrefly 的 alpha 版本,因为存在开放的缺陷并且一些功能正在开发中,但其计划在今年夏天进入 beta 阶段。...Pyrefly 并不是唯一一个用 Rust 编写的 Python 类型检查器。专门从事开发者工具的公司 Astral 最近推出了 Ty 的预览版。

    14400

    python静态类型检查工具mypy

    mypy介绍 mypy 是 Python 的一个可选静态类型检查器,旨在结合动态(或“鸭子”)类型和静态类型的优点。...mypy 将 Python 的表达能力和便利性与强大的类型系统和编译时类型检查相结合。mypy 类型检查标准 Python 程序;使用任何 Python VM 运行它们,基本上没有运行时开销。...pip3 install mypy 接下来就可以直接在使用mypy了,例如: mypy type_annotations.py 就可以实现对代码进行静态类型检查,但是前提是你的代码使用了类型注解,否则mypy...mypy检查的结果是基于类型注解的,这意味你可以忽略mypy所提示的错误,只把它当做警告。 默认情况下,mypy不会对动态类型函数进行类型检查。...的鸭子类型。

    1.2K10

    python 元类做类型检查

    pass class A(Root): def foo_bar(self): # Ok pass class B(Root): def fooBar(self): # TypeError pass 检查元类的签名...new() 方法在类创建之前被调用,通常用于通过某种方式(比如通过改变类字典的内容)修改类的定义。 而 init() 方法是在类被创建之后被调用,当你需要完整构建类对象的时候会很有用。...在最后一个例子中,这是必要的,因为它使用了 super() 函数来搜索之前的定义。 它只能在类的实例被创建之后,并且相应的方法解析顺序也已经被设置好了。...最后一个例子还演示了Python的函数签名对象的使用。...实际上,元类将每个可调用定义放在一个类中,搜索前一个定义(如果有的话), 然后通过使用 inspect.signature() 来简单的比较它们的调用签名。

    80010

    TypeScript 中的类型检查实用函数

    TypeScript 中的类型检查实用函数 一、概述 在前端开发中,我们经常需要判断变量的类型以进行相应的操作或处理。...TypeScript 提供了基础的类型检查,但有时我们需要更复杂或更灵活的类型检查。这篇博客文章将介绍一组实用函数,用于各种常见的类型检查。...二、代码实现 // 禁用一些 ESLint 规则,主要是因为下面使用了 Object.prototype 的方法 // eslint-disable-next-line @typescript-eslint.../unbound-method const { toString } = Object.prototype // 判断一个值是否为指定类型 export function is(val: unknown...isServer // 判断一个字符串是否是有效的 URL export function isUrl(path: string): boolean { const reg = /^((https

    1.1K00

    介绍几款 Python 类型检查工具

    adorable-animal-basket-1543793.jpg 近日,微软在 Github 上开源了一个 Python 静态类型检查工具:pyright ,引起了社区内的多方关注。...如今开源的 Pyright ,口碑还不错,那我们就来看看它有啥本事,顺便再介绍其它几款类型检查工具。 众所周知,Python 是一门动态类型语言,在运行期才知道变量的实际类型。...而到了 3.5 版本,Python 继续引入了静态类型检查的语法(即 PEP-484,type hints)。...类型检查的好处是及早检查,提前发现类型的错误,增强代码的一致性与可维护性。...此外,还有一个考虑也不错,为了写类型检查,模块中可能会额外引入其它的模块,对于后者,pytype 有办法隐藏它,只在做类型检查时才加载。

    1K40

    介绍几款 Python 类型检查工具

    近日,微软在 Github 上开源了一个 Python 静态类型检查工具:pyright ,引起了社区内的多方关注。...如今开源的 Pyright ,口碑还不错,那我们就来看看它有啥本事,顺便再介绍其它几款类型检查工具。 众所周知,Python 是一门动态类型语言,在运行期才知道变量的实际类型。...而到了 3.5 版本,Python 继续引入了静态类型检查的语法(即 PEP-484,type hints)。...类型检查的好处是及早检查,提前发现类型的错误,增强代码的一致性与可维护性。...此外,还有一个考虑也不错,为了写类型检查,模块中可能会额外引入其它的模块,对于后者,pytype 有办法隐藏它,只在做类型检查时才加载。

    1.3K10

    typescript 中严格字面量类型检查的理解

    ,stu1 是一个标识符,一个指向对象的引用,而且这个对象的初始化引用类型,被定义成了 IStudent(其中没有 score 这个属性的定义) 这意味着,在后续使用中,无法通过 stu1 访问到 score...当然,语法上,可以先将 stu1 转换成 any 类型,然后再访问,如 const stu11 = stu1 as anyconst score = stu11.score 但这失去了类型约束的意义,...这里,虽然 stu3 中无法直接访问 score 这个属性了,但是 obj 这个引用保留了完整的数据,可以用于访问 score 属性。 另外,这里还涉及到的一个思想,是 TS 中关于类型的设计。...TS 中的类型,不需要如 java/C# 中严格匹配,只需要 “形似” 就可以,也就是所谓的鸭子类型。...,会好理解很多,尤其对于使用 java/C# 等强类型面向对象语言的同学。

    36100

    介绍几款 Python 类型检查工具

    微软在 Github 上开源了一个 Python 静态类型检查工具:pyright ,引起了社区内的多方关注。...如今开源的 Pyright ,口碑还不错,那我们就来看看它有啥本事,顺便再介绍其它几款类型检查工具。 众所周知,Python 是一门动态类型语言,在运行期才知道变量的实际类型。...而到了 3.5 版本,Python 继续引入了静态类型检查的语法(即 PEP-484,type hints)。...类型检查的好处是及早检查,提前发现类型的错误,增强代码的一致性与可维护性。...此外,还有一个考虑也不错,为了写类型检查,模块中可能会额外引入其它的模块,对于后者,pytype 有办法隐藏它,只在做类型检查时才加载。

    86810

    python中的时间类型

    时间类型是编程语言中经常使用到的,且在日常生活中也常用到。本文将介绍几种时间库的常用方法,以满足日常编程的需要,主要涉及的库有:time、datetime中的time类型。...---- 1、time库 time库是python的内置库,无需安装,在使用的时候直接import time即可,主要方法有: (1)获取时间戳 import time print('获取时间戳:\n'...print('当前时区的struct_time类型:\n', time.localtime()) print('指定时区的struct_time类型:\n', time.localtime(time.time...strftime(format, [t])方法,通过指定输出格式和(2)中的struct_time类型,可以返回一个指定格式的字符串时间。...以上就是python中time类型的主要内容,掌握各种日期的转换方法对于理解time类型十分重要,因为很多数据都是关于时间序列的。

    2.7K20

    Python 中的枚举类型

    你好,我是 征哥,今天分享一下 Python 中的枚举类型,为什么需要枚举类型,及如何使用。 什么是枚举类型 枚举(Enum)是一种数据类型,是绑定到唯一值的符号表示。...您可以使用它来创建用于变量和属性的常量集。它们类似于全局变量,但是,它们提供了更有用的功能,例如分组和类型安全。Python 在 3.4 版本中添加了标准库 enum。...如何使用枚举 以我们最熟悉的性别为例,先创建一个枚举类型: >>> from enum import Enum >>> class Gender(Enum): ......而且后续增加出口的国家地区,也非常简单,只需要增加一个枚举类型,创建一个新的 Car 对象,需求修改 Car 类的任何代码: class StateTax(Enum): OR = 0.05...Enum 可以帮助我们使代码更具可读性,更具可维护性,枚举类型一旦定义,不可修改,更安全,推荐大家都用一用。

    1.4K10
    领券