Издание на програмния език Python 3.11

След година разработка беше публикуван значителен релиз на програмния език Python 3.11. Новият клон ще бъде поддържан в продължение на година и половина, след което за него ще се изготвят корекции за уязвимости в продължение на още три години и половина.

В същото време започна алфа-тестироването на клона Python 3.12 (в съответствие с новия график за разработка, работата по новия клон започва пет месеца преди освобождаването на предишния клон и в момента на следващото освобождаване достига стадий на алфа-тестиране). Клонът Python 3.12 ще бъде в стадий на алфа-версии в продължение на седем месеца, през които ще бъдат добавяни нови възможности и ще се извърши корекция на грешки. След това, в продължение на три месеца, ще се провежда тестиране на бета-версии, по време на което добавянето на нови функции ще бъде забранено и всичкото внимание ще бъде насочено към коригиране на грешки. Последните два месеца преди освобождаването, клонът ще бъде в стадий на кандидат за издания, в който ще бъде извършена финалната стабилизация.

Сред новостите, добавени в Python 3.11:

• Беше извършена значителна работа по оптимизация на производителността. Новият клон включва промени, свързани с ускоряване и инлайн-разширяване на извиквания на функции, използване на бързи интерпретатори за типови операции (x+x, x*x, x-x, a[i], a[i] = z, f(arg) C(arg), o.method(), o.attr = z, *seq), както и оптимизации, подготвени от проектите Cinder и HotPy. В зависимост от вида на натоварването, се отбелязва увеличение на скоростта на изпълнение на кода с 10-60%. В средно производителността при прехода на тестовия набор pyperformance се увеличи с 25%.

  Преосмислен е механизма за кеширане на байт-код, което е позволило намаляване на времето за стартиране на интерпретатора с 10-15%. Обектите с код и байт-код сега се разполагат статично от интерпретатора, което е дало възможност да се изключат етапите на демаршалиране на извлечения байт-код от кеша и преобразуването на обектите с код за разполагане в динамична памет.

• При показване на трасировката на повикванията в диагностичните съобщения е предоставена информация за израза, който е предизвикал грешка (преди се осветяваше само реда без детайли за това коя част от реда е причинила грешката). Разширената информация за трасировката може също да се получи чрез API и да се използва за свързване на отделни инструкции на байткод с конкретна позиция в изходния код, използвайки метода codeobject.co_positions() или функцията C API PyCode_Addr2Location(). Промяната значително улеснява отстраняването на проблеми, свързани с вложени обекти на речници, многократни повиквания на функции и сложни аритметични изрази. Traceback (most recent call last): File «calculation.py», line 54, in result = (x / y / z) * (a / b / c) ~~~~~~^~~ ZeroDivisionError: division by zero
• Добавена е поддръжка на групи изключения, позволяваща на програмата да генерира и обработва няколко различни изключения едновременно. За групиране на няколко изключения и тяхното заедно повикване са предложени нови типове изключения ExceptionGroup и BaseExceptionGroup, а за отделяне на отделни изключения от групата е добавено изразът «except*».
• В клас BaseException е добавен метод add_note(), позволяващ прикрепянето на текстова бележка към изключението, например, добавяне на контекстна информация, недостъпна по време на генериране на изключението.
• Добавен е специален тип Self, представляващ текущия затворен клас. Self може да се използва за анотиране на методи, които връщат екземпляр на своя клас, по-прост начин, отколкото при използване на TypeVar. class MyLock: def __enter__(self) -> Self: self.lock() return self
• Добавен е специален тип LiteralString, който може да включва само строкови литерали, съвместими с типа LiteralString (т.е. голи строки и строки с тип LiteralString, но не произволни или комбинирани строки с тип str). Типът LiteralString може да се използва за ограничаване на предаването на строкови аргументи на функции, чиято произволна подмяна на части от строки може да доведе до уязвимости, например, при формиране на строки за SQL заявки или shell команди. def run_query(sql: LiteralString) -> … … def caller( произволна_строка: str, заявка_строка: LiteralString, име_на_таблиця: LiteralString, ) -> None: run_query(«SELECT * FROM students») # ok run_query(literal_string) # ok run_query(«SELECT * FROM » + literal_string) # ok run_query(arbitrary_string) # Грешка run_query( # Грешка f»SELECT * FROM students WHERE name = {arbitrary_string}» )
• Добавен е тип TypeVarTuple, който позволява използването на вариативни дженериците, за разлика от TypeVar, който обхваща не един, а произволен брой типове.
• В стандартната библиотека е включен модул tomllib с функции за разбиране на формата TOML.
• Предоставена е възможност за етикетиране на отделни елементи от типизирани речници (TypedDict) с етикети Required и NotRequired за определяне на задължителни и незадължителни полета (по подразбиране всички обявени полета са задължителни за попълване, освен ако параметърът total не е зададен на False). class Movie(TypedDict): title: str year: NotRequired[int] m1: Movie = {«title»: «Black Panther», «year»: 2018} # OK m2: Movie = {«title»: «Star Wars»} # OK (полето year е незадължително) m3: Movie = {«year»: 2022} # Грешка, не е попълнено задължителното поле title)
• В модула asyncio е добавен клас TaskGroup с реализация на асинхронен контекстен мениджър, изчакващ завършването на група задачи. Добавянето на задачи в групата се извършва с помощта на метода create_task(). async def main(): async with asyncio.TaskGroup() as tg: task1 = tg.create_task(some_coro(…)) task2 = tg.create_task(another_coro(…)) print(«И двете задачи сега са завършени.»)
• Добавен е декоратор за класове, методи и функции @dataclass_transform, при указването на който системата за проверка на статични типове третира обекта, както при използването на декоратор @dataclasses.dataclass. В примера по-долу класът CustomerModel при проверка на типовете ще бъде обработен по аналогия с клас с декоратор @dataclasses.dataclass, т.е. ще има метод __init__, допускащ променливи id и name. @dataclass_transform() class ModelBase: … class CustomerModel(ModelBase): id: int name: str
• В регулярните изрази е добавена възможност за използване на атомарна групировка ((?>…)) и ревностни (possessive) количествени оператори (*+, ++, ?+, {m,n}+).
• Добавена е опция за командния ред „-P“ и променлива на средата PYTHONSAFEPATH за деактивиране на автоматичното прикрепване на потенциално небезопасни пътища към sys.path.
• Значително е подобрена утилитата py.exe за платформата Windows, в която е реализирана поддръжка на синтаксиса „-V:<company>\/<tag>“ в допълнение на „-<major>.<minor>.“.
• Много макроси в C API са преобразувани в обикновени или статични inline-функции.
• Обявени са за остарели и ще бъдат премахнати в изданието на Python 3.13 модулите uu, cgi, pipes, crypt, aifc, chunk, msilib, telnetlib, audioop, nis, sndhdr, imghdr, nntplib, spwd, xdrlib, cgitb, mailcap, ossaudiodev и sunau. Премахнати са функциите PyUnicode_Encode*.

Източник: opennet.ru