Сопоставление шаблону и неосвоенные области

Базовая статья: pep-636 (а также pep-635 и pep-634)

Главная сложность: конструкция match … case имеет отличный от Python синтаксис! Спасибо смене парсера с LL(1) на PEG.

Пересказ tutorial:

• Вместо цепочки однотипных elif-ов

  •    1 a = command.split()
       2 if a == ["help"]:
       3         …
       4 elif a == ["help", "--full"]:
       5         …
       6 …
    

    →

       1 match command.split():
       2         case ["help"]:
       3                 …
       4         case ["help", "--full"]:
       5                 …
    

• Связанные переменные и catch-all:

  •    1 match command.split():
       2         case ["help"]:
       3                 …
       4         case ["help", command]:
       5                 match command:
       6                         case "run":
       7                                 …
       8                         case "quit":
       9                                 …
    

• Распаковка и catch-all:

  •    1         case [command, *options]:
       2                 …
       3         case _:
       4                 … это как default …
    

    • Как всегда, включая len()==0

• Альтернативы и явно связанные переменные

  •    1         case [("help" | "usage")]:
       2                 …
       3         case [("help" | "usage"), ("help" | "run" | "quit") as command]:
       4                 print(command)
       5                 …
    

• Фильтры:

  •    1         case ["help", command] if command in commands_list:
       2                 …
    

• Проверка типов (help(complex)), проверка полей объекта (как правило по имени, редко когда определено перечисление полей)

  •    1 match eval(input()):
       2    case int(x):
       3         print("int", x)
       4    case float(x):
       5         print("float", x)
       6    case complex(real=0, imag=i):
       7         print("Imag", i)
       8    case complex(real=r, imag=i):
       9         print(r, i)
    

• Как определить перечисление полей:

  •    1 class C:
       2     __match_args__ = "name", "diap"
       3 
       4     def __init__(self, name, diap):
       5         self.name = name
       6         self.diap = diap
       7 
       8 c = C("obj", (1, 10, 2))
       9 match c:
      10     case C(name, (start, stop, step)):
      11         print(name, range(start, stop, step))
    

• Словари:

  •    1 d = dict(enumerate(input().split(), 1))
       2 print(d)
       3 match d:
       4     case {1: "one", 2: "two"}:
       5         print("exact")
       6     case {1: "one", 2: other}:
       7         print("bounded", other)
       8     case {2: "two", **others}:
       9         print("inexact", others)
    

• Как отличить константу от связанной переменной? Никак! Храните константы в изолированных пространствах имён:

  • TODO enum doesn't work

  •    1 from enum import Enum
       2 class Color(Enum):
       3     RED = 0
       4     GREEN = 1
       5     BLUE = 2
       6 WHITE = 4
       7 
       8 match eval(input()):
       9     case Color.RED:
      10         print("RED")
      11     case WHITE:
      12         print(f"Not RED, {WHITE}")
    

Что мы не посмотрели в Python

0. (это очень жаль) Не было разговора про стиль оформления кода, хотя бы про pep-8 и best practices.

1. Языковые модули, такие как dataclasses, enum, weakref и т. п. Это как бы расширения языка, а мы его проигнорировали

2. Оформление собственных модулей — будет в курсе следующего семестра
3. Инструменты разработки, встроенные в сам дистрибутив Python. Об этом — курс следующего семестра

4. Полезные для боевого программирования модули, типа os, pathlib, subprocess, http и т. п. — их довольно много

5. …

6. http://PyPi.org: 420 728 проектов (Сколько там было осенью?)

The Zen of Python, by Tim Peters

• import this

• import antigravity

Д/З

Научиться определять, в каких алгоритмических конструкциях можно использовать match … case — и использовать его там!