2025-04-19 Python 强类型编程

文章目录

  • 1 方法标注
    • 1.1 参数与返回值
    • 1.2 变参类型
    • 1.3 函数类型
  • 2 数据类型
    • 2.1 内置类型
    • 2.2 复杂数据结构
    • 2.3 类别选择
    • 2.4 泛型
  • 3 标注方式
    • 3.1 注释标注
    • 3.2 文件标注
  • 4 特殊情形
    • 4.1 前置引用
    • 4.2 函数标注扩展
    • 4.3 协变与逆变
    • 4.4 dataclass
  • 5 高级内容
    • 5.1 接口
    • 5.2 泛型的协变/逆变
    • 5.3 字面量类型
    • 5.4 静态检查
    • 5.5 Final 与 final
    • 5.6 关闭静态类型检查
  • 工具参考
  • 参考链接

环境：

  • Pycharm Professional 2025.1
  • Python 3.12.9

​ Python 是一门强类型的动态类型语言，可以动态构造脚本执行、修改函数、对象类型结构、变量类型，但不允许类型不匹配的操作。

​ Python 也提供了类型标注功能，有了类型标注提示后，就可以在编码时即发现错误。

image-20250418123709397

强类型检查的优势

  1. 几大优势：
    • 易读：比 docstring 更易理解接口协议，也更易使用第三方库（IDE 工具支持）
    • 排错：编码、编译期间即可发现错误（IDE 工具支持）
    • 重构：接口范围明确，更易于理解和放心重构。
    • 性能：（可能）可以做到静态编译优化。
  2. 现实：
    • 生态-IDE：（方类型检查工具比较全面（PyCharm、VSCode、VIM 等）。
    • 生态库工具：（方库有官方或大厂支持且很流行。
    • 官方 /mypy-9.5 K star、Facebook/.pyre-5 K Star,Google/pytype-3 K star 等。
    • 成熟度：静态检查已被广泛验证有效性，尤其大型工程（dropboxi 迁移 400 万行到静态标注）
    • 行业：主流编程语言以静态强类型检查为主（C++、Jva、Go 等）；其他动态语言的静态类型扩展迅猛发展（如 TypeScript）。

​ 如下是一个非常长的（14个）PEP（Python 改进建议）的列表和落地情况（图中时间是文档时间 +1 年左右是实际落地时间），并且在 PEP 483 开始快速迭代（图中橙色是比较重要的迭代），并且到了 Python3.7 才真正算是成型。

image-20250418125523443

什么时候建议采用强类型检查

  • 提供 SDK、库/接口给其他人时。

    比 docstring 更清晰、主流 IDE 支持提示和校验。

  • 代码行数越多，价值越大。

    规范化编码，通过工具可以辅助发现潜在 BUG。

  • 需要写 UT（单元测试）的地方，就需要类型检查（by Bernat Gabor）。

以下情况适当考虑

  • 原型（Prototype）或验证性质项目（POC）的代码，可以先不引入。
  • 大量旧有代码，需要逐步阶段性引入（参考 Dropbox 经验）。
  • 不熟悉 Python 和类型提供功能用法时，可以先不引入。

1 方法标注

1.1 参数与返回值

​ 对函数参数，返回值进行标注。

image-20250418130632447 
def add(v1: int, v2: int) -> int:"""两个数字相加"""return v1 + v2

1.2 变参类型

​ 对变参、命名变参直接标注其类型。

image-20250418211059472 
def foo(*args: str, **kwds: int):...foo('a', 'b', 'c')
foo('a', 'b', 1)  # 错误
foo(x=1, y=2)
foo(x=1, y='x')  # 错误
foo('', z=0)

1.3 函数类型

​ 函数类型：Callable[[参数1类型, 参数2类型, ...], 返回类型]

image-20250418211741331

2 数据类型

2.1 内置类型

​ 对内置类型标注，在变量声明后面添加 :类型 即可。

image-20250418130429019 
a: int = 100
b: str = "abc"

2.2 复杂数据结构

Sequence

  1. Sequence 表示 server 可以是任何序列类型（包括 list, tuple, collections.deque 等）。
  2. Sequence 更通用，允许调用方传入列表、元组或其他序列类型。
  3. list 表示 server 必须是一个具体的列表（list），不能是元组或其他序列类型。
