Python类型提示使用Protocol和TypeVar指定任意数据类

。

在Python中，类型提示是一种静态类型检查的方式，可以帮助开发者在编写代码时发现潜在的类型错误。Protocol和TypeVar是Python中用于指定任意数据类的工具。

Protocol：Protocol是Python 3.8引入的一个特殊类，用于定义一组方法和属性的规范。通过定义一个Protocol类，可以指定一个数据类应该具有哪些方法和属性。在类型提示中，可以使用Protocol来指定一个数据类应该遵循的接口规范。

举例来说，如果我们有一个数据类Person，它应该具有name和age属性，我们可以使用Protocol来指定这个接口规范：

from typing import Protocol

class PersonProtocol(Protocol):
    name: str
    age: int

在上面的例子中，PersonProtocol指定了一个数据类应该具有name和age属性。在类型提示中，我们可以使用PersonProtocol来指定一个数据类应该遵循这个接口规范。

TypeVar：TypeVar是Python中用于指定泛型类型的工具。通过使用TypeVar，可以在类型提示中指定一个占位符类型，表示可以是任意类型。

举例来说，如果我们有一个函数，接收一个参数并返回该参数的两倍，我们可以使用TypeVar来指定参数和返回值的类型：

from typing import TypeVar

T = TypeVar('T')

def double_value(value: T) -> T:
    return value * 2

在上面的例子中，T是一个占位符类型，表示可以是任意类型。在类型提示中，我们可以使用T来指定参数和返回值的类型。

综上所述，Python类型提示使用Protocol和TypeVar可以指定任意数据类。Protocol用于指定数据类应该遵循的接口规范，而TypeVar用于指定泛型类型。这些工具可以帮助开发者在编写代码时更加准确地描述数据类型，提高代码的可读性和可维护性。

腾讯云相关产品和产品介绍链接地址：

腾讯云产品：https://cloud.tencent.com/product
腾讯云云原生产品：https://cloud.tencent.com/solution/cloud-native
腾讯云人工智能产品：https://cloud.tencent.com/solution/ai
腾讯云物联网产品：https://cloud.tencent.com/solution/iot
腾讯云移动开发产品：https://cloud.tencent.com/solution/mobile-development
腾讯云存储产品：https://cloud.tencent.com/solution/storage
腾讯云区块链产品：https://cloud.tencent.com/solution/blockchain
腾讯云元宇宙产品：https://cloud.tencent.com/solution/metaverse

相关·内容

从入门到实践，Python Type Hints

如果发现实参类型与函数的形参类型标注不符就会有如下提示：常见数据结构的 Type Hints 写法上面通过一个 greeting 函数展示了 Type Hints 的用法，接下来我们就 Python...泛型使用动态语言少不了泛型的支持，Type Hints 针对泛型也提供了多种解决方案。 TypeVar 使用 TypeVar 可以接收任意类型。...b", 1, x=2, y="c") Union 如果不想使用泛型，只想使用几种指定的类型，那么可以使用 Union 来做。...： TypeVar 和 Union 区别 TypeVar 不只可以接收泛型，它也可以像 Union 一样使用，只需要在实例化时将想要指定的类型范围当作参数依次传进来来即可。...dataclass——数据类 dataclass 是一个装饰器，它可以对类进行装饰，用于给类添加魔法方法，例如 __init__() 和 __repr__() 等，它在 PEP 557[https://

7782 0

让你的 Python 静态起来

Gradual typing Types 和 Classes 各种使用场景基本类型容器类型类型别名函数类型 “泛” 型 Any TypeVar 函数的“泛”型 Union 和 Optional...我们经常会使用 “类(class)” 和 “类型(type)” 做注解： name: str = "Atreus" from typing import List names: List[str] =..., AnyStr, Any # 任意类型 # Any 兼容任意类型 def concat(a: Any, b: Any) -> Any: pass TypeVar TypeVar 表示 Type...简单来说，她就是“类型”的“类型”。和 type 可以创造 “类” 一样，我们可以通过 TypeVar 来创造 “类型”。...Protocol 的好处是，我们可以很明确的定义和使用鸭子类型，而不用人工核对方法的输入输出。

