python库的导入

在Python中，导入库（模块）的基本语法如下：

import library_name

其中 library_name 是你想导入的库的名字。

例如，如果你想导入名为 math 的库，你可以这样写：

import math

然后你就可以使用 math 库中的函数了，比如 math.sqrt() 来计算平方根。

如果你只需要导入库的一部分功能，你也可以使用以下方式：

from library_name import function_name

例如，如果你只需要从 math 库中导入 sqrt 函数，你可以这样写：

from math import sqrt

然后你就可以直接使用 sqrt 函数了，无需通过库名调用。

在导入模块时，如果模块名称中包含下划线，Python解释器会把下划线后面的部分视为模块的属性或方法。例如，如果你有一个模块名为 my_module.py，并且在该模块中定义了一个函数 my_function，那么你可以像这样导入和使用它：

from my_module import my_function  
result = my_function()  # 使用模块中的函数

其它导入方式：

from typing import (
    Literal as L,
    Any,
    Callable,
    Iterable,
    Optional,
    overload,
    TypeVar,
    List,
    Type,
    Union,
    Sequence,
    Tuple,
    SupportsIndex,
    final,
    Final,
    Protocol,
)

这段代码导入了Python标准库 typing 中的一些常用的类型注解。以下是各个类型注解的简要介绍：

Literal: 用于表示某个常量值，例如：L(10)，L('hello')等。

Any: 表示任何类型的对象。

Callable: 表示可调用的对象，例如函数或具有 __call__ 方法的对象。

Iterable: 表示可迭代对象，如列表、元组等。

Optional: 表示一个可选的值，即该值可能是 None 或其他类型。

overload: 装饰器，用于在Python中实现函数重载。

TypeVar: 表示一个泛型类型变量，可用于定义泛型函数或类。 List, Tuple, Sequence: 分别表示列表、元组和序列类型。

Type: 表示一个类型对象，例如 type(int) 返回 。

Union: 表示联合类型，例如 Union[int, str] 表示可以是整数或字符串。

SupportsIndex: 表示支持索引操作的对象，例如列表和字符串。

final: 表示修饰的方法不能被子类重写。

Final: 表示修饰的类属性不能被子类修改。

Protocol: 定义了一个协议类型，用于约束实现该协议的类需要包含哪些方法。 这些类型注解通常用于函数签名、类属性等处，以增加代码可读性和可维护性，但请注意它们并不强制执行类型检查，Python仍然是一门动态类型的编程语言。