理解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),可以帮助我们编写更安全和健壮的代码。

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

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

相关文章

大数据与java哪个好找工作?这篇文章帮你做选择!

大数据与java哪个好找工作?这篇文章帮你做选择! 还在为选择Java开发还是Java大数据而头疼吗?别担心,本文将从就业前景、学习方向、学习内容以及薪资待遇四个方面,为你揭开Java和Java大数据的神秘面纱,帮你做…

【STM32】时钟树系统

1.时钟树简介 1.1五个时钟源 LSI是低速内部时钟,RC振荡器,频率为32kHz左右。供独立看门狗和自动唤醒单元使用。 LSE是低速外部时钟,接频率为32.768kHz的石英晶体。这个主要是RTC的时钟源。 HSE是高速外部时钟,可接石英*/陶瓷谐振…

[18] Opencv_CUDA应用之 基于颜色的对象检测与跟踪

Opencv_CUDA应用之 基于颜色的对象检测与跟踪 使用颜色作为特征来检测特定颜色的对象当要检测的对象具有特定颜色且该颜色与背景颜色不同时此方法很有用本方法不适用于对象与背景颜色相近的情况 蓝色对象检测与跟踪 首先肯定会想到如何将蓝色分割出来?该使用哪个…

Webstorm vue项目@路径不能跳转到对应资源,提示Cannot find declaration to go to

Webstorm vue项目路径不能跳转到对应资源,提示Cannot find declaration to go to 我们 ctrl加鼠标左键点击方法会失效,看了网上很多教程在说需要在此处配置一下webpack.config.js的文件路径,而且指向了node_modules\vue\cli-service\webpack.config.js 我…

外贸SEO工具有哪些推荐?

"我们作为一个专业的Google SEO团队,比较推荐一下几个适合外贸SEO的工具。Ahrefs 是一个非常强大的工具,可以帮助你深入分析竞争对手的表现,找到有潜力的关键词,还可以监控你的网站链接状况。另外,SEMrush 也很不…

Android基础到进阶UI祖父级 ViewGroup介绍+实用

1.创建CustomLayout继承ViewGroup /** 编写自定义ViewGroup的示例。 */ public class CustomLayout extends ViewGroup { // private int childHorizontalSpace 20; // private int childVerticalSpace 20; private int childHorizontalSpace; private int childVert…

Android企业级实战-界面篇-5

3.colors.xml文件内容(此案例可用) #ffb2b2b2 #ff14c4bc color/jimeng_text_tertiary_light color/jimeng_green_light color/jimeng_background_secondary_light color/jimeng_background_secondary_light #7f4eb7ba 4.strings.xml文件内容&…

tessy 单元测试 TDE 界面 数据无法填充:the test object interface is incomplete

目录 1,失败现象 2,失败原因 3,解决办法 1,失败现象 函数名字前的图标高度缩小为正常的一半,TDE界面的数据无法填充。错误提示为题目中的英文。 2,失败原因 TIE界面,此函数的参数的 passing …

计算机专业是否仍是“万金油”

作为一名即将参加高考的学生,我站在人生的分岔路口上,面临着选择大学专业的重大抉择。在这个关键节点,计算机相关专业是否仍是炙手可热的选择?  首先,从行业的角度来看,计算机相关专业确实在近年来持续火…

magento2里面用到的概念

magento2是个开源PHP电商系统,同类的系统一般需要有HTML、CSS、Javascript、PHP/Psr4/MVC、Mysql等基础,而使用magento2,也许需要先认识更多概念。 Dependency Injection 依赖注入,简称DI 老PHPer也会对这个很陌生,这…

内容安全复习 5 - 深在线社交网络分析与舆情监测

文章目录 在线社交网络分析什么是在线社交网络什么是在线社交网络分析社交网络信息传播基本模型影响力模型传染模型影响力计算公式 网络舆情监测网络舆情概述网络舆情监测系统 在线社交网络分析 什么是在线社交网络 在线社交网络是一种在信息网络上由社会个体集合及个体之间的…

[19] Opencv_CUDA应用之 基于形状的对象检测与跟踪

Opencv_CUDA应用之 基于形状的对象检测与跟踪 形状可以用作全局特征检测具有不同形状的物体,可以是直线、多边形、圆形或者任何其他不规则形状利用对象边界、边缘和轮廓可以检测具有特定形状的对象本文将使用Canny边缘检测算法和Hough变换来检测两个规则形状&#…

scapy修改TCP标志位

文章目录 TCP标志位scapy修改标志位设置标志位清除标志位示例 TCP标志位 TCP报文段结构如图所示 下面介绍一些重要的标志位: URG (Urgent): 紧急指针(Urgent Pointer)有效。当URG标志位设置为1时,表示TCP报文段中有紧急数据需要处…

你好,复变函数1.0

输入时用后缀&#xff0c;开头空格 #include <easyx.h> #include <stdio.h> #define PI 3.141592653589793 #define E 2.718281828459045 #define K (1.0 / 256.0) #define K_1 256.0 //#define LINE//决定函数是用线画还是用点画 struct C {double i;double r;…

apache activeMq

https://blog.csdn.net/qq_29651203/article/details/108487924 游览器输入地址: http://127.0.0.1:8161/admin/ 访问activemq管理台 账号和密码默认为: admin/admin# yml配置的密码也是如下的密码 activemq:url: failover:(tcp://localhost:61616)username: adminpassword: ad…

手撕排序2--选择排序(直接选择+堆排序

目录&#xff1a; 1.直接选择排序 的实现及分析 2.堆排序 的实现及分析 1.直接选择排序 1.1基本思想&#xff1a; 每一次从待排序的数据元素中选出最小&#xff08;或最大&#xff09;的一个元素&#xff0c;存放在序列的起始位置&#xff0c;直到全部待排序的数据元素排完…

【启明智显产品介绍】Model3C工业级HMI芯片详解专题(三)通信接口

Model3C 是一款基于 RISC-V 的高性能、国产自主、工业级高清显示与智能控制 MCU, 集成了内置以太网控制器&#xff0c;配备2路CAN、4路UART、5组GPIO、2路SPI等多种通信接口&#xff0c;能够轻松与各种显示设备连接&#xff0c;实现快速数据传输和稳定通信&#xff0c;可以与各…

Error: L6218E: Undefined symbol, 定义--cpp11之后 C函数指针和C++不兼容问题

当我们在定义函数中采用函数指针作为参数时, 头文件(,h文件)中&#xff0c; 使用如下代码: #ifdef __cplusplusextern "C"{ #endif //ESP_Error_t esp8266_sendcmd(const char* cmd, const char* response, uint8_t (*cmd_function)(ESP_MSG_LIST));#ifdef __cplus…

elementplus如何实现dialog遮罩层外的元素可以被操作点击

elementplus如何实现dialog遮罩层外的元素可以被操作点击 element plus 组件库中的 dialog 组件可以说是使用频率最高的组件之一&#xff0c;它的效果是弹出一个对话框&#xff0c;外面默认会有一个蒙层。 现在我碰到的需求是&#xff0c;弹窗要正常显示&#xff0c;但是蒙层下…