Обсуждение:Ковариантность и контравариантность (программирование)
Эта статья тематически связана с вики-проектом «Информационные технологии», цель которого — создание и улучшение статей по темам, связанным с информационными технологиями. Вы можете её отредактировать, а также присоединиться к проекту, принять участие в его обсуждении и поработать над требуемыми статьями. |
Delphi[править код]
Раздел про Дельфи не помешал бы--Nashev 08:09, 27 февраля 2016 (UTC)
Производные типы и составные типы[править код]
Определение из начала статьи:
> Ковариа́нтность и контравариа́нтность в программировании — способы переноса наследования типов на производные от них типы — контейнеры, обобщённые типы, делегаты и т. п.
Корректно ли утверждать, что перенос происходит на "производные типы"? Например, если есть тип "T", то составной тип "список<T> " не является производным от T. Список не наследует T, он использует T, становясь составным (complex, compound) типом.
Кажется, что следует заменить на "...способы переноса наследования типов на составные типы, использующие их, — контейнеры, обобщённые типы, делегаты и т. п. " Krnl0138 (обс.) 22:55, 29 марта 2024 (UTC)