Generics. Выдает ошибку в компиляторе, хотя, вроде как, её не должно быть

@Radaman · Регистрация: 10.11.2019

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

Если указан where, то конкретизируется ведь объект, однако все равно выдает ошибку
P.S. Cast - не решение (да и не механизм объекта не работает после)
P.SS. Если generic вписать в SomeAbstract - все работает. Однако такое решение не подходит, так как SomeAbstract используется в VM

XML
1
x:DataType

(Не указать T по итогу)

C#
1
2
3
4
5
public abstract class SomeAbstract
{
public SomeAbstract(Observable<IChangeSet<IMyInterface>> observableItems)
{ }
}

C#
1
2
3
4
5
6
7
8
9
10
public class SomeClass<T> : SomeAbstract
where T : IMyInterface
{
 
public SomeClass(
IObservable<IChangeSet<T>> observable)
 
: base(observable)
{ }
}

Argument 1: cannot convert from 'System.IObservable<DynamicData.IChangeS et<T>>' to 'System.IObservable<DynamicData.IChangeS et<VM.IMyInterface>>'

@kolorotur · 19.12.2024, 13:19

Интерфейс IChangeSet<T> — инвариантный, следовательно если имеется тип B, наследующийся от А (или реализующий интерфейс А), то ссылку на IChangeSet<B> нельзя привести к IChangeSet<A>.
Сделано это специально чтобы через ссылку на базовый тип нельзя было в загон к овцам посадить волка только потому, что оба реализуют IAnimal.

@golosalex · 19.12.2024, 14:19

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

Интерфейс IChangeSet<T> — инвариантный, следовательно если имеется тип B, наследующийся от А (или реализующий интерфейс А), то ссылку на IChangeSet<B> нельзя привести к IChangeSet<A>.
Сделано это специально чтобы через ссылку на базовый тип нельзя было в загон к овцам посадить волка только потому, что оба реализуют IAnimal.

а тут никак ковариантность и контрвариантность (ключевые слова in out) не задействована?

@kolorotur · 19.12.2024, 14:26

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

а тут никак ковариантность и контрвариантность (ключевые слова in out) не задействована?

IObservable<out T> — ковариантный, но у IChangeSet<T> модификаторов типа нет, что делает его инвариантным.

@golosalex · 20.12.2024, 14:27

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

IObservable<out T> — ковариантный, но у IChangeSet<T> модификаторов типа нет, что делает его инвариантным.

пардон. я когда писал, то думал, что IChangeSet - это какой-то интерфейс, который создается в пользовательском коде. ну и намекнул, что можно использовать in out модификаторы

Новые блоги и статьи Все статьи Все блоги /
Установка Qt Creator для C и C++: ставим среду, CMake и MinGW без фреймворка Qt 8Observer8 05.04.2026 Среду разработки Qt Creator можно установить без фреймворка Qt. Есть отдельный репозиторий для этой среды: https:/ / github. com/ qt-creator/ qt-creator, где можно скачать установщик, на вкладке Releases:. . .	AkelPad-скрипты, структуры, и немного лирики.. testuser2 05.04.2026 Такая программа, как AkelPad существует уже давно, и также давно существуют скрипты под нее. Тем не менее, прога живет, периодически что-то не спеша дополняется, улучшается. Что меня в первую очередь. . .	Отображение реквизитов в документе по условию и контроль их заполнения Maks 04.04.2026 Алгоритм из решения ниже реализован на примере нетипового документа "ПланированиеСпецтехники", разработанного в конфигурации КА2. Данный документ берёт данные из другого нетипового документа. . .	Фото всей Земли с борта корабля Orion миссии Artemis II kumehtar 04.04.2026 Это первое подобное фото сделанное человеком за 50 лет. Снимок называют новым вариантом легендарной фотографии «The Blue Marble» 1972 года, сделанной с борта корабля «Аполлон-17». Новое фото. . .
Вывод диалогового окна перед закрытием, если документ не проведён Maks 04.04.2026 Алгоритм из решения ниже реализован на примере нетипового документа "СписаниеМатериалов", разработанного в конфигурации КА2. Задача: реализовать программный контроль на предмет проведения документа. . .	Программный контроль заполнения реквизитов табличной части документа Maks 02.04.2026 Алгоритм из решения ниже реализован на примере нетипового документа "СписаниеМатериалов", разработанного в конфигурации КА2. Задача: 1. Реализовать контроль заполнения реквизита. . .	wmic не является внутренней или внешней командой Maks 02.04.2026 Решение: DISM / Online / Add-Capability / CapabilityName:WMIC~~~~ Отсюда: https:/ / winitpro. ru/ index. php/ 2025/ 02/ 14/ komanda-wmic-ne-naydena/	Программная установка даты и запрет ее изменения Maks 02.04.2026 Алгоритм из решения ниже реализован на примере нетипового документа "СписаниеМатериалов", разработанного в конфигурации КА2. Задача: при создании документов установить период списания автоматически. . .

@kolorotur 17823 / 12973 / 3382 Регистрация: 17.09.2011 Сообщений: 21,261
	19.12.2024, 13:19
	Интерфейс IChangeSet<T> — инвариантный, следовательно если имеется тип B, наследующийся от А (или реализующий интерфейс А), то ссылку на IChangeSet<B> нельзя привести к IChangeSet<A>. Сделано это специально чтобы через ссылку на базовый тип нельзя было в загон к овцам посадить волка только потому, что оба реализуют IAnimal. 0