В мире программирования универсальные типы могут быть невероятно мощными инструментами, позволяющими нам писать гибкий и многократно используемый код. Одна из областей, где дженерики проявляют себя лучше, — это аргументы функций. В этой статье блога мы рассмотрим различные методы использования универсальных типов в аргументах функций, попутно предоставляя разговорные объяснения и примеры кода.

Метод 1: базовый универсальный параметр
Начнем с самого простого метода. Мы можем определить параметр универсального типа в самой сигнатуре функции. Например:

def print_list(items: List[T]) -> None:
    for item in items:
        print(item)

Здесь Tпредставляет универсальный тип, который может быть любым допустимым типом. Затем мы можем передать в эту функцию список любого типа.

Метод 2: несколько универсальных параметров
Иногда нам может потребоваться работать с несколькими универсальными типами одновременно. Мы можем добиться этого, указав несколько параметров типа в сигнатуре функции:

def merge_lists(list1: List[T], list2: List[U]) -> List[T]:
    return list1 + list2

В этом примере Tи U— независимые параметры универсального типа, представляющие типы двух входных списков. Функция возвращает новый список, объединяющий два входных списка.

Метод 3: Ограниченные универсальные параметры
Параметры универсального типа также могут быть ограничены конкретными типами, что позволяет нам обеспечить соблюдение определенных требований. Например, мы можем использовать тип Union, чтобы ограничить общий параметр принятием нескольких типов:

from typing import Union
def find_common(item1: T, item2: T) -> Union[T, None]:
    if item1 == item2:
        return item1
    else:
        return None

В этом примере функция find_commonпринимает два аргумента одного и того же универсального типа Tи возвращает либо общий элемент, либо None.

Метод 4: границы универсального типа
Мы можем дополнительно уточнить ограничения универсального типа, используя границы типа. Например, мы можем указать, что параметр универсального типа должен быть подклассом определенного класса:

from typing import TypeVar
T = TypeVar('T', bound=MyBaseClass)
def process_item(item: T) -> None:
    # Code to process the item...

Здесь T— параметр универсального типа, который должен быть подклассом MyBaseClass. Это гарантирует, что входные данные функции process_itemсоответствуют требуемому ограничению типа.

В этой статье мы рассмотрели различные методы использования универсальных типов в аргументах функций. Мы рассмотрели основные универсальные параметры, несколько универсальных параметров, ограниченные универсальные параметры и границы универсального типа. Используя эти методы, вы сможете писать в своих проектах более гибкий и пригодный для повторного использования код.