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

漫谈 C++ 的各种检查

漫谈 C++ 的各种检查 1 编译时检查 编译时静态检查,主要依靠 C++ 语言提供的 语法支持/静态断言 和 编译器扩展 实现 —— 在检查失败的情况下,编译失败。...1.2 可拷贝性检查 C++ 语言本身有很多编译时检查(例如 类的成员访问控制 (member access control)、const 关键字 在编译成汇编语言后,不能反编译还原),但 C++ 对象默认是可拷贝的...1.3 参数类型检查 Chromium 还基于 现代 C++ 元编程 技术,通过 static_assert 进行静态断言。...在之前写的 深入 C++ 回调 中分析了:  Chromium 的base::Callback  +  base::Bind() 回调机制,提到了相关的静态断言检查。...2.2 数值溢出检查 C++ 的数值类型,都是固定大小的标量类型 —— 如果存储数值超出范围,会导致溢出 (overflow)。 例如,尝试通过 使用无符号数 避免出现负数,往往是一个典型的徒劳之举。

2.3K20

Python 静态类型检查入门

对于 Python 的话我们要加一些类型提示(注解),然后再用专门的静态分析工具去检查,我们的使用方式与类型提示是否一致。那下面就来实操下。...第一步安装类型检查工具 为了做静默类型检查,我们需要先安装一个官方提供的工具 mypy ;从 github 上看这个已经是官方第二大的项目了,这个工具的工程质量上确实不错。...,可以看到类型检查也过去了。...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 类型检查工具

adorable-animal-basket-1543793.jpg 近日,微软在 Github 上开源了一个 Python 静态类型检查工具:pyright ,引起了社区内的多方关注。...如今开源的 Pyright ,口碑还不错,那我们就来看看它有啥本事,顺便再介绍其它几款类型检查工具。 众所周知,Python 是一门动态类型语言,在运行期才知道变量的实际类型。...而到了 3.5 版本,Python 继续引入了静态类型检查的语法(即 PEP-484,type hints)。...相较于 mypy 及其它用 Python 写的检查工具,它的速度是 5 倍甚至更多。 不依赖 Python 环境。...支持自由地配置,支持指定不同的运行环境(PYTHONPATH 设置、Python 版本、平台目标)。 检查项齐全。

80640
领券