Как ковариантные типы возвращаемых данных помогают избежать приведения типов в иерархии классов?

Ковариантные типы возвращаемых данных помогают избежать приведения типов в иерархии классов следующим образом: позволяют переопределять метод и объявлять более производный тип возвращаемого значения, чем у переопределённого метода. learn.microsoft.com

При этом в более производных типах нужно предоставлять тип возврата, который по крайней мере так же специфичен, как и у переопределений в базовых типах. learn.microsoft.com Вызывающие метод или свойство статически получают более точный тип возвращаемого значения при вызове. learn.microsoft.com

Таким образом, ковариантность позволяет избежать опускания и динамического контроля типов, так как вызывающий код не может предоставить объект менее определённого типа, чем ожидает код приёма. learntutorials.net

Например, в C++ ковариантная поддержка помогает гарантировать правильный динамический тип объекта благодаря статической проверке типа. learntutorials.net