TypedDict()和运行时类型检查：确保代码的正确性和可靠性

Python 3.8引入了一种新的数据类型-hinted dictionaries，也称为TypedDicts，以提供在静态类型注释和运行时类型检查之间的桥梁。TypedDicts是字典的子类，它允许在字典的键和值上指定类型注释，并在运行时对这些注释进行类型检查。

TypedDicts提供了一种解决方案，用于在字典中定义和使用键和值的类型，确保代码的正确性和可靠性。我们可以通过定义一个继承自TypedDict的类来创建TypedDict实例，并在类中指定键和值的类型。

下面是一个使用TypedDict的例子，考虑一个表示学生信息的字典，包含学生的姓名和年龄。我们可以创建一个继承自TypedDict的类，并在类中指定键和值的类型注释。

from typing import TypedDict

class Student(TypedDict):

    name: str

    age: int

def print_student_info(student: Student) -> None:

    print(f"Name: {student['name']}")

    print(f"Age: {student['age']}")

student1: Student = {

    'name': 'Alice',

    'age': 18

}

student2: Student = {

    'name': 'Bob',

    'age': '20'  # 错误的类型

}

print_student_info(student1)

print_student_info(student2)

在上面的例子中，我们定义了一个Student类，它继承自TypedDict。在Student类中，我们定义了两个键name和age，并为它们指定了相应的类型注释。然后，我们定义了两个实例student1和student2，它们具有相应的键和值。由于student2的年龄值是一个字符串而不是整数，所以它违反了类型注释的要求。

当我们调用print_student_info函数时，它接受一个Student参数，并尝试打印该学生的姓名和年龄。如果我们使用了一个类型不匹配的学生实例，如student2，那么在运行时会引发类型错误，并且代码不会继续执行。

TypedDicts提供了一种更好地使用字典的方法，可以在键和值的类型上进行静态类型检查，并在运行时确保数据的正确性。这有助于减少由于错误类型的数据导致的bug，并提高代码的可读性和可维护性。

需要注意的是，TypedDicts是在运行时进行类型检查的。在类型检查过程中，键和值的类型注释起到了非常重要的作用。因此，在使用TypedDicts时，确保正确定义类型注释是至关重要的。

总结：TypedDicts是Python3.8中引入的一种数据类型，允许在字典的键和值上指定类型注释，并在运行时对这些注释进行类型检查。通过使用TypedDicts，我们可以在字典中定义和使用键和值的类型，从而确保代码的正确性和可靠性。在定义TypedDicts时，正确的类型注释是非常重要的。