理解Python中的类型不兼容性:为什么 `dict[int, int]` 不兼容 `dict[int, int | str]`

2024-06-22 10:36

本文主要是介绍理解Python中的类型不兼容性:为什么 `dict[int, int]` 不兼容 `dict[int, int | str]`,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

在使用Python的类型提示时,开发者可能会遇到一些看似不合理的类型不兼容错误。一个典型的问题是,为什么 dict[int, int] 不能赋值给 dict[int, int | str]。本文将详细探讨这个问题,并提供一些解决方法。

例子分析

考虑以下代码片段:

import typing# 定义两个字典
a: dict[int, int] = {}
b: dict[int, int | str] = a  # 这里会报错
c: typing.Mapping[int, int | str] = a  # 这里正常
d: typing.Mapping[int | str, int] = a  # 这里也会报错

针对这段代码,Pylance(Python的一个静态类型检查工具)会给出如下错误信息:Expression of type "dict[int, int]" is incompatible with declared type "dict[int, int | str]"。错误的主要原因是类型参数 _VT@dict 是不变(invariant)的,而 int 不等于 int | str

为什么会报错?

要理解为什么会报错,需要理解Python类型系统的协变与逆变概念。

不变性 (Invariance)

在Python中,dict 的类型参数(key和value)是不变的。这意味着,dict[A, B]dict[A, C] 只有在 B 等于 C 时才相互兼容。因此,将 dict[int, int] 赋值给 dict[int, int | str] 会导致类型不兼容错误。

例如:

a: dict[int, int] = {}
b: dict[int, int | str] = a  # 这里会导致类型不兼容错误

如果允许这种赋值,那么就可以执行如下代码:

b[1] = "x"  # 因为 b 被声明为可以存储 int 或 str
assert isinstance(a[1], int)  # 这将失败,因为 a[1] 现在是字符串

这种情况下,a 作为一个 dict[int, int],理论上只应该包含整数,但实际上却可能包含字符串,违反了类型系统的约定。

映射类型 (Mapping)

相比之下,typing.Mapping 类型在value类型上时协变的。协变指的是,如果类型 BA 的子类型,那么 Mapping[int, B] 也是 Mapping[int, A] 的子类型。因此,以下代码是可行的:

c: typing.Mapping[int, int | str] = a  # 这里正常

由于 Mapping 是一个只读接口,不支持对数据进行修改,所以不会发生像上面提到的修改b却影响a的问题,从而避免了类型安全问题。

解决方法

使用 MappingMutableMapping

如果需要一个只读的字典接口,可以使用 typing.Mapping 类型;如果需要一个可变的字典接口,可以使用 typing.MutableMapping 类型。

from typing import MutableMappinga: dict[int, int] = {}
e: MutableMapping[int, typing.Any] = a  # 使用 Any 类型暂时绕过类型检查

然而,使用 Any 可能会导致潜在的类型安全问题,所以需要谨慎使用。

函数参数类型声明

如果一个函数需要接受任意类型的字典,可以使用广义类型声明:

from typing import MutableMapping, Anydef process_dict(d: MutableMapping[int, Any]):# 处理字典的逻辑passa: dict[int, int] = {}
process_dict(a)  # 可以正确传递

总结

在Python的类型系统中,dict 类型的参数是不变的,这意味着不能将 dict[int, int] 赋值给 dict[int, int | str]。理解并正确使用类型系统的各种类型(如 MappingMutableMapping),可以帮助我们编写更安全和健壮的代码。

这篇关于理解Python中的类型不兼容性:为什么 `dict[int, int]` 不兼容 `dict[int, int | str]`的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/1084047

相关文章

python: 多模块(.py)中全局变量的导入

文章目录 global关键字可变类型和不可变类型数据的内存地址单模块(单个py文件)的全局变量示例总结 多模块(多个py文件)的全局变量from x import x导入全局变量示例 import x导入全局变量示例 总结 global关键字 global 的作用范围是模块(.py)级别: 当你在一个模块(文件)中使用 global 声明变量时,这个变量只在该模块的全局命名空

认识、理解、分类——acm之搜索

普通搜索方法有两种:1、广度优先搜索;2、深度优先搜索; 更多搜索方法: 3、双向广度优先搜索; 4、启发式搜索(包括A*算法等); 搜索通常会用到的知识点:状态压缩(位压缩,利用hash思想压缩)。

【Python编程】Linux创建虚拟环境并配置与notebook相连接

1.创建 使用 venv 创建虚拟环境。例如,在当前目录下创建一个名为 myenv 的虚拟环境: python3 -m venv myenv 2.激活 激活虚拟环境使其成为当前终端会话的活动环境。运行: source myenv/bin/activate 3.与notebook连接 在虚拟环境中,使用 pip 安装 Jupyter 和 ipykernel: pip instal

零基础学习Redis(10) -- zset类型命令使用

zset是有序集合,内部除了存储元素外,还会存储一个score,存储在zset中的元素会按照score的大小升序排列,不同元素的score可以重复,score相同的元素会按照元素的字典序排列。 1. zset常用命令 1.1 zadd  zadd key [NX | XX] [GT | LT]   [CH] [INCR] score member [score member ...]

【机器学习】高斯过程的基本概念和应用领域以及在python中的实例

引言 高斯过程(Gaussian Process,简称GP)是一种概率模型,用于描述一组随机变量的联合概率分布,其中任何一个有限维度的子集都具有高斯分布 文章目录 引言一、高斯过程1.1 基本定义1.1.1 随机过程1.1.2 高斯分布 1.2 高斯过程的特性1.2.1 联合高斯性1.2.2 均值函数1.2.3 协方差函数(或核函数) 1.3 核函数1.4 高斯过程回归(Gauss

【生成模型系列(初级)】嵌入(Embedding)方程——自然语言处理的数学灵魂【通俗理解】

【通俗理解】嵌入(Embedding)方程——自然语言处理的数学灵魂 关键词提炼 #嵌入方程 #自然语言处理 #词向量 #机器学习 #神经网络 #向量空间模型 #Siri #Google翻译 #AlexNet 第一节:嵌入方程的类比与核心概念【尽可能通俗】 嵌入方程可以被看作是自然语言处理中的“翻译机”,它将文本中的单词或短语转换成计算机能够理解的数学形式,即向量。 正如翻译机将一种语言

【学习笔记】 陈强-机器学习-Python-Ch15 人工神经网络(1)sklearn

系列文章目录 监督学习:参数方法 【学习笔记】 陈强-机器学习-Python-Ch4 线性回归 【学习笔记】 陈强-机器学习-Python-Ch5 逻辑回归 【课后题练习】 陈强-机器学习-Python-Ch5 逻辑回归(SAheart.csv) 【学习笔记】 陈强-机器学习-Python-Ch6 多项逻辑回归 【学习笔记 及 课后题练习】 陈强-机器学习-Python-Ch7 判别分析 【学

nudepy,一个有趣的 Python 库!

更多资料获取 📚 个人网站:ipengtao.com 大家好,今天为大家分享一个有趣的 Python 库 - nudepy。 Github地址:https://github.com/hhatto/nude.py 在图像处理和计算机视觉应用中,检测图像中的不适当内容(例如裸露图像)是一个重要的任务。nudepy 是一个基于 Python 的库,专门用于检测图像中的不适当内容。该

【C++高阶】C++类型转换全攻略:深入理解并高效应用

📝个人主页🌹:Eternity._ ⏩收录专栏⏪:C++ “ 登神长阶 ” 🤡往期回顾🤡:C++ 智能指针 🌹🌹期待您的关注 🌹🌹 ❀C++的类型转换 📒1. C语言中的类型转换📚2. C++强制类型转换⛰️static_cast🌞reinterpret_cast⭐const_cast🍁dynamic_cast 📜3. C++强制类型转换的原因📝

自定义类型:结构体(续)

目录 一. 结构体的内存对齐 1.1 为什么存在内存对齐? 1.2 修改默认对齐数 二. 结构体传参 三. 结构体实现位段 一. 结构体的内存对齐 在前面的文章里我们已经讲过一部分的内存对齐的知识,并举出了两个例子,我们再举出两个例子继续说明: struct S3{double a;int b;char c;};int mian(){printf("%zd\n",s