当方法没有被重写时，为什么要使用“协变”？

当方法没有被重写时，使用"协变"的原因是为了实现方法的返回值类型的灵活性和扩展性。协变是指在派生类中的方法重写时，可以将返回值的类型设定为基类中对应方法返回值的子类。通过使用协变，我们可以在基类中定义一个通用的方法，并在派生类中根据具体需求返回更具体的子类类型。

使用协变的好处包括：

1. 灵活性：使用协变可以在派生类中返回更具体的子类类型，从而使得方法的返回值更灵活。这样，在调用该方法时，可以根据实际需要接收更具体的子类对象，而不需要进行强制类型转换。
2. 扩展性：通过协变，可以在不影响基类的情况下，在派生类中扩展方法的返回值类型。这样，在基类已经编写好并广泛使用的情况下，可以通过派生类来增加更多的返回值类型，以满足更多的应用场景。

应用场景：

协变广泛应用于对象的多态性，特别在面向对象的编程中常见。它可以提高代码的可维护性和可扩展性，尤其在需要处理多个相关类型的情况下，通过协变可以减少重复的代码，并且提供更灵活的接口。

举例来说，假设我们有一个基类Animal，其中定义了一个方法GetSound()，返回一个声音的对象，然后有派生类Cat和Dog，它们分别重写了GetSound()方法，返回具体的CatSound和DogSound对象。如果我们在基类Animal的方法声明中使用了协变，那么在调用GetSound()方法时，可以根据具体的派生类来获取对应的声音对象，而无需进行类型转换。

腾讯云相关产品：

对于云计算领域，腾讯云提供了一系列的产品和服务，以下是一些推荐的产品和产品介绍链接地址，可以根据具体需求选择适合的产品：

1. 云服务器 CVM：提供高性能、安全可靠的云服务器实例，满足各类业务场景的需求。链接：https://cloud.tencent.com/product/cvm
2. 云数据库 MySQL：基于腾讯云的高性能、可扩展的关系型数据库，适用于各类在线应用场景。链接：https://cloud.tencent.com/product/cdb_mysql
3. 腾讯云容器服务 TKE：基于 Kubernetes 的高性能容器管理服务，提供一站式的容器部署、管理和运维能力。链接：https://cloud.tencent.com/product/tke
4. 腾讯云人工智能 AI：腾讯云提供多种人工智能服务，包括自然语言处理、图像识别、智能语音等，满足不同场景下的需求。链接：https://cloud.tencent.com/product/ai

以上是腾讯云的一些相关产品和服务，可以根据具体需求进一步了解和选择合适的产品。