python 编码中为什么要写类型注解？

a: str = "aa"
b: int = 1

# 参数和返回标注了类型，那么接下来调用时就能进行提示
def example(a: str) -> str:
 return f"Hello {a}"

pirnt(example("world"))

# # 一些简单的标注，看起来起不到效果，但如果换个有含义的名字呢
User = str
Age = int
Answer = str

def say_hello(u: User) -> Answer:
 return f"Hello {u}"

print(say_hello("Shadow"))

import typing

# 自定义类型注解
User = str
Age = int

# 定义有多种类型注解的类型
AnyStr = typing.TypeVar('AnyStr', str, bytes)
a_str: AnyStr = "a"
a_bytes: AnyStr = b"a"



# 通用类型, 接收通用的类型，尽量少的去使用
def example_1(a: typing.Any):
  print(a)


"""
typing 模块是允许使用下标来辅助标记类型
"""

# 列表, 下标为列表的属性
def example_2(a_list: typing.List[User]) -> typing.List[str]:
  pass


# 字典，下标第一个为key，第二个为value
def example_3(a_dict: typing.Dict[User, Age]) -> typing.Dict[str, int]:
  pass


# 元祖，下标为元祖的属性
def example_4(a_tuple: typing.Tuple[User] = None) -> typing.Tuple[User]:
  pass


# UNIOn, 在一些场景下我们某些参数或返回值是不确定，至少给定一个参数类型
def example_5(a_b: typing.Union[str, int]) -> typing.Union[str, int]:
  pass


# Optional, 与Union 有点类似，但默认多带一个None，至少给定一个参数类型
# 如：Optional[str] 等价于 Union[str, None]
def example_6(a: str) -> typing.Optional[str]:
  pass


# Tuple, 返回值有多个的时候, 如需要返回str, int, bool, float
def example_7() -> typing.Tuple[str, int, bool, float]:
  pass


# class, 类本身也是一种类型
class Action:

  up: str = "up"
  down: str = "down"

# 指定需求一个action对象的参数
def example_8(action_obj: Action) -> Action:
  pass


# 这样在一些枚举参数的场景下，我们也可以使用类作为我们枚举参数的归类
def example_9(action_cls: Action) -> Action:
  pass

# 如果上面的枚举参数你觉得并不能很好的实现，那么还是可以使用自定义类型注解的方式去实现
Action = str
up: Action = "up"
down: Action = "down"

# 在python3.9 中对枚举参数类型有更好的支持
MODE = type.Literal['r', 'rb', 'w', 'wb']
def open_file(file: str, mode: MODE) -> str:
  pass

open_file('/some/path', 'r') # 正常
open_file('/other/path', 'typo') # 会提示该类型不合法


# Type, 在一些多态类的场景下标注同一个类型的不同的形态
class User: ...

class BasicUser(User): ...

class ProUser(User): ...

class TeamUser(User): ...

# 相当于 typing.Union[User, BasicUser, ProUser, TeamUser]
def make_new_user(user_class: typing.Type[User]) -> User:
  return user_class()