Использование ковариантного возвращаемого типа для виртуальной функции и для всех её переопределённых версий означает, что вы можете заменить исходный возвращаемый тип на более узкий, другими словами,