重写方法的类型提示传播

Question

是否可以将类型提示传播到重写方法？

比方说，我有以下课程：

class Student:
    def study():
        pass

class Option:
    self.option_value

class BaseChoice:
   def make_choice(self, student, options):
        """
        :type student: Student
        :type options: list[Option]
        """

class RationalChoice(BaseChoice):
   def make_choice(self, student, options):
        pass

当我在理性选择中时。make_choicepycharm不建议对选项属性/方法进行自动完成，但它为学生选择了正确的提示。显而易见的解决方法是只复制docstring，但我将有几十个不同的BaseChoice子体，因此这并不实用。

我正在使用PyCharm 3.1。1、社区版和专业版都会受到影响。

它是python本身完全缺少的东西，还是仅仅在PyCharm中？

Answer 1

PyCharm在重写方法时不查看超类类型提示。我不知道这是一个错误还是一个特性，尽管我倾向于后者：Python不需要重写方法具有与它们重写的方法相同的签名或接受相同的类型。换句话说，BaseChoice上的类型提示对RationalChoice不自动有效。

PyCharm所做的，似乎让你困惑的是，快速猜测并决定学生将是一个名为学生的参数的合理类。没有类Options，因此启发式失败。

因此，如果您真的非常想要类型提示，那么除了在您想要的任何地方指定它们之外，实在没有其他选择。

如果您使用的是Python 3，则可以尝试新的in-language类型提示（annotation）语法：

class RationalChoice(BaseChoice):
    def make_choice(self, student: Student, options: list):
        return