Python中的类型
本文讲解了Python中的类型。
YouTube Video
Python中的类型
typing模块在Python中用于引入类型提示。它最初在Python 3.5引入，用于提升代码的可读性和可维护性。类型提示不会影响代码运行时的行为，但允许使用IDE和静态分析工具进行类型检查。
类型提示基础
类型提示通过明确指定函数和变量的类型来澄清代码的意图。在以下示例中，参数和返回值的类型被明确指定。
1def add_numbers(a: int, b: int) -> int:
2 return a + b
3
4result: int = add_numbers(5, 10)
5print(result) # 15在上述代码中，a和b是整数类型（int），函数的返回值也被明确标注为整数类型。即使有了类型提示，类型也不会被严格强制执行，但如果有类型不匹配的情况，开发过程中可能会显示警告提示。
关键类型提示
Python中的typing模块提供了各种类和函数来定义类型提示。以下是常见类型提示的列表。
int：整数str：字符串float：浮点数bool：布尔值List：列表Dict：字典Tuple：元组Set：集合
List类型
列表类型使用 List 类来指定。您也可以显式指定列表中元素的类型。
1from typing import List
2
3def sum_list(numbers: List[int]) -> int:
4 return sum(numbers)
5
6print(sum_list([1, 2, 3])) # 6在此示例中，列表中的所有元素都应为 int 类型。
Dict 类型
字典类型使用 Dict 来定义。键和值的类型可以指定。
1from typing import Dict
2
3def get_student_age(students: Dict[str, int], name: str) -> int:
4 return students.get(name, 0)
5
6students = {"Alice": 23, "Bob": 19}
7print(get_student_age(students, "Alice")) # 23在此示例中，字典使用 str 作为键的类型，int 作为值的类型。
Tuple 类型
元组使用 Tuple 类型来指定。您可以单独指定元组中每个元素的类型。
1from typing import Tuple
2
3def get_person() -> Tuple[str, int]:
4 return "Alice", 30
5
6name, age = get_person()
7print(name, age) # Alice 30这里展示了 get_person 函数返回一个包含字符串和整数的元组。
Union 类型
Union 类型用于显式指明可以接受多种类型。
1from typing import Union
2
3def process_value(value: Union[int, float]) -> float:
4 return value * 2.0
5
6print(process_value(10)) # 20.0
7print(process_value(3.5)) # 7.0在此示例中，process_value 函数接受 int 或 float 类型的参数，并返回 float 类型的结果。
Optional 类型
Optional 类型用于变量可能为 None 的情况。它作为 Union[Type, None] 的简写提供。
1from typing import Optional
2
3def greet(name: Optional[str] = None) -> str:
4 if name is None:
5 return "Hello, Guest!"
6 return f"Hello, {name}!"
7
8print(greet()) # Hello, Guest!
9print(greet("Alice")) # Hello, Alice!这里展示了当未指定 name 时，将其视为 None。
泛型类型
泛型类型是一种抽象方式，用于表示数据结构包含的元素类型。在 typing 模块中，您可以使用 TypeVar 定义泛型类型。
1from typing import TypeVar, List
2
3T = TypeVar('T')
4
5def get_first_element(elements: List[T]) -> T:
6 return elements[0]
7
8print(get_first_element([1, 2, 3])) # 1
9print(get_first_element(["a", "b", "c"])) # a在此示例中，get_first_element 是一个返回列表第一个元素的函数，它适用于任何类型的列表。
类型别名
类型别名是一种通过为复杂的类型定义指定清晰名称来简化的方式。
1from typing import List, Tuple
2
3Coordinates = List[Tuple[int, int]]
4
5def get_coordinates() -> Coordinates:
6 return [(0, 0), (1, 1), (2, 2)]
7
8print(get_coordinates()) # [(0, 0), (1, 1), (2, 2)]在此示例中，定义了类型别名 Coordinates，以简单地表示包含元组的列表类型。
总结
在 Python 中，typing 模块对于提高代码的可读性和可维护性非常有用。通过正确使用类型提示，可以帮助防止类型不匹配和错误，特别是在大型项目或团队开发中。类型仅仅是开发中的支持工具，不会影响运行时的行为，从而保持代码的灵活性。
您可以在我们的YouTube频道上使用Visual Studio Code跟随上述文章进行学习。 请也查看我们的YouTube频道。