首页
文章列表
标签墙
返回找工具啦
静态类型
共 6 篇文章
Python 类型提示：typing 模块与类型标注
2026-04-10 15:26:04
Python 类型提示：typing 模块与类型提示 Python 3.5 引入了类型提示功能，允许开发者在代码中指定变量、函数参数和返回值的类型。这一特性已成为Python编程的重要组成部分，帮助开发者编写更清晰、更健壮的代码。 类型提示基础 理解 类型提示是Python的一种静态类型系统机制，它
Python类型提示
typing模块
类型标注
73
0
TypeScript 断言函数类型守卫的实现
2026-04-05 11:25:47
TypeScript 断言函数类型守卫的实现 在 TypeScript 的类型系统中，类型守卫和断言函数是处理运行时类型检查的两大核心机制。它们帮助开发者在复杂的类型推断场景中确保代码的类型安全，同时解决 TypeScript 编译器无法在运行时验证类型的根本性问题。本文将系统讲解这两种机制的实现原
TypeScript
类型守卫
类型断言
87
0
TypeScript 联合类型：string | number 与类型保护
2026-04-04 22:59:03
TypeScript 联合类型：string number 与类型保护 联合类型是 TypeScript 类型系统中极为实用的特性，它允许一个值在多种类型之间灵活切换。然而，有利必有弊——TypeScript 在处理联合类型时，只能访问所有类型共有的属性和方法。这时，类型保护机制应运而生，它让 Ty
TypeScript
联合类型
类型保护
63
0
Dart 类型推断：var 与 dynamic
2026-04-03 23:54:27
Dart 类型推断：var 与 dynamic Dart 是一种类型安全的语言，支持静态类型检查。但在日常开发中，你可能会看到两种写法：用 var 声明变量，或用 dynamic 声明变量。它们看起来都能“自动”适应任何值，但行为完全不同。搞混它们会导致运行时错误、性能下降，甚至破坏类型安全机制。
Dart
类型推断
var
75
0
Python 静态类型检查：mypy 工具的使用
2026-04-03 20:03:14
Python 静态类型检查：mypy 工具的使用 Python 是动态类型语言，变量类型在运行时才确定。这带来灵活性，但也容易因类型错误导致程序崩溃。安装并运行 mypy 可在不执行代码的情况下提前发现类型问题，提升代码健壮性。 安装 mypy 打开终端，执行以下命令安装 mypy： bash pi
Python
静态类型
mypy
74
0
TypeScript 类型问题：any 类型过度使用
2026-04-03 15:11:17
TypeScript 类型问题：any 类型过度使用 TypeScript 的核心价值在于通过静态类型系统提前发现潜在错误，提升代码可读性和可维护性。但许多开发者在项目中频繁使用 any 类型，这会直接绕过类型检查，使 TypeScript 退化为“带类型的 JavaScript”，丧失其主要优势。
TypeScript
类型安全
any类型
97
0
