Python 什么时候检查 ABC 的具体子类是否实现了所需的方法

Python 在运行时检查抽象基类（Abstract Base Class，简称 ABC）的具体子类是否实现了所需的方法。ABC 是一种用来定义接口的工具，它允许我们定义一个类，其中包含一些方法的签名，但是这些方法的具体实现是由其子类提供的。在 Python 中，ABC 是通过 `abc` 模块来实现的。当我们定义一个 ABC 并将其用作其他类的基类时，Python 会在实例化子类对象时检查子类是否实现了 ABC 中定义的所有抽象方法。

python
from abc import ABC, abstractmethod
class Shape(ABC):
    @abstractmethod
    def area(self):
        pass
    
    @abstractmethod
    def perimeter(self):
        pass
class Rectangle(Shape):
    def __init__(self, width, height):
        self.width = width
        self.height = height
    def area(self):
        return self.width * self.height
    def perimeter(self):
        return 2 * (self.width + self.height)
class Circle(Shape):
    def __init__(self, radius):
        self.radius = radius
    def area(self):
        return 3.14 * self.radius ** 2
    def perimeter(self):
        return 2 * 3.14 * self.radius
class Triangle(Shape):
    def __init__(self, base, height):
        self.base = base
        self.height = height
    def area(self):
        return 0.5 * self.base * self.height
    def perimeter(self):
        return self.base + self.height + (self.base ** 2 + self.height ** 2) ** 0.5
# 创建图形对象并调用方法
rectangle = Rectangle(5, 10)
print(rectangle.area())  # 输出: 50
print(rectangle.perimeter())  # 输出: 30
circle = Circle(5)
print(circle.area())  # 输出: 78.5
print(circle.perimeter())  # 输出: 31.4
triangle = Triangle(3, 4)
print(triangle.area())  # 输出: 6.0
print(triangle.perimeter())  # 输出: 12.0