Проверка типов с условными параметрами

Вы получаете сообщение об ошибке, потому что в some_process_that_returns_a_bool вы пытаетесь получить доступ some_param_to_check к значению, которое может быть None, а None не имеет этого свойства.

Если some_process_that_returns_a_bool должен принимать None как возможное значение для f_or_b , то вы должны проверить None, прежде чем пытаться получить доступ к каким-либо свойствам.

def some_process_that_returns_a_bool(
    f_or_b: Union[Foo, Bar, None],
    a_name: str,
) -> bool:
    if f_or_b is None:
      # Handle None...
      return False
    else:
      return f_or_b.some_param_to_check == a_name

Таким образом, вы попытаетесь получить доступ к some_param_to_check только тогда, когда f_or_b не является None, а в противном случае вы вернетесь False, когда f_or_b будет None.

Но, пожалуйста, обращайтесь с None так, как это имеет смысл для вашего приложения.

Я почти уверен, что это просто проблема mypy. Его система вывода типов недостаточно умна, чтобы распознать, что ваш блок if not foo and not bar, который вызывает исключение, впоследствии исключает двойной случай None (поскольку он не может сделать окончательный вывод ни о каком типе по отдельности). Кажется, нет хорошего способа напрямую исправить подсказку типа, но вместо этого вы могли бы немного изменить логику, чтобы более четко разделить случаи, и mypy должен понять это лучше:

def do_something_with_foo_or_bar(
    foo: Optional[Foo],
    bar: Optional[Bar],
    some_name: str,
) -> bool:
    foo_or_bar: Union[Foo, Bar]
    if foo:
        foo_or_bar = foo
    elif bar:
        foo_or_bar = bar
    else:
        raise ValueError('You need to specify either "foo" or "bar".')

    return some_process_that_returns_a_bool(foo_or_bar, some_name)

Вы также можете полностью избавиться от переменной foo_or_bar и просто поместить два разных вызова функций в блоки if и elif, используя foo или bar в зависимости от ситуации.

Добавление моего $ 0,02 к ответу @Blckknght:

Это решает проблему с внутренней проверкой типов (нет ошибок внутри тела функции, если вы исправите отсутствующую аннотацию), но не помогает внешним вызывающим объектам.

Чтобы добиться ввода «того или иного, но никогда ни одного из них», вы можете использовать перегрузки:

from typing import Optional, Union, overload


class Foo:
    some_param_to_check: str = 'foo_name'
    one_param_exclusive_to_foo: int


class Bar:
    some_param_to_check: str = 'bar_name'
    another_param_exclusive_to_bar: str


def some_process_that_returns_a_bool(
    f_or_b: Union[Foo, Bar],
    a_name: str,
) -> bool:
    return f_or_b.some_param_to_check == a_name

@overload
def do_something_with_foo_or_bar(
    foo: Foo,
    bar: Optional[Bar],
    some_name: str,
) -> bool: ...
@overload
def do_something_with_foo_or_bar(
    foo: Optional[Foo],
    bar: Bar,
    some_name: str,
) -> bool: ...
def do_something_with_foo_or_bar(
    foo: Optional[Foo],
    bar: Optional[Bar],
    some_name: str,
) -> bool:
    foo_or_bar: Union[Foo, Bar]  # This annotation was missing
    if foo:
        foo_or_bar = foo
    elif bar:
        foo_or_bar = bar
    else:
        raise ValueError('You need to specify either "foo" or "bar".')

    return some_process_that_returns_a_bool(foo_or_bar, some_name)
    

do_something_with_foo_or_bar(Foo(), Bar(), '')
do_something_with_foo_or_bar(None, Bar(), '')
do_something_with_foo_or_bar(Foo(), None, '')
do_something_with_foo_or_bar(None, None, '')  # Line 51

И вуаля:

main.py:51: error: No overload variant of "do_something_with_foo_or_bar" matches argument types "None", "None", "str"  [call-overload]
main.py:51: note: Possible overload variants:
main.py:51: note:     def do_something_with_foo_or_bar(foo: Foo, bar: Optional[Bar], some_name: str) -> bool
main.py:51: note:     def do_something_with_foo_or_bar(foo: Optional[Foo], bar: Bar, some_name: str) -> bool

Вот ссылка на игровую площадку.