为什么排序在Python类型提示中很重要？

为什么这样可以

class Ship:

    def __init__(self, parent):
        self.parent = parent

class Fleet:

    def __init__(self):
        self.ships = []

    def add_ship(self, ship: Ship):
        self.ships.append(ship)

但这不是吗？

class Fleet:

    def __init__(self):
        self.ships = []

    def add_ship(self, ship: Ship):
        self.ships.append(ship)

class Ship:

    def __init__(self, parent):
        self.parent = parent

我知道您在导入时不能有循环引用。但是，这不是重要的事情：它们都在同一个文件中。在这两种情况下，都对Ship进行了定义，但似乎好像先定义了Fleet一样，它找不到Ship的定义。如果我以前检查过类型，那是不对isinstance的。

def add_ship(self, ship):
    if isinstance(ship, Ship): # works fine
        self.ships.append(ship)

但是，这不允许我的IDE（PyCharm）查看定义和自动完成语法。

实际上，以下设计模式似乎可以正常工作

class Fleet:

    def __init__(self):
        self.ships = []

    def add_ship(self, ship):
        if isinstance(ship, Ship):
            self.ships.append(ship)

class Ship:

    def __init__(self, parent):
        if isinstance(parent, Fleet):
            self.parent = parent

但是，同样，不允许我的IDE找出类型。这是Python 3.6.5 / Anaconda / Windows 10。