Наследование

@cybersport12 · Регистрация: 02.05.2014

Студворк — интернет-сервис помощи студентам

Здравствуйте. Дано:

C#
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
public interface ICounterTransformerBaseElements:IDatesElements,ICommonElements
{
}
 
 
public interface ICounterData : ICounterTransformerBaseElements, ICounterPrivateElements,INavigationElements { }
 
public interface ITransformerData : ICounterTransformerBaseElements, ITransformerPrivateElements, INavigationElements { }
 
public interface IDeviceData<T>:IDeviceElements
{
    IItemNode ParentNode { get; set; }
    T Data { get; set; }
}
 
public interface IDeviceCounterTransformer<T>:IDeviceData<T>
    where T : ICounterTransformerBaseElements
 { }
 
public interface IDeviceCounter : IDeviceCounterTransformer<ICounterData> { }
 
public interface IDeviceTransformer : IDeviceCounterTransformer<ITransformerData> { }
 
public class DeviceCounter:IDeviceCounter
{
    //impl
}

Объясните, почему следующее некорректно:

C#
1
IDeviceCounterTransformer<ICounterTransformerBaseElements> d = new DeviceCounter();

@kolorotur · 17.01.2017, 14:59

Сообщение от cybersport12

почему следующее некорректно

Потому что такая конструкция нарушает безопасность типов.
Если вам нужна ковариантность интерфейсов, то надо в IDeviceCounterTransformer обозначить тип-параметр модификатором out:

C#
1
2
3
public interface IDeviceCounterTransformer<out T>:IDeviceData<T>
    where T : ICounterTransformerBaseElements
 { }

Соответственно, интерфейс IDeviceData тоже должен быть обозначен как ковариантный в параметре Т:

C#
1
2
3
4
5
public interface IDeviceData<out T>:IDeviceElements
{
    IItemNode ParentNode { get; set; }
    T Data { get; }
}

Ну а поскольку он обозначен как ковариантный, любое свойство или параметр типа Т должны быть доступны только "на выход": в геттерах и в возвращаемых типах методов, но не в сеттерах и не в параметрах методов.

Новые блоги и статьи Все статьи Все блоги /
Модель микоризы: классовый агентный подход 3 anaschu 06.01.2026 aa0a7f55b50dd51c5ec569d2d10c54f6/ O1rJuneU_ls https:/ / vkvideo. ru/ video-115721503_456239114	Owen Logic: О недопустимости использования связки «аналоговый ПИД» + RegKZR ФедосеевПавел 06.01.2026 Owen Logic: О недопустимости использования связки «аналоговый ПИД» + RegKZR ВВЕДЕНИЕ Введу сокращения: аналоговый ПИД — ПИД регулятор с управляющим выходом в виде числа в диапазоне от 0% до. . .	Модель микоризы: классовый агентный подход 2 anaschu 06.01.2026 репозиторий https:/ / github. com/ shumilovas/ fungi ветка по-частям. коммит Create переделка под биомассу. txt вход sc, но sm считается внутри мицелия. кстати, обьем тоже должен там считаться. . . .	Расчёт токов в цепи постоянного тока igorrr37 05.01.2026 / * Дана цепь постоянного тока с сопротивлениями и напряжениями. Надо найти токи в ветвях. Программа составляет систему уравнений по 1 и 2 законам Кирхгофа и решает её. Последовательность действий:. . .
Новый CodeBlocs. Версия 25.03 palva 04.01.2026 Оказывается, недавно вышла новая версия CodeBlocks за номером 25. 03. Когда-то давно я возился с только что вышедшей тогда версией 20. 03. С тех пор я давно снёс всё с компьютера и забыл. Теперь. . .	Модель микоризы: классовый агентный подход anaschu 02.01.2026 Раньше это было два гриба и бактерия. Теперь три гриба, растение. И на уровне агентов добавится между грибами или бактериями взаимодействий. До того я пробовал подход через многомерные массивы,. . .	Советы по крайней бережливости. Внимание, это ОЧЕНЬ длинный пост. Programma_Boinc 28.12.2025 Советы по крайней бережливости. Внимание, это ОЧЕНЬ длинный пост. Налог на собак: https:/ / ********/ gallery/ V06K53e Финансовый отчет в Excel: https:/ / ********/ gallery/ bKBkQFf Пост отсюда. . .	Кто-нибудь знает, где можно бесплатно получить настольный компьютер или ноутбук? США. Programma_Boinc 26.12.2025 Нашел на реддите интересную статью под названием Anyone know where to get a free Desktop or Laptop? Ниже её машинный перевод. После долгих разбирательств я наконец-то вернула себе. . .