def 函數(shù)名(參數(shù): 數(shù)據(jù)類型) -> 返回值類型:
? ? pass

變量名: 數(shù)據(jù)類型 = 值

#!/usr/bin/env python
# -*- coding: UTF-8 -*-
# @author: A.L.Kun
# @file : test.py
# @time : 2022/5/13 16:54
from typing import Sequence

ConnectionOptions = dict[str, int] ?# 表示字典中的鍵為字符串類型，值為整型
Address = tuple[str, int, ...] ?# 表示元組的第一個數(shù)據(jù)為字符串，第二個數(shù)據(jù)為整型，里面只能存儲兩個數(shù)據(jù)，有省略號表示里面可以添加n個整型數(shù)據(jù)
Server = tuple[Address, ConnectionOptions]


def broadcast_message(message: str,
? ? ? ? ? ? ? ? ? ? ? servers: Sequence[Server] ?# 表示一個序列對象里面存儲了[tuple[tuple[str, int], dict[str, int]]]
? ? ? ? ? ? ? ? ? ? ? ) -> None: ?# 返回值為空
? ? ...

broadcast_message("a", [(("a", 1, 2), {"a": 1})])

#!/usr/bin/env python
# -*- coding: UTF-8 -*-
# @author: A.L.Kun
# @file : test.py
# @time : 2022/5/13 16:54
from typing import NewType

UserId = NewType('UserId', int) ?# 其不會創(chuàng)建一個新的類或引入其他內(nèi)存，只是做一個約束作用


def name_by_id(user_id: UserId) -> str:
? ? ...


name_by_id(42) ?# Fails type check
name_by_id(UserId(42)) ?# OK

num = UserId(5) + 1 ?# type: int，可以進(jìn)行對應(yīng)數(shù)據(jù)類型的操作

Callable[[Arg1Type, Arg2Type], ReturnType]

#!/usr/bin/env python
# -*- coding: UTF-8 -*-
# @author: A.L.Kun
# @file : test.py
# @time : 2022/5/13 16:54
from collections.abc import Callable ?# 注意要使用Concatenate和ParamSpec就必須使用這個模塊里面的Callable
from threading import Lock
from typing import TypeVar
from pip._vendor.typing_extensions import Concatenate, ParamSpec ?# 導(dǎo)入typing的擴(kuò)展

P = ParamSpec('P') ?# 里面有args和kwargs參數(shù)
R = TypeVar('R') ?# 自定義數(shù)據(jù)類型

my_lock = Lock() ?# 創(chuàng)建一個互斥鎖


def with_lock(f: Callable[Concatenate[Lock, P], R]) -> Callable[P, R]:
? ? '''一個提供互斥鎖，使得線程安全的裝飾器'''
? ? def inner(*args: P.args, **kwargs: P.kwargs) -> R:
? ? ? ? return f(my_lock, *args, **kwargs)
? ? return inner


@with_lock
def sum_threadsafe(lock: Lock, numbers: list[float]) -> float:
? ? '''Add a list of numbers together in a thread-safe manner.'''
? ? with lock:
? ? ? ? return sum(numbers)


# We don't need to pass in the lock ourselves thanks to the decorator.
print(sum_threadsafe([1.1, 2.2, 3.3]))

from typing import (
    List,  # list的泛型版本。用于注釋返回類型。要注釋參數(shù)，最好使用抽象集合類型，如Sequence或Iterable
    Set,  # set的泛型版本
    Dict  # dict 的泛型版本。對標(biāo)注返回類型比較有用。如果要標(biāo)注參數(shù)的話，使用如 Mapping 的抽象容器類型是更好的選擇
    )

from typing import (
    Mapping,  # 要注釋函數(shù)參數(shù)中的Key-Value類型時，推薦使用的抽象集合類型
    Sequence,  # 要注釋函數(shù)參數(shù)中的序列例如列表類型時，推薦使用的抽象集合類型
    Iterable  # 要注釋函數(shù)參數(shù)中的迭代類型時，推薦使用的抽象集合類型
    )

#!/usr/bin/env python
# -*- coding: UTF-8 -*-
# @author: A.L.Kun
# @file : test.py
# @time : 2022/5/13 16:54
from typing import (
? ? Sequence,
? ? TypeVar ?# 限制多個變量為同一個數(shù)據(jù)類型
)

T = TypeVar('T') ?# Can be anything?
A = TypeVar('A', str, bytes) ?# Must be str or bytes?

def repeat(x: T, n: int) -> Sequence[T]:
? ? """Return a list containing n references to x."""
? ? return [x] * n

def longest(x: A, y: A) -> A:
? ? """Return the longest of two strings."""
? ? return x if len(x) >= len(y) else y

#!/usr/bin/env python
# -*- coding: UTF-8 -*-
# @author: A.L.Kun
# @file : test.py
# @time : 2022/5/13 16:54
from typing import (
? ? Any,
? ? NoReturn, ?# 表示函數(shù)沒有返回值
)

def test(s: Any) -> NoReturn:
? ? s.item() ?# 不會檢測s里面是否有item()屬性

def test_(s: object) -> NoReturn:
? ? s.item() ?# 會檢測s里面是否有item屬性

#!/usr/bin/env python
# -*- coding: UTF-8 -*-
# @author: A.L.Kun
# @file : test.py
# @time : 2022/5/13 16:54
from typing import (
? ? Type,
)


class User:
? ? ...


class BasicUser(User):
? ? ...

# Accepts User, BasicUser, ...

def make_new_user(user_class: Type[User]) -> User:
? ? return user_class()


print(make_new_user(User))

Union[int] == int  # The constructor actually returns int

Union[int, str, int] == Union[int, str]

Union[int, str] == Union[str, int]