Python3.12-PEP695-类型形参语法

引自PEP解读 第1期 Python3.12-PEP695-类型形参语法概述

概述

PEP 695(Type Parameter Syntax，类型形参语法)，提供了一种新的方式来确定泛型函数或者类。

from numbers import Number
​
​
def max[T: Number](a: T, b: T) -> T:
    return a if a > b else b

首先可以明确的是这是一个动态类型函数，其定义了一个涵盖Number类型的泛型T，接收两个T类型的参数，返回与两个参数类型一致的返回值。为之前T = TypeVar('T', bound=Number)的声明方式提供了一种更现代（也更受认可的）的泛型声明方式。我就知道之前没深入泛型是正确的，我是史学家，那就是史。

其次需要说明的是，Python作为一门动态类型语言，类型注释只会为开发环境提供一种更简便快捷的代码检查方式（面向IDE编程），不影响编译器和运行期。

总结

Rust伟大无需多言之什么叫做现代编程语言之组合大于继承之懂不懂Trait啊之Rust为什么是神之首先是犯下了贪夺之罪的Python