9436 0

流畅的 Python 第二版（GPT 重译）（四）

Python 的默认动态类型在编写用于探索数据和想法的代码时更简单、更具表现力，比如数据科学、创意计算和学习，本章重点介绍 Python 函数签名中的类型提示。...简单类型和类像int、float、str和bytes这样的简单类型可以直接在类型提示中使用。...标准库、外部包或用户定义的具体类——FrenchDeck、Vector2d和Duck——也可以在类型提示中使用。抽象基类在类型提示中也很有用。...省略号表示接受任意数量的元素>= 1。无法指定任意长度元组的不同类型字段。...在 Python 中，协议定义被写作typing.Protocol子类。然而，实现协议的类不需要继承、注册或声明与定义协议的类的任何关系。这取决于类型检查器找到可用的协议类型并强制执行它们的使用。

3671 0

Python - typing 模块 —— TypeVar 泛型

前言 typing 是在 python 3.5 才有的模块前置学习 Python 类型提示：https://www.cnblogs.com/poloyy/p/15145380.html 常用类型提示...泛型源码解析使用方式任意类型 # 可以是任意类型 T = TypeVar('T') def test(name: T) -> T: print(name) return name...test(11) test("aa") # 输出结果 11 aa 指定类型 # 可以是 int，也可以是 str 类型 AA = TypeVar('AA', int, str) num1:...AA = 1 num2: AA = "123" print(num1, num2) num3: AA = [] # 输出结果 1 123 自定义泛型类暂时没搞懂这个有什么用，先不管了 # 自定义泛型...from typing import Generic T = TypeVar('T') class UserInfo(Generic[T]): # 继承Generic[T]，UserInfo[

3.5K4 0

Python 中的 Return Self 到底是个啥？

这可以使代码更具可读性和可维护性，尤其是当代码的规模和复杂性不断增加时。我们可以使用冒号（:）指定变量和函数参数类型，然后是数据类型，而返回值注释则使用破折号（->），然后是返回类型。...字符串类型提示最后，你可以使用字符串来注释返回类实例的方法。对于小于 3.7 的 Python 版本，或者当其它方法都不起作用时，应该使用字符串注释。...当子类从超类继承方法时，超类中指定为字符串的注释不会自动传播到子类中。这意味着，如果我们依赖字符串注释来进行类型提示或文档说明，那么我们需要在每个子类中重新声明注释，这可能会容易出错且耗时。...结论在 Python 中使用类型提示和注释可以使你的代码更具可读性和可维护性，尤其是当代码的大小和复杂性增加时。...通过指明变量、函数参数和返回值的类型，我们可以帮助其他开发者理解变量的预期类型以及函数调用的预期。 Self类型是一种特殊的类型提示，我们可以使用它来注释返回类实例的方法。

1681 1

Python各版本的主要更改

3.5+： • 异步关键字：async和await • 矩阵运算符: a @ b • 类型提示(type hinting) 3.6+： • f字符串(f-ring) • 数字中下划线：1_000_000...这允许函数接受任意字面字符串类型，以及从其他字面字符串创建的字符串。类型检查器可以强制执行只能使用静态参数调用敏感函数（例如执行SQL语句或shell命令的函数），从而提供对注入攻击的保护。...PEP 646添加了TypeVarTuple，可以使用任意数量的类型进行参数化。换句话说，TypeVarTuple是一个可变参数类型变量，可以实现可变参数泛型。这支持各种用例。...特别是，它允许使用 NumPy 和 TensorFlow 等数值计算库中的类似数组结构的类型进行参数化。静态类型检查器现在将能够捕获使用这些库的代码中与形状相关的错误。...使用@dataclass_transform()告诉静态类型检查器，被装饰的对象执行了运行时的“魔法”，可以将一个类转换为具有类似dataclass行为的形式。

2251 0

Python类型注解