image-20250418131737490 
from collections.abc import SequenceConnectionOptions = dict[str, str]
Address = tuple[str, int]
Server = tuple[Address, ConnectionOptions]def connect(message: str,server: Sequence[Server]) -> None:...# 等价于
def connect1(message: str,server: Sequence[tuple[tuple[str, int], dict[str, str]]]) -> None:...

2.3 类别选择

  • 使用 Union 定义可能的类型选择：x、y、返回值的类型同一时刻可以不同。
  • 使用 TypeVar 定义一组类型：x、y、返回值的类型同一时刻必须相同。
image-20250418211420368 
from typing import Union, TypeVar, TextAnyStr1 = Union[Text, bytes]
AnyStr2 = TypeVar('AnyStr2', Text, bytes)def concat1(x: AnyStr1, y: AnyStr1) -> AnyStr1:passdef concat2(x: AnyStr2, y: AnyStr2) -> AnyStr2:passconcat1('a', 'b')  # 正确
concat1(b'a', b'b')  # 正确
concat1('a', b'b')  # 正确
concat2('a', 'b')  # 正确
concat2(b'a', b'b')  # 正确
concat2('a', b'b')  # 错误

2.4 泛型

​ 使用 TypeVar 表示泛型。

容器泛型示例 1

image-20250418212011985 
T = TypeVar('T')  # 一个泛型类型# 接受一个元素类型都是T的序列，返回值的类型也是T
def first(l: Sequence[T]) -> T:  # 泛型函数return l[0]first([1, 2]) + 100  # 正确
first(['a', 'c']).upper()  # 正确
first(['a', 'c']) + 100  # 错误

容器泛型示例 2

image-20250418213017654 
from typing import TypeVar, IterableT = TypeVar('T', bound=float)
Vector = Iterable[tuple[T, T]]def inproduct(v: Vector[T]) -> T:return sum(x * y for x, y in v)

类与泛型

image-20250418213432735 
from typing import TypeVar, GenericT = TypeVar('T')class MyClass(Generic[T]):def meth_1(self, x: T) -> T:...def meth_2(self, x: T) -> T:...a: MyClass[int] = MyClass()
a.meth_1(1)  # 0K
a.meth_2('a')  # 错误

3 标注方式

3.1 注释标注

  • 使用注释 # type: xxxx 进行标注
  • 函数的标注方式：
    • (参数类型列表)->返回值类型
image-20250418213929802 
from typing import Listclass A(object):def __init__(self):# type: ()->Noneself.elements = []  # type: List[int]def add(self, element):# type: (List[int])->Noneself.elements.append(element)

3.2 文件标注

  • 独立的 stub 文件（.pyi）与源文件并行即可（放在同一目录下）。
  • 优点：
    • 不需要修改源代码（减少引入 BUG 可能）
    • Pyi 可以使用最新的语法（源文件可以是低版本）
    • 测试友好。
    • 不拥有的三方库，也可以补充标注信息。
  • 缺点：
    • 代码重复写了一遍头（工作量）
    • 打包变得复杂
image-20250418214958882 
# pyi文件from typing import Listclass A(object):elements = ...  # type: List[int]def __init__(self) -> None:...def add(self, element: int) -> None:...

4 特殊情形

4.1 前置引用

​ 二叉树节在进行类型标注时需要引用自己，这种情况下需要使用前置引用，方式是用字符串代替类型标注。

image-20250418215453476 
from typing import Listclass Tree:def __init__(self, left: 'Tree', right: 'Tree'):self.left = leftself.right = rightdef leaves(self) -> List['Tree']:...

4.2 函数标注扩展

  • 使用 overload 进行参数返回值描述。
  • 必须有一个无修饰版本做真正实现。
  • 仅用于静态类型检查，运行时重载可以使用 functools.singleddispatch 等。
image-20250418215948265 
from fontTools import unicode
from typing import overload@overload
def utf8(value: None) -> None:...@overload
def utf8(value: bytes) -> bytes:...@overload
def utf8(value: unicode) -> bytes:...def utf8(value):...  # 实际的实现，必须有

​ 有时也可以用 TypeVar 代替（更简洁）。

