Python 3.5 是一种动态类型的编程语言，它允许开发者在代码中使用类型提示来提供变量的类型信息。这种类型提示可以帮助开发者在编码过程中发现潜在的错误，并提高代码的可读性和可维护性。在Python 3.5中，类型提示的功能得到了进一步增强，其中之一就是支持协变返回类型。
协变返回类型指的是子类方法的返回类型可以是父类方法返回类型的子类。换句话说，如果一个父类的方法返回类型为A，那么在子类中重写这个方法时，返回类型可以是A的子类。这种协变返回类型的支持可以使得代码更加灵活，并且能够更好地满足不同的需求。在Python 3.5之前的版本中，类型提示虽然可以用于函数参数的类型注解，但是对于返回类型的注解是不被支持的。这意味着开发者无法通过类型提示来明确指定函数的返回类型。然而，在Python 3.5中，引入了新的语法来支持函数的返回类型注解。通过在函数定义的冒号后面加上一个箭头符号（->），可以指定函数的返回类型。让我们来看一个例子，假设我们有一个父类Animal和一个子类Dog，它们分别有一个方法speak，返回值分别为Animal和Dog。在Python 3.5之前的版本中，我们无法通过类型提示来指定返回类型，而在Python 3.5中，我们可以使用协变返回类型来实现这一点。pythonclass Animal: def speak(self) -> Animal: return selfclass Dog(Animal): def speak(self) -> Dog: return self在这个例子中，父类Animal的speak方法返回类型被指定为Animal，而子类Dog的speak方法返回类型被指定为Dog。这样一来，我们就可以在代码中使用类型提示来明确指定这两个方法的返回类型。协变返回类型的好处协变返回类型的引入为我们编写更加灵活的代码提供了便利。通过使用协变返回类型，我们可以在父类和子类之间建立更加紧密的联系，使得代码更加易于理解和维护。例如，在上面的例子中，如果我们有一个函数接收一个Animal的实例，我们可以根据返回类型的注解来判断返回值的类型。这样一来，我们就可以在调用函数之后，直接使用返回值的方法，而不需要再进行类型检查或者转换。
pythondef make_animal_speak(animal: Animal) -> None: animal.speak().speak().speak()dog = Dog()make_animal_speak(dog)在这个例子中，我们定义了一个函数make_animal_speak，它接收一个Animal的实例，并调用其speak方法三次。由于返回类型的注解指定了返回值为Animal类型，我们可以直接使用返回值的方法，而不需要进行类型检查或者转换。协变返回类型的引入，使得我们可以更加方便地进行代码的重构和扩展。当我们需要在子类中对父类的方法进行重写时，可以根据实际情况来指定更具体的返回类型，而不需要改变父类的返回类型。这样一来，我们的代码就可以更好地适应需求的变化，而不需要对现有代码进行大规模的修改。Python 3.5的类型提示功能支持协变返回类型，这使得代码更加灵活，并且能够更好地满足不同的需求。通过使用协变返回类型，我们可以在父类和子类之间建立更加紧密的联系，使得代码更加易于理解和维护。协变返回类型的引入为我们编写更加灵活的代码提供了便利，使得我们可以更加方便地进行代码的重构和扩展。参考代码
pythonclass Animal: def speak(self) -> Animal: return selfclass Dog(Animal): def speak(self) -> Dog: return selfdef make_animal_speak(animal: Animal) -> None: animal.speak().speak().speak()dog = Dog()make_animal_speak(dog)在这个例子中，我们定义了一个父类Animal和一个子类Dog，并且在每个类中都实现了一个speak方法。父类Animal的speak方法的返回类型被指定为Animal，而子类Dog的speak方法的返回类型被指定为Dog。我们还定义了一个函数make_animal_speak，它接收一个Animal的实例，并调用其speak方法三次。最后，我们创建了一个Dog的实例，并将其作为参数传递给make_animal_speak函数进行调用。