注意，类型注解仅仅是提供给编辑器进行类型检查的机会，也就是起提示的作用，对 Python 程序的运行不会产生任何影响。...可以发现 Optional 实际上是 Union 的特例：Optional[X] 和 Union[X, None] 是等价的。 Callable 我们知道， Python 中的函数和类的区别并不明显。...看下面这个就明白了： # 类型检查通过 # 因为 Union[str, int] 可以是其中任意一种类型 # 即便你并不想将 str 和 int 混用 foo('Joe', 19) # 通过 foo(...让我们再看看下面这个对泛型的应用： from typing import Dict, TypeVar # 定义泛型 K 和 V # K 和 V 的具体类型没有限制 K = TypeVar("K") V...dict_2的键为整型代码中定义了两个泛型 K 和 V，对它两的类型没有做任何限制，也就是说可以是任意类型。

4851 0

python进阶（21）typing模块–类型提示支持

作为开发文档附加说明，方便使用者调用时传入和返回参数类型。...除了以上常用的类型，还支持 Any，Union，Tuple，Callable，TypeVar 和 Generic 类型组成。...泛型可以自定义一个任意类型，也可以自定义指定类型自定义一个任意类型 # 自定义一个任意类型 T = TypeVar('T') def func(user: T) -> T: print(...此外，未指定返回值与参数类型的函数，都隐式地默认使用 Any： def legacy_parser(text): ......或者也可以使用缩写X | Y(此写法python3.10版本才支持) from typing import Union # 指定变量a的类型为int或者str a: Union[int, str] a

1.2K3 0

python用于类型注解的库- typing

自python3.5开始，PEP484为python引入了类型注解(type hints),虽然在pep3107定义了函数注释(function annotation)的语法,但仍然故意留下了一些未定义的行为...，而不指定调用参数，例如 Callable..., ReturnType泛型(Generics)因为容器中的元素的类型信息由于泛型不同通过一般方式静态推断，因此抽象类被用来拓展表示容器中的元素from...通过Generic基类使用元类(metaclass)定义__getitem__()使得LoggedVart是有效类型from typing import Iterabledef zero_all_vars......使用泛型类而不指定类型参数则假定每个位置都是Any，。...Any一种特殊的类型是。静态类型检查器将将每个类型视为与任何类型和任何类型兼容，与每个类型兼容。

881 0

Python3 Typing模块详解

通过使用typing，我们可以使用Python语言提供的丰富数据结构，并用更准确的方式进行标注和注释。...List 类型注释： List 的类型注释中使用方括号来指定列表中每个元素的类型。Tuple 类型注释： Tuple 类型注释可以使用方括号表示Tuple中每个元素数据类型。...使用泛型编程，可以定义函数和类，并允许它们在运行时接受不同类型的参数和数据结构。在 Python 中，我们可以使用 typing 模块来实现泛型编程。...九、总结Python3 Typing 模块作为 Python 语言中类型提示的标准方法，提供了许多元编程工具，为 Python 开发者提供了更好的类型检查和静态分析工具。...使用 typing 模块，Python 开发者可以更轻松地声明函数和类的类型，并实现更好的类型推断和错误检查。十、我的公众号

1K4 0

python类型检测最终指南--Typing的使用

在本指南中，你将了解Python类型检查。传统上，Python解释器以灵活但隐式的方式处理类型。Python的最新版本允许你指定可由不同工具使用的显式类型提示，以帮助您更有效地开发代码。...注解 Python 3.0中引入了注释，最初没有任何特定用途。它们只是将任意表达式与函数参数和返回值相关联的一种方法。...Playing With Python Types, Part 1 到目前为止，您只在类型提示中使用了str，float和bool等基本类型。...您将看到如何指定：序列和映射的类型，如元组，列表和字典键入别名，使代码更容易阅读该函数和方法不返回任何内容可以是任何类型的对象在简要介绍了一些类型理论之后，您将看到更多用Python指定类型的方法...Callables可调用类型函数是Python中的一类对象。可以使用函数作为其他函数的参数。这意味着需要能够添加表示函数的类型提示。

4.8K1 0

高阶Python｜返回类型提示技巧 (2)

