北京网站的建设,做网站建设的好处,外贸网站优化免费渠道,网站开发招聘名称一、 PEP 695: 类型形参语法的革新
PEP 695 在 Python 3.12 中引入了一种新颖且更为清晰的方式来定义泛型类和函数#xff0c;旨在提升类型参数的明确性和简洁性。这个提案不仅改善了类型系统的可读性#xff0c;还增强了其功能性。以下是这些变化的详细概述#xff1a;
1…一、 PEP 695: 类型形参语法的革新
PEP 695 在 Python 3.12 中引入了一种新颖且更为清晰的方式来定义泛型类和函数旨在提升类型参数的明确性和简洁性。这个提案不仅改善了类型系统的可读性还增强了其功能性。以下是这些变化的详细概述
1. 泛型类和函数的新定义方式
在 PEP 484 的基础上PEP 695 引入了一种更紧凑、明确的泛型类和函数的创建方法。与以前的详细语法相比新方法更简洁且类型参数的范围更加明确。例如
def max[T](args: Iterable[T]) - T:...class list[T]:def __getitem__(self, index: int, /) - T:...def append(self, element: T) - None:...2. 类型别名的新声明方式
PEP 695 还引入了使用 type 语句声明类型别名的方法。这些别名可以是普通类型或泛型类型为类型注解提供了更多的灵活性。例如
type Point tuple[float, float]
type Point[T] tuple[T, T]3. 新的类型参数声明
这个提案允许声明各种新的类型参数例如 TypeVarTuple 和 ParamSpec以及带边界或约束的 TypeVar。这些新的类型参数扩展了 Python 类型系统的表达能力。例如
type IntFunc[**P] Callable[P, int] # ParamSpec
type LabeledTuple[*Ts] tuple[str, *Ts] # TypeVarTuple
type HashableSequence[T: Hashable] Sequence[T] # TypeVar with bound
type IntOrStrSequence[T: (int, str)] Sequence[T] # TypeVar with constraints4. 惰性求值和作用域
PEP 695 强调类型别名的值和类型变量的边界、约束仅在需要时进行求值即实现了惰性求值。这意味着类型别名可以引用稍后在文件中定义的其他类型。同时通过类型参数列表声明的类型参数在其声明的作用域内及嵌套作用域内可见但在外部作用域不可见。
5. 标注作用域的引入
为了支持这些作用域定义PEP 695 引入了一种新的作用域——标注作用域。这种作用域在很大程度上类似于函数作用域但其与封闭类作用域的交互方式有所不同。在未来的 Python 3.13 中标注也将在这种新的标注作用域中进行求值。
通过这些改进PEP 695 不仅提高了类型注解的可读性和易用性还为 Python 类型系统带来了更强的表达力和灵活性。更多细节可以在 PEP 695 中找到。
二、 PEP 701: 对 f-字符串的增强和放宽限制
Python 3.12 中的 PEP 701 带来了对 f-字符串格式化字符串的显著改进放宽了之前的一些限制使其更加强大和灵活。以下是这些改进的详细介绍
1. 引号的重用
在 Python 3.11 及之前版本中f-字符串中不能使用与其本身相同的引号否则会引发 SyntaxError。例如如果 f-字符串用单引号标记则表达式部分不能包含单引号。这种限制在 Python 3.12 中被取消现在你可以在 f-字符串的表达式部分自由使用任何类型的引号。例如
songs [Take me back to Eden, Alkaline, Ascensionism]
fThis is the playlist: {, .join(songs)}
# 输出: This is the playlist: Take me back to Eden, Alkaline, Ascensionism此外这项改变使得 f-字符串可以更灵活地嵌套使用如
f{f{f{f{f{11}}}}}
# 输出: 22. 多行表达式和注释
在以前的版本中f-字符串的表达式必须在一行内完成这对于复杂的表达式或需要注释的情况不太方便。Python 3.12 允许 f-字符串表达式跨越多行并支持在其中添加注释使代码更易于理解和维护。例如
fThis is the playlist: {, .join([Take me back to Eden, # My, my, those eyes like fireAlkaline, # Not acid nor alkalineAscensionism # Take to the broken skies at last
])}
# 输出: This is the playlist: Take me back to Eden, Alkaline, Ascensionism3. 反斜杠和 Unicode 字符
在 Python 3.12 之前f-字符串表达式中不能包含任何反斜杠 (\) 字符这限制了 Unicode 转义序列的使用。现在你可以在 f-字符串表达式中使用反斜杠和 Unicode 转义序列。例如
songs [Take me back to Eden, Alkaline, Ascensionism]
print(fThis is the playlist: {\n.join(songs)})
# 输出:
# This is the playlist: Take me back to Eden
# Alkaline
# Ascensionismprint(fThis is the playlist: {\N{BLACK HEART SUIT}.join(songs)})
# 输出: This is the playlist: Take me back to Eden♥Alkaline♥Ascensionism总的来说PEP 701 为 Python 开发者提供了更大的灵活性和表达能力尤其是在处理复杂的字符串格式化时。这些改进使得 f-字符串成为一个更加强大和便捷的工具。
4. f-字符串错误消息的变化
在 Python 3.11 及以前版本中f-字符串的错误消息往往缺乏精确性。例如在遇到语法错误时Python 3.11 可能会给出如下错误提示
my_string f{x z y} f{1 1}
# 错误输出:
# File stdin, line 1
# (x z y)
# ^^^
# SyntaxError: f-string: invalid syntax. Perhaps you forgot a comma?在这种情况下错误消息不仅没有准确指出错误的具体位置而且错误的表达式被不自然地用括号括起来。
Python 3.12 使用 PEG 解析器来解析 f-字符串使得错误消息变得更加精确和有用。现在当遇到类似的语法错误时错误消息会精确指出错误所在的位置并显示整行代码
my_string f{x z y} f{1 1}
# 错误输出:
# File stdin, line 1
# my_string f{x z y} f{1 1}
# ^^^
# SyntaxError: invalid syntax. Perhaps you forgot a comma?四、PEP 684: 引入解释器级 GIL 提高 Python 多核性能
PEP 684 在 Python 3.12 中引入了一个重要的更新——解释器级的全局解释器锁GIL。这项改进旨在解决 Python 在多核 CPU 性能方面的一些限制为 Python 带来更好的并行计算能力。
1. 解释器级 GIL 的概念
GIL 是 Python 解释器中一个众所周知的特性它在任何时候只允许一个线程执行 Python 字节码。虽然这简化了 CPython 解释器的设计并提高了单线程程序的性能但它也限制了 Python 程序在多核处理器上的并行执行能力。
PEP 684 通过引入解释器级 GIL使得可以创建带有独立 GIL 的子解释器。这意味着每个子解释器可以在其自己的线程中独立运行从而更好地利用多核 CPU 的性能。
2. 如何创建带有独立 GIL 的解释器
目前这个特性只能通过 C-API 实现预计在 Python 3.13 中将添加相应的 Python API。使用 Py_NewInterpreterFromConfig() 函数可以创建一个具有独立 GIL 的新解释器。以下是一个示例代码
PyInterpreterConfig config {.check_multi_interp_extensions 1,.gil PyInterpreterConfig_OWN_GIL,
};
PyThreadState *tstate NULL;
PyStatus status Py_NewInterpreterFromConfig(tstate, config);
if (PyStatus_Exception(status)) {return -1;
}
// 新解释器现在在当前线程中激活3. 示例和进一步的应用
更多关于如何使用 C-API 来操作子解释器和解释器级 GIL 的示例可以在 Modules/_xxsubinterpretersmodule.c 中找到。
总体而言PEP 684 的引入为 Python 的并行处理和多核性能优化提供了一个重要的步骤使 Python 在多核处理器上的应用变得更加高效。这一改进由 Eric Snow 贡献并在 gh-104210 等项目中得以实现。
五、 PEP 669: 为 CPython 引入低影响监控机制
PEP 669 在 Python 3.12 中引入了一个为 CPython 设计的新 API用于实现低影响的性能监控。这一提案的核心在于为性能分析器、调试器和其他监控工具提供了一个高效且对程序性能影响小的监控方式。
1.新 API 的特点和优势 广泛的事件覆盖该 API 能监控包括函数调用、返回、代码行执行、异常处理和跳转等在内的多种事件为开发者提供全面的性能分析视角。 精确的性能开销控制PEP 669 允许开发者只对他们需要监控的事件付出性能开销。这种选择性监控大大降低了对程序性能的影响尤其是在生产环境中。 近零开销的调试和覆盖工具支持通过这个 API开发者可以使用几乎不影响程序性能的调试器和代码覆盖工具这在以往的 Python 版本中是难以实现的。
2. 使用 sys.monitoring 模块
这个新引入的 sys.monitoring 模块提供了访问和控制事件监控的接口。通过这个模块开发者可以注册监控事件、控制监控的粒度和范围以及收集和分析性能数据。具体使用方法和 API 文档可以在 sys.monitoring 中找到。
六、 PEP 688: 在 Python 中使缓冲区协议更易于访问
PEP 688 为 Python 3.12 带来了对缓冲区协议的重要改进使得在 Python 代码中使用和实现缓冲区协议变得更加直接和易于管理。
1. 缓冲区协议的 Python 实现
缓冲区协议buffer protocol在 Python 中主要用于提供一种访问对象内存表示的机制。这个协议常见于需要高性能数据处理的场景比如在处理大量数据或进行科学计算时。
PEP 688 引入了以下关键特性 __buffer__() 方法: 类通过实现 __buffer__() 方法可以作为缓冲区类型使用。这允许自定义类直接支持缓冲区协议从而与 Python 的内置缓冲区类型如字节串和数组一样可以更有效地处理数据。 collections.abc.Buffer 抽象基类: 这个新引入的抽象基类定义了缓冲区对象应有的基本行为和接口。通过实现这个类开发者可以确保他们的自定义缓冲区类型符合预期的标准从而提高代码的可维护性和可读性。 inspect.BufferFlags 枚举: 这个新的枚举提供了一组标志用于自定义缓冲区的创建过程。这些标志让开发者能够更精确地控制缓冲区的行为如只读或只写访问以及缓冲区的其他属性。
2. 应用和好处
这些改进使得缓冲区协议在 Python 中更易于访问和使用特别是对于需要高效数据处理的应用。它们还提高了与缓冲区相关的代码的可读性和可维护性使得开发者能够更容易地实现和使用复杂的内存管理逻辑。这对于科学计算、数据分析、图像处理等领域的 Python 开发者来说是一个重要的步骤。
七、 Python 3.12 更新改进的错误消息和类型提示特性
Python 3.12 版本中包含了对错误消息和类型提示的重要改进这些更新旨在提高代码的可读性和易用性。
1. 改进的错误消息 更明确的 NameError 提示: 当引发 NameError 并传播到最高层级时如果与标准库中的模块名称相关错误消息会建议可能的导入。示例 sys.version_info
NameError: name sys is not defined. Did you forget to import sys?针对实例的 NameError 改进: 如果在类方法中出现 NameError且实例具有与异常中名称相同的属性则错误建议会包括 self.NAME。示例class A:def __init__(self):self.blech 1def foo(self):somethin blechA().foo()
# NameError: name blech is not defined. Did you mean: self.blech?改进的 SyntaxError: 当用户错误地使用 import x from y 语法时会提示正确的 from y import x 形式。示例 import a.y.z from b.y.z
SyntaxError: Did you mean to use from ... import ... instead?更有帮助的 ImportError: 如果尝试从模块导入不存在的名称时将会根据模块中的可用名称提出建议。示例 from collections import chainmap
ImportError: cannot import name chainmap from collections. Did you mean: ChainMap?2. 类型的新增特性 PEP 692: TypedDict 的应用: 允许使用 TypedDict 来更精确地注释 **kwargs。示例from typing import TypedDict, Unpackclass Movie(TypedDict):name: stryear: intdef foo(**kwargs: Unpack[Movie]):...PEP 698: typing.override 装饰器: 这个新装饰器指示方法旨在重写超类中的方法帮助捕获错误。示例from typing import overrideclass Base:def get_color(self) - str:return blueclass GoodChild(Base):overridedef get_color(self) - str:return yellowclass BadChild(Base):overridedef get_colour(self) - str:return red
# BadChild.get_colour 引发类型检查器错误因为它没有重写 Base.get_color这些改进不仅提升了 Python 的错误消息的准确性和可理解性还增强了类型提示的表达能力使得 Python 代码更加健壮和易于维护。
