首页
学习
活动
专区
工具
TVP
发布
精选内容/技术社群/优惠产品,尽在小程序
立即前往
您找到你想要的搜索结果了吗?
是的
没有找到

Python 静态类型检查入门

对于 Python 的话我们要加一些类型提示(注解),然后再用专门的静态分析工具去检查,我们的使用方式与类型提示是否一致。那下面就来实操下。...第一步安装类型检查工具 为了做静默类型检查,我们需要先安装一个官方提供的工具 mypy ;从 github 上看这个已经是官方第二大的项目了,这个工具的工程质量上确实不错。...0.1 就应该写成 1000 j = 1000 k = 1000 total = total + my_sum(j, k) # 输出的时候要格式化一下这样对人更加友好...mypy --strict main.py Success: no issues found in 1 source file 运行程序检查结果是不是期望中的 20 python3 main.py...静态类型检查就能比较好地解决掉这些问题。 事实上我们在真正的开发上并不会,每次都会去运行程序做检查的,vscode 上有方便的插件可以用;不过这是后话了下次再说吧,这篇文章已经有点长了。

5210

Xcheck之Python安全检查引擎

image.png 0x00 Python安全检查引擎 Xcheck的Python分析引擎,能够自动分析Python写的Web应用,检测诸如命令注入、SQL注入、URL跳转、SSRF、XXE等常见的Web...0x01 Python作者谈Python静态分析 image.png Python语言的作者吉多·范罗苏姆曾经在第九届Laser Summer School(https://www.laser-foundation.org.../) 上分享Python语言设计,其中一个独立的章节是关于他对Python静态分析的想法。...吉多的答案是: Python解释器的原因 Python没有类型标注(3.5版本之后支持,但不是强制) Python的动态语言特性 Python用户偏好写一些奇技淫巧的代码(crazy hacks) 本文重点谈...0x04 Xcheck的设计 像Python这样的动态语言特性,为Python开发者提供了遍历,但同时增加了静态分析的难度。

1.2K70

设置Python代码格式

代码编写风格的重要性:随着你编写的程序越来越长,有必要了解一些代码格式设置约定。请花时间让你的代码尽可能易于阅读;让代码易于阅读有助于你掌握程序是做什么的,也可以帮助他人理解你编写的代码。...Python程序员都遵循一些格式设置约定。学会编写整洁的Python后,就能明白他人编写Python代码的整体结构------只要他们和你遵循相同的指南。...设置格式指南:若要提出Python语言修改建议,需要编写Python改进报案(Python Enchancement Proposal,PEP)。...PEP8是最古老的PEP之一,它向Python程序员提供了代码格式设置指南。Python格式设置指南的编写者深知,代码被阅读的次数比编写的次数多。...PEP 8还建议注释的行长都不超过72字符,因为有些工具为大型项目自动生成文档时,会在每行注释开头添加格式化字符。PEP 8中有关行长的指南并非不可逾越的红线,有些小组将最大行长设置为99字符。

1.6K20
领券