Python提供了一种可选的特性——类型提示，它有助于提高代码的可读性、可推理性和可调试性。通过类型提示，开发者能够清楚地了解变量、函数参数和返回值应具备的数据类型。...在实际开发中，您可能会碰到需要在Python函数中标注多种返回类型的情况。这意味着函数返回的数据类型不是单一的，而是多样的。...ParamSpec 注解用来指明 Callable 中的任意输入参数，而 TypeVar 用来表示 Callable 中的任意输出类型。...在Python中，您可以为生成器函数添加类型提示。一种常见的做法是使用collections.abc模块中的Generator类型进行注解。...但请注意，如果您的生成器除了产生值之外还有其他操作，比如发送值或返回值，那么使用 collections.abc.Iterator 作为类型提示可能就不够用了，因为它不支持指定发送和返回类型。

791 0

可维护的Python代码库的7条规则

总结类型提示作为最小的文档，可以帮助其他开发人员快速理解你的代码。使用这些类型提示和静态类型检查可以大大减少你遇到的运行时bug的数量。它还可以指导你采用更好的设计模式。...但是如果使用静态类型检查，最好的做法是定义接口。接口定义了最小的属性和方法，这些属性和方法必须在类上实现才能被认为是一个子类型。...Python 可以在运行时改变任何东西。这对于推理程序的状态和设计良好的单元测试是有问题的。它削弱了类型提示的有效性。...不幸的是，这在 Python 中并不存在，我们必须满足于下面的选项：在变量类型为T的变量上使用Final[T]类型提示，只要该变量不能再被变异。静态类型检查应该可以剔除违规行为。...如果你需要传递数据集合，请使用默认情况下不可变的数据类型（如元组），而不是可变的数据类型（如列表）。同样，也可以使用NamedTuple来替代dict。你还可以研究一下数据类型，并选择将其冻结。

2793 0

Python3.12有哪些新变化？

例如标准库中的模块会在错误信息中给出明确的提示，如果你使用sys的某项功能，但是没有导入sys模块，它就会在报错信息中直接提示“Did you forget to import 'sys'?”...引入了TypedDict类型构造函数，支持字符串键和可能不同类型的值组成字典类型。...新泛型语法 PEP 695: Type Parameter Syntax PEP 484 下的泛型类和函数是使用冗长的语法来声明的，这使得类型参数的范围不明确，并且需要显示的声明。...PEP 695 引入了一种新的、更紧凑和明确的方法来创建泛型类和函数。...在新语法中不再需要TypeVar类型强制，只需要用[T]指定，与其他一些编程语言类似。

5883 0

高阶Python｜返回类型提示技巧 (1)

Python提供了一种可选的特性——类型提示，它有助于提高代码的可读性、可推理性和可调试性。通过类型提示，开发者能够清楚地了解变量、函数参数和返回值应具备的数据类型。...通过这些示例，您将能够更自如地在函数式编程中使用类型提示。处理单一数据项的多种类型在本节中，您将了解如何为可能返回多种类型数据的函数添加类型提示。...设想您正在处理客户数据，需要编写一个函数来解析用户电子邮件地址以抽取用户名。在Python 3.10或更新版本中，若要使用类型提示来表示多种可能类型的单一数据项，您可以使用管道符（|）。...无论您使用旧语法还是新语法，联合类型提示都可以组合两种以上的数据类型。处理多种类型的多个数据项在某些情况下，函数可能会返回多个值。在Python中，您可以通过类型提示来表明这一点。...作为 Callable 类型提示中方括号内的第一个元素，这意味着被输入的函数可以接受任意数量和类型的参数。 Callable 类型提示的第二个参数现在是一个类型变量 T，它可以代表任何数据类型。

781 0

流畅的 Python 第二版（GPT 重译）（八）

在运行时读取类型提示在导入时，Python 读取函数、类和模块中的类型提示，并将它们存储在名为 __annotations__ 的属性中。例如，考虑示例 15-14 中的 clip 函数。...由于在 Python 完全评估类体之前类对象未定义，类型提示必须使用类名作为字符串。以下是一个示例： class Rectangle: # ... lines omitted ......这在 Python 社区中引发了紧张气氛，一方面是希望类型提示仅以字符串形式存储，以减少加载成本，另一方面是希望在运行时也使用类型提示的人，比如 pydantic 和 FastAPI 的创建者和用户，他们更希望将类型对象存储起来...在 Python 中，中缀运算符可以处理任意类型。...重载 + 实现向量加法 Vector类是一个序列类型，在官方 Python 文档的“数据模型”章节中的“3.3.6. 模拟容器类型”部分指出，序列应该支持+运算符进行连接和*进行重复。

1991 0

Type Hints --- Python官方十二年磨一剑

省略对于这种无法确认参数类型、返回值类型的情况在 Java 中就不可能发生。也就是说 Python 相比 Java 来讲更加依赖于文件，不然参数都不知道怎么传递和接收。...def greeting(name:str)->str: return 'hello ' + name 由于语法上定义的是接受一个表达式，所以我们在这里定上参数的数据类型；由于字符串字面值也是表达式...2014 年八年过去了官方发现大家对于函数注解的使用都停留在声明参数和返回值的类型上，单个类型表达式无法满足的情况下就写字符串。...2018 年 Python-3.7 为了提升生产力，在类型提示上面再加了一把功夫，带来了 dataclasses 。假设我们现在要定义一个 Person 类，实例之间可以通过 age 属性来比较大小。.../dev/peps/pep-3107/ PEP 484 类型提示 https://www.python.org/dev/peps/pep-0484/ PEP 557 dataclasses

1762 0

用例子看看，Python 3.12 到底更新了啥？

PEP709 内联行为现在解释器会把字典、列表和集合理解成内联行为，而不是只用一次的数据结构，这样做会让程序运行速度提升一倍。但是，迭代器并不会理解成内联行为。...PEP 688 Buffer协议可以暴露给用户使用这个提案介绍了如何让Python用户使用到buffer协议，只需要让类实现__buffer__()方法就可以把它当作Buffer类使用。...在PEP 484 中，Python对泛型类和方法类型注解的支持有点啰嗦且不够精确，并需要一套更直白的类型声明方案。...type Point[T] = tuple[T, T] 新的语法规则允许声明TypeVarTuple和ParamSpec，就像声明TypeVar一样。...在大多数情况下，这个范围等同于函数的范围，但是它会和不同的类的范围发生关联。在Python 3.13中，所有的类型注解都会在这个范围内。

5722 0

Python高手必修课：如何让 Python 代码更易读,推荐收藏

但值得注意的是，这种类型和变量注解实际上只是一种类型提示，对运行实际上是没有影响的，比如调用 add 方法的时候，我们传入的不是 int 类型，而是一个 float 类型，它也不会报错，也不会对参数进行类型转换...因此，类型和变量注解只是提供了一种提示，对于运行实际上没有任何影响。...TypeVar TypeVar，我们可以借助它来自定义兼容特定类型的变量，比如有的变量声明为 int、float、None 都是符合要求的，实际就是代表任意的数字或者空内容都可以，其他的类型则不可以，比如列表...list、字典 dict 等等，像这样的情况，我们可以使用 TypeVar 来表示。...【完】推荐阅读憋了1年，今天，我有件大事和大家说下！ 44万条数据揭秘：如何成为网易云音乐评论区的网红段子手？项目交付：把Python项目打包成exe文件供客户使用然后收钱

7911 0

Python - typing 模块 —— Any Type

前言 typing 是在 python 3.5 才有的模块前置学习 Python 类型提示：https://www.cnblogs.com/poloyy/p/15145380.html 常用类型提示...https://www.cnblogs.com/poloyy/p/15153886.html Callable https://www.cnblogs.com/poloyy/p/15154008.html TypeVar...# type: str s1 = a # OK def foo(item: Any) -> int: # Typechecks; 'item' 可以是任意类型 print(item...) return 1 foo(a) foo(a1) foo(a2) foo(s) foo(s1) 隐式使用 Any def legacy_parser(text): ......return data # 上述写法等价于下述写法 # 所有没有返回类型或参数类型的函数将隐式默认使用 Any def legacy_parser(text: Any) -> Any:

4813 0

点击加载更多

扫码

添加站长进交流群

领取专属 10元无门槛券

手把手带您无忧上云