故意尝试破坏Python类继承，不明白为什么会这样破坏

Question

我正在探索 Python 类继承的限制，因此我编写了一个小测试来看看我可以摆脱多少问题 - 重新声明属性和重写函数。

class A:
    val : int = 3
    def foo(x: int):
        print(x)

class B(A):
    val : str = 'python'
    def foo(x: str):
        print(x)

a = A()
b = B()
a.foo(5)
b.foo('test')
print(a.val)
print(b.val)

结果的输出令人惊讶。我本以为重新声明属性会出现某种异常，但我得到的是：

Traceback (most recent call last):
  File "c:\Development\Playground\hello.py", line 12, in <module>
    a.foo(5)
TypeError: A.foo() takes 1 positional argument but 2 were given

我不明白它如何解释我为 a.foo(5) 提供两个位置参数。当然我想打破它，但我仍然想理解。

Answer 1

您需要实例方法的 self 参数。

class A:
    val : int = 3
    def foo(self, x: int):
        print(x)

class B(A):
    val : str = 'python'
    def foo(self, x: str):
        print(x)

a = A()
b = B()
a.foo(5)
b.foo('test')
print(a.val)
print(b.val)

输出：

5
test
3
python

Answer 2

现在我知道您不是在寻找修复程序，而是关于解释器在做什么的想法，我可以借此代码的一行：

a.foo（5）

此行只是一条 nice 供美国程序员表达在实例上调用方法（foo）的想法（a）。这是句法糖，我想想到的解释器将文本转换为本文：

a.foo（a，5）

，然后对此进行编译。现在，您可以看到，当您将该代码行与定义的方法进行比较时：def foo（x：int）：解释器将说该方法采用一个位置参数（<代码> x ）但是 you 给它两个：（a，5）

Answer 3

我认为出现错误是因为自动通过了班级的函数，因此产生了错误

class A:
    val : int = 3
    def foo(self, x: int):
        print(x)

class B(A):
    val : str = 'python'
    def foo(self, x: str):
        print(x)