image-20250418220155407 
from typing import TypeVarAnyStr = TypeVar('AnyStr', None, unicode, bytes)
AnyStrRet = TypeVar('AnyStrRet', None, unicode, bytes)def utf8(value: AnyStr) -> AnyStrRet:...  # 实际实现

4.3 协变与逆变

  • 协变：

    让一个粗粒度接口（或委托）可以接收一个更加具体的接口（或委托）作为参数（或返回值）；
    例如：老鹰列表赋值给鸟列表。

  • 逆变：

    让一个接口（或委托）的参数类型（或返回值）类型更加具体化，也就是参数类型更强，更明确。
    例如：鸟列表赋值给老鹰列表。

image-20250418220818472 
from typing import TypeVar, GenericT_co = TypeVar('T_co', covariant=True)  # 协变class MyList(Generic[T_co]):def __init__(self, items: List[T_co]) -> None:self.items = itemsclass Bird:...class Eagle(Bird):...egls: MyList[Eagle] = MyList([Eagle()])
brds: MyList[Bird] = egls

4.4 dataclass

  1. 带默认值的可变命名元组
image-20250418221642558 
from dataclasses import dataclass, field@dataclass
class InventoryItem:name: strunit_price: floatquantity_on_hand: int = 0  # 默认值
  1. 复杂域默认值
image-20250418221625278 
@dataclass
class C:mylist: List[int] = field(default_factory=list)c = C()
c.mylist += [1, 2, 3]
  1. 延迟初始化
image-20250418222047777 
@dataclass
class C:a: floatb: floatc: float = field(init=False)  # 默认不初始化 cdef __post_init__(self):  # 通过延迟初始化 cself.c = self.a + self.bprint(C(1, 2))  # print: "C(a=1, b=2, c=3)"

5 高级内容

5.1 接口

​ Python 支持 OOP，也支持 duck typing。在强类型检查中，duck typing 也一样适用。

​ 例如一个函数 close_resource 接受一个参数，要求这个参数必须提供一个特定的方法 .close()。这种需求在强类型检查时，也可以支持，称之为静态 duck typing，相关方案由 PEP 544 支持。

  • 定义了类似于 Java 的接口
    • 可以有实现，可以被继承。
    • 可以继承多个接口，构建一个新接口。
  • 实际类型检查时，不要求继承关系
    • 只需要对象的所有成员方法 signature 匹配 Protocoll 即可（duck-typing）。
image-20250418225515248 
from typing import Protocol, Iterableclass IResource(Protocol):def close(self) -> None:...class Resource:  # 也可以继承IResource(非必须)def close(self) -> None:...def close_all(things: Iterable[IResource]) -> None:for t in things:t.close()f = open('foo.txt')
r = Resource()
close_all([f, r])  # 通过
close_all([1])  # 不通过

5.2 泛型的协变/逆变

  1. 协议 (Protocol) 必须被实现

    • Box 是抽象接口，不能直接实例化，必须有一个类实现 content() 方法。

  2. 协变 (covariant=True) 的规则

    • Box[int] 可以赋值给 Box[float]，因为 int 是 float 的子类型（协变允许子类替换父类）。

    • 协变表示：如果 A 是 B 的子类型，则 Box[A] 是 Box[B] 的子类型。

    • int 是 float 的子类型（因为所有 int 都可安全当作 float 使用），所以 Box[int] 可赋值给 Box[float]。

image-20250418230435339 
from typing import TypeVarT_co = TypeVar('T_co', covariant=True)  # 支持协变或逆变class Box(Protocol[T_co]):def content(self) -> T_co:...# 具体实现
class IntBox:def content(self) -> int:return 42class FloatBox:def content(self) -> float:return 3.14# 正确赋值
second_box: Box[int] = IntBox()  # ✅ 实现 Box[int]
box: Box[float] = second_box  # ✅ 协变允许（int 是 float 的子类型）

5.3 字面量类型

​ 不修改类型为 enum 的情况下，限定传递参数：Literal[字面量1，字面量2，]。

image-20250418231454562 
from typing import Literal, Any# 总是返回True
def validate_simple(data: Any) -> Literal[True]:...# 只能是这几个值
MODE = Literal['r', 'rb', 'w', 'wb']def open_helper(file: str, mode: MODE) -> str:...open_helper('/some/path', 'r')  # 通过
open_helper('/other/path', 'typo')  # 不通过

5.4 静态检查

  • 可以在静态检查时导入特定的库，运行时不做。
  • 这种情况下，相关标注只能用注释或字符串（前置）方式标注。
image-20250418232014786 
import typingif typing.TYPE_CHECKING:import expensive_moddef a_func(arg: 'expensive_mod.Someclass') -> None:a_var = arg  # type: expensive_mod.Someclass

5.5 Final 与 final

Final

​ 在 Python 3.8 版本中引入一个扩展的标注 typeing.Final，用于标注变量，这个内置标注非常有用，可以理解为实现了 C++ 语法 const 的静态检查作用。

  • 指定变量被初始化后无法再被修改、类变量无法被子类修改。
  • 声明为 Final 的类成员的变量，未初始化的，必须在 __init__ 里面初始化。
image-20250418233257225 
from typing import FinalMAX_SIZE: Final = 9000
MAX_SIZE += 1  # 错误class ImmutablePoint:x: Final[int]y: Final[int]  # 错误def __init__(self) -> None:self.x = 1  # 未初始化ydef s(self):self.x = 1  # x不能被重新赋值

final

​ 另一个被引入的就是小写的 typing.final，用于标注类，可以理解为实现了 Java 语法 final 的静态检查作用。虽然 Python 本身就可以扩展实现运行时 final 的作用，但是这里实现了检查期的final，这个官方版本可以说非常的有用。

​ 如下，除了可以修饰类（不能被继承），甚至可以修饰类的方法（不能被重写）

image-20250418233626883 
from typing import final@final
class Base:...class Derived(Base):  # 错误...class Base2:@finaldef foo(self):...class Derived2(Base2):def foo(self):  # 错误...

5.6 关闭静态类型检查

​ 特定情况下，我们也需要关闭静态检查（例如测试或开发中间时），这种情况只需要使用 typing.no_type_check 修饰函数或类来关闭。

​ 如果希望关闭对一个装饰器的静态检查的话，需要使用 typing.no_type_check_decorator 修饰装饰器来关闭。

image-20250419000134243 
from typing import no_type_check, no_type_check_decorator@no_type_check
def add(v1: int, v2: int) -> int:...@no_type_check_decorator
def log_enter_exit(fn):def __wrapped(*args: int, **kwargs: int):...return __wrapped

工具参考

  • typeshed：Python 内置标准和三方库的 pyi 集合 repo（PyCharm、mypy、pytype 已包含）
  • mypy：官方标准静态类型检查工具。
  • pyre：Facebook 开源的静态类型检查工具。
  • pytype：google 开源的 Python 静态代码扫描工具（不依赖标注）。
  • pyannotate：dropbox 开源的自动给 Python 添加类型标注的工具。
  • pydantic：一个基于标注的 Python 数据校验与配置管理库。

参考链接

  • 丁来强-Python强类型编程最佳实践_哔哩哔哩_bilibili。
  • Python的强类型特性与类型检查实践-CSDN博客。

本文来自互联网用户投稿，该文观点仅代表作者本人，不代表本站立场。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如若转载，请注明出处：http://www.mzph.cn/bicheng/77510.shtml

如若内容造成侵权/违法违规/事实不符，请联系多彩编程网进行投诉反馈email:809451989@qq.com，一经查实，立即删除！

相关文章

ETF价格相关性计算算法深度分析

ETF价格相关性计算算法深度分析

1. 引言 在金融市场中，相关性就像是资产之间“跳舞”的默契程度。想象一下两位舞者（ETF），有时步伐一致，有时各跳各的。对于管理大规模资金的投资组合而言，准确理解ETF之间的“舞步同步性”对于风险管理、资…
阅读更多...
上海人工智能实验室：LLM无监督自训练

上海人工智能实验室：LLM无监督自训练

📖标题：Genius: A Generalizable and Purely Unsupervised Self-Training Framework For Advanced Reasoning 🌐来源：arXiv, 2504.08672 🌟摘要 🔸推进LLM推理技能引起了广泛的兴趣。然而，当前…
阅读更多...
【WPF】 在WebView2使用echart显示数据

【WPF】 在WebView2使用echart显示数据

文章目录 前言一、NuGet安装WebView2二、代码部分1.xaml中引入webview22.编写html3.在WebView2中加载html4.调用js方法为Echarts赋值 总结 前言 为了实现数据的三维效果，所以需要使用Echarts，但如何在WPF中使用Echarts呢？ 一、NuGet安装WebV…
阅读更多...
2025年3月 Python编程等级考试 2级真题试卷

2025年3月 Python编程等级考试 2级真题试卷

2025年3月青少年软件编程Python等级考试（二级）真题试卷 题目总数：37 总分数：100 选择题 第 1 题 单选题 老师要求大家记住四大名著的作者，小明机智地想到了可以用字典进行记录，以下哪个选项的字典…
阅读更多...
6. 话题通信 ---- 使用自定义msg,发布方和订阅方cpp,python文件编写

6. 话题通信 ---- 使用自定义msg,发布方和订阅方cpp,python文件编写

1)在功能包下新建msg目录&#xff0c;在msg目录下新建Person.msg,在Person.msg文件写入&#xff1a; string name uint16 age float64 height 2)修改配置文件 2.1) 功能包下package.xml文件修改 <build_depend>message_generation</build_depend><exec_depend…
阅读更多...
多线程使用——线程安全、线程同步

多线程使用——线程安全、线程同步

一、线程安全 &#xff08;一&#xff09;什么是线程安全问题 多个线程&#xff0c;同时操作同一个共享资源的时候&#xff0c;可能会出现业务安全的问题。 &#xff08;二&#xff09;用程序摹拟线程安全问题 二、线程同步 &#xff08;一&#xff09;同步思想概述 解决线…
阅读更多...
4. 话题通信 ---- 发布方和订阅方cpp文件编写

4. 话题通信 ---- 发布方和订阅方cpp文件编写

本节对应赵虚左ROS书籍的2.1.2 以10hz,发布消息和消息的订阅 1) 在功能包的src文件夹下&#xff0c;新建cpp文件&#xff0c;并且写入 #include "ros/ros.h" #include "std_msgs/String.h" int main(int argc, char *argv[]) {setlocale(LC_ALL,"&…
阅读更多...
有哪些哲学流派适合创业二

有哪些哲学流派适合创业二

好的&#xff0c;让我们更深入地探讨如何将‌哲学与数学‌深度融合&#xff0c;构建一套可落地的创业操作系统。以下从‌认知框架、决策引擎、执行算法‌三个维度展开&#xff0c;包含具体工具和黑箱拆解&#xff1a; ‌一、认知框架&#xff1a;用哲学重构商业本质‌ 1. ‌本体…
阅读更多...
【后端】【python】Python 爬虫常用的框架解析

【后端】【python】Python 爬虫常用的框架解析

一、总结 Python 爬虫常用的框架主要分为 三类&#xff1a; 轻量级请求库&#xff1a;如 requests、httpx&#xff0c;用于快速发请求。解析与处理库&#xff1a;如 BeautifulSoup、lxml、pyquery。爬虫框架系统&#xff1a;如 Scrapy、pyspider、Selenium、Playwright 等&am…
阅读更多...
力扣-hot100（无重复字符的最长子串）

力扣-hot100（无重复字符的最长子串）

3. 无重复字符的最长子串 中等 给定一个字符串 s &#xff0c;请你找出其中不含有重复字符的 最长 子串 的长度。 示例 1: 输入: s "abcabcbb" 输出: 3 解释: 因为无重复字符的最长子串是 "abc"&#xff0c;所以其长度为 3。暴力直观解法一&#xff1…
阅读更多...
六边形棋盘格（Hexagonal Grids）的坐标

六边形棋盘格（Hexagonal Grids）的坐标

1. 二位坐标转六边形棋盘的方式 1-1这是“波动式”的 这种就是把【方格子坐标】“左右各错开半个格子”做到的 具体来说有如下几种情况 具体到庙算平台上&#xff0c;是很巧妙的用一个4位整数&#xff0c;前两位为x、后两位为y来进行表示 附上计算距离的代码 def get_hex_di…
阅读更多...
C++之虚函数 Virtual Function

C++之虚函数 Virtual Function

1. 普通虚函数&#xff08;Virtual Function&#xff09; 定义&#xff1a;基类中用 virtual 声明&#xff0c;允许派生类 覆盖&#xff08;Override&#xff09;。特点&#xff1a; 基类可提供默认实现。派生类可选择性覆盖&#xff08;若不覆盖&#xff0c;则调用基类版本&a…
阅读更多...
基于尚硅谷FreeRTOS视频笔记——15—系统配制文件说明与数据规范

基于尚硅谷FreeRTOS视频笔记——15—系统配制文件说明与数据规范

目录 配置函数 INCLUDE函数 config函数 数据类型 命名规范 函数与宏 配置函数 官网上可以查找 最核心的就是 config和INCLUDE INCLUDE函数 这些就是裁剪的函数 它们使用一个ifndef。如果定义了&#xff0c;就如果定义了这个宏定义&#xff0c;那么代码就生效。 通过ifn…
阅读更多...
HAL库配置RS485+DMA+空闲中断收发数据

HAL库配置RS485+DMA+空闲中断收发数据

前言&#xff1a; &#xff08;1&#xff09;DMA是单片机集成在芯片内部的一个数据搬运工&#xff0c;它可以代替单片机对数据进行传输、存储&#xff0c;节约CPU资源。一般应用场景&#xff0c;ADC多通道采集&#xff0c;串口收发&#xff08;频繁进入接收中断&#xff09;&a…
阅读更多...
从零开始解剖Spring Boot启动流程：一个Java小白的奇幻冒险之旅

从零开始解剖Spring Boot启动流程：一个Java小白的奇幻冒险之旅

大家好呀&#xff01;今天我们要一起探索一个神奇的话题——Spring Boot的启动流程。我知道很多小伙伴一听到"启动流程"四个字就开始头疼&#xff0c;别担心&#xff01;我会用最通俗易懂的方式&#xff0c;带你从main()方法开始&#xff0c;一步步揭开Spring Boot的…
阅读更多...
下载HBuilder X，使用uniapp编写微信小程序

下载HBuilder X，使用uniapp编写微信小程序

到官网下载HBuilder X 地址&#xff1a;HBuilderX-高效极客技巧 下载完成后解压 打开解压后的文件夹找到HBuilderX.exe 打开显示更多&#xff0c;发送到桌面快捷方式 到桌面上启动HBuilderX.exe启动应用 在工具点击插件安装 选择安装Vue3编译器 点击新建创建Vue3项目 编写项目…
阅读更多...
详解与HTTP服务器相关操作

详解与HTTP服务器相关操作

HTTP 服务器是一种遵循超文本传输协议&#xff08;HTTP&#xff09;的服务器&#xff0c;用于在网络上传输和处理网页及其他相关资源。以下是关于它的详细介绍&#xff1a; 工作原理 HTTP 服务器监听指定端口&#xff08;通常是 80 端口用于 HTTP&#xff0c;443 端口用于 HT…
阅读更多...
2. ubuntu20.04 和VS Code实现 ros的输出 (C++,Python）

2. ubuntu20.04 和VS Code实现 ros的输出 (C++,Python）

本节对应赵虚左ROS书籍的1.4.2 1)创建工作空间 mkdir -p catkin_ws/src cd catkin_ws catkin_make 2) 终端进入VS Code code . 3) vscoe 的基本配置 3.1&#xff09;修改.vscode/tasks.json ,修改内容如下&#xff1a; { // 有关 tasks.json 格式的文档&#xff0c;请参见…
阅读更多...
SAP系统中MD01与MD02区别

SAP系统中MD01与MD02区别

知识点普及&#xff0d;MD01与MD02区别 1、从日常业务中&#xff0c;我们都容易知道MD01是运行全部物料&#xff0c;MD02是运行单个物料 2、在做配置测试中&#xff0c;也出现过MD02可以跑出物料&#xff0c;但是MD01跑不出的情况。 3、MD01与MD02的差异: 3.1、只要在物料主数…
阅读更多...
快速迭代收缩-阈值算法（FISTA）

快速迭代收缩-阈值算法（FISTA）

文章目录 1. 数学与优化基础2. FISTA 算法的原理、推导与机制3. Matlab 实现4. FISTA 在图像处理与压缩感知中的应用4.1. 基于小波稀疏先验的图像去噪4.2 压缩感知图像重建 1. 数学与优化基础 在许多信号处理与机器学习问题中&#xff0c;我们希望获得稀疏解&#xff0c;即解向…
阅读更多...
最新文章

Copyright @ 2022~2023