当前位置:首页 > 文章列表 > 文章 > python教程 > 鸭子类型遇到类型提示:在 Python 中使用协议

鸭子类型遇到类型提示:在 Python 中使用协议

来源:dev.to 2024-07-31 10:15:51 0浏览 收藏

亲爱的编程学习爱好者,如果你点开了这篇文章,说明你对《鸭子类型遇到类型提示:在 Python 中使用协议》很感兴趣。本篇文章就来给大家详细解析一下,主要介绍一下,希望所有认真读完的童鞋们,都有实质性的提高。

鸭子类型遇到类型提示:在 Python 中使用协议

python 的动态特性和对鸭子类型的支持长期以来因其灵活性而受到称赞。然而,随着代码库变得越来越大、越来越复杂,静态类型检查的好处变得越来越明显。但是我们如何协调鸭子类型的灵活性和静态类型检查的安全性呢?进入python的protocol类。

在本教程中,您将学习:

  1. 什么是鸭子类型以及 python 中如何支持它
  2. 鸭子打字的优点和缺点
  3. 抽象基类(abc)如何尝试解决打字问题
  4. 如何使用协议来获得两全其美的效果:通过静态类型检查实现鸭子类型灵活性

了解鸭子类型

鸭子类型是一种编程概念,其中对象的类型或类不如它定义的方法重要。它基于这样的想法:“如果它看起来像鸭子,像鸭子一样游泳,像鸭子一样嘎嘎叫,那么它可能就是一只鸭子。”

在 python 中,完全支持鸭子类型。例如:

class duck:
    def quack(self):
        print("quack!")

class person:
    def quack(self):
        print("i'm imitating a duck!")

def make_it_quack(thing):  # note: no type hint here
    thing.quack()

duck = duck()
person = person()

make_it_quack(duck)    # output: quack!
make_it_quack(person)  # output: i'm imitating a duck!

在这个例子中,make_it_quack 不关心事物的类型。它只关心这个东西有一个江湖方法。请注意,thing 参数没有类型提示,这在鸭子类型代码中很常见,但可能会导致较大代码库中出现问题。

鸭子打字的优点和缺点

鸭子打字有几个优点:

  1. 灵活性:它允许更灵活的代码,不依赖于特定类型。
  2. 更轻松的代码重用:您可以在新上下文中使用现有的类而无需修改。
  3. 强调行为:它关注对象可以做什么,而不是它是什么。

但是,它也有一些缺点:

  1. 缺乏清晰度:可能不清楚对象需要实现哪些方法。
  2. 运行时错误:与类型相关的错误仅在运行时捕获。
  3. 较少的 ide 支持:ide 很难提供准确的自动完成和错误检查。

abc 解决方案

解决这些问题的一种方法是使用抽象基类(abc)。这是一个例子:

from abc import abc, abstractmethod

class quacker(abc):
    @abstractmethod
    def quack(self):
        pass

class duck(quacker):
    def quack(self):
        print("quack!")

class person(quacker):
    def quack(self):
        print("i'm imitating a duck!")

def make_it_quack(thing: quacker):
    thing.quack()

duck = duck()
person = person()

make_it_quack(duck)
make_it_quack(person)

虽然这种方法提供了更好的类型检查和更清晰的接口,但它也有缺点:

  1. 它需要继承,这可能会导致不灵活的层次结构。
  2. 它不适用于您无法修改的现有类。
  3. 这违背了python的“鸭子打字”哲学。

协议:两全其美

python 3.8引入了protocol类,它允许我们定义接口而不需要继承。以下是我们如何使用它:

from typing import protocol

class quacker(protocol):
    def quack(self):...

class duck:
    def quack(self):
        print("quack!")

class person:
    def quack(self):
        print("i'm imitating a duck!")

def make_it_quack(thing: quacker):
    thing.quack()

duck = duck()
person = person()

make_it_quack(duck)
make_it_quack(person)

让我们来分解一下:

  1. 我们定义了一个quacker协议,指定了我们期望的接口。
  2. 我们的 duck 和 person 类不需要继承任何东西。
  3. 我们可以使用 make_it_quack 的类型提示来指定它需要 quacker。

这种方法给我们带来了几个好处:

  1. 静态类型检查:ide 和类型检查器可以在运行前捕获错误。
  2. 不需要继承:现有的类只要有正确的方法就可以工作。
  3. 清晰的接口:协议明确定义了期望的方法。

这是一个更复杂的示例,展示了协议如何根据需要(形状)变得复杂,同时保持域类(圆形、矩形)平坦:

from typing import Protocol, List

class Drawable(Protocol):
    def draw(self): ...

class Resizable(Protocol):
    def resize(self, factor: float): ...

class Shape(Drawable, Resizable, Protocol):
    pass

def process_shapes(shapes: List[Shape]):
    for shape in shapes:
        shape.draw()
        shape.resize(2.0)

# Example usage
class Circle:
    def draw(self):
        print("Drawing a circle")

    def resize(self, factor: float):
        print(f"Resizing circle by factor {factor}")

class Rectangle:
    def draw(self):
        print("Drawing a rectangle")

    def resize(self, factor: float):
        print(f"Resizing rectangle by factor {factor}")

# This works with any class that has draw and resize methods,
# regardless of its actual type or inheritance
shapes: List[Shape] = [Circle(), Rectangle()]
process_shapes(shapes)

在此示例中,circle 和 rectangle 不继承自 shape 或任何其他类。他们只是实现所需的方法(绘制和调整大小)。得益于 shape 协议,process_shapes 函数可以与任何具有这些方法的对象一起使用。

概括

python 中的协议提供了一种将静态类型引入鸭子类型代码的强大方法。它们允许我们在类型系统中指定接口,而不需要继承,保持鸭子类型的灵活性,同时增加静态类型检查的好处,

通过使用协议,您可以:

  1. 为您的代码定义清晰的接口
  2. 获得更好的 ide,(静态类型检查),支持并更早捕获错误
  3. 保持鸭子打字的灵活性
  4. 利用类型检查来检查您无法修改的类。

如果您想了解有关 python 中的协议和类型提示的更多信息,请查看有关类型模块的 python 官方文档,或探索 mypy 等高级静态类型检查工具。

快乐编码,愿你的鸭子总是因类型安全而嘎嘎叫!

您可以在这里找到更多我的内容,包括我的时事通讯

本篇关于《鸭子类型遇到类型提示:在 Python 中使用协议》的介绍就到此结束啦,但是学无止境,想要了解学习更多关于文章的相关知识,请关注golang学习网公众号!

版本声明
本文转载于:dev.to 如有侵犯,请联系study_golang@163.com删除
浪链部分构建强大的链和代理浪链部分构建强大的链和代理
上一篇
浪链部分构建强大的链和代理
使用 Alpine JS 创建动态表
下一篇
使用 Alpine JS 创建动态表
查看更多
最新文章
查看更多
课程推荐
  • 前端进阶之JavaScript设计模式
    前端进阶之JavaScript设计模式
    设计模式是开发人员在软件开发过程中面临一般问题时的解决方案,代表了最佳的实践。本课程的主打内容包括JS常见设计模式以及具体应用场景,打造一站式知识长龙服务,适合有JS基础的同学学习。
    543次学习
  • GO语言核心编程课程
    GO语言核心编程课程
    本课程采用真实案例,全面具体可落地,从理论到实践,一步一步将GO核心编程技术、编程思想、底层实现融会贯通,使学习者贴近时代脉搏,做IT互联网时代的弄潮儿。
    516次学习
  • 简单聊聊mysql8与网络通信
    简单聊聊mysql8与网络通信
    如有问题加微信:Le-studyg;在课程中,我们将首先介绍MySQL8的新特性,包括性能优化、安全增强、新数据类型等,帮助学生快速熟悉MySQL8的最新功能。接着,我们将深入解析MySQL的网络通信机制,包括协议、连接管理、数据传输等,让
    500次学习
  • JavaScript正则表达式基础与实战
    JavaScript正则表达式基础与实战
    在任何一门编程语言中,正则表达式,都是一项重要的知识,它提供了高效的字符串匹配与捕获机制,可以极大的简化程序设计。
    487次学习
  • 从零制作响应式网站—Grid布局
    从零制作响应式网站—Grid布局
    本系列教程将展示从零制作一个假想的网络科技公司官网,分为导航,轮播,关于我们,成功案例,服务流程,团队介绍,数据部分,公司动态,底部信息等内容区块。网站整体采用CSSGrid布局,支持响应式,有流畅过渡和展现动画。
    485次学习
查看更多
AI推荐
  • ljg-skills -
    ljg-skills
    ljg-skills 是李继刚开源的 AI 技能与提示词集合,面向大模型使用者整理了一批可复用的 prompt、角色设定和任务技能模板,适合用于学习提示词设计、搭建个人 AI 工作流和沉淀团队常用智能体能力。
    1784次使用
  • MELO音乐 - AI 音乐生成平台,支持多模态创作能力
    MELO音乐
    MELO音乐是一站式AI视频与音乐制作助手,对标suno, udio的高品质体验。提供伴奏生成、原创写词、无损导出、哼唱识曲、混音变声等全套音频与短视频编辑工具。无论是流行Kpop、电音说唱、民谣古风、摇滚儿歌还是商用轻音乐,MELO为你免费谱曲,轻松做同款!
    1716次使用
  • UniScribe - AI 免费在线音视频转文字平台
    UniScribe
    UniScribe 是一款 AI 音视频转文字与内容整理工具,支持上传音频、视频文件或粘贴 YouTube 链接,自动生成转写文本、摘要、思维导图和关键问题,并支持多格式导出,适合会议记录、课程学习、访谈整理和内容创作复盘。
    1659次使用
  • 剧云 - 免费 AI 智能中文剧本创作平台
    剧云
    剧云是专业中文剧本创作平台,安全稳定运行十余年,集成AI编剧、剧本医生审核、人物小传、剧情关系图、大纲编写、多人协作、Word导入导出、版权管控功能,数据安全防护,轻松高效创作剧本。
    1858次使用
  • 万象有声 - AI 一站式有声内容创作平台
    万象有声
    万象有声,一个专为有声创作者打造的新一代智能有声内容创作平台。平台提供专业的智能拆章、智能画本编辑、AI配音、AI生成音效、后期制作、智能对轨、智能审听等有声创作全流程工具,可以帮助创作者高效、低成本创作出引人入胜的有声作品。立即体验,让有声书制作更简单!
    1843次使用
微信登录更方便
  • 密码登录
  • 注册账号
登录即同意 用户协议隐私政策
返回登录
  • 重置密码