V
Size: a a a
2021 April 12
V
🤷♂
Dv
Array — не IList, а вот тот же int[] — запросто.Dv
У него типа есть
Add. Просто бросается исключением :)V
Array - IList, но не IList<>
Dv
Ну ок, да, это верно.
V
И не-до-IList из-за вот этого
Dv
Но вот
int[] — самый настоящий IList<int>.Dv
Ну ок, если тебя такая реализация не устраивает, то сорямба.
V
A[] l = new B[1];
Тоже работает, только элементы добавлять нельзя
Тоже работает, только элементы добавлять нельзя
V
Ок, не знал. Меня так-то всё устраивает. Меня удивило только то, что IList<T> определен не как IList<out T> (возвращаясь к первому сообщению).
V
А вот тут явно какое-то IL колдунство.
Dv
Потому что такой нотации вообще не существует в языке. Это синтаксически невозможно.
Вариантность указывается в объявлении интерфейса (а не при его реализации), и она обязательно посмотрит, в каких позициях используется аргумент.
Вариантность указывается в объявлении интерфейса (а не при его реализации), и она обязательно посмотрит, в каких позициях используется аргумент.
V
Определён -> объявлен
Dv
Интересующий тебя интерфейс объявлен вот тут, и, как видишь, никакой вариантности у него там не указано.
Dv
Интересно, что это за атрибут
DynamicDependency там написан у индексатора.Dv
Судя по коммиту, это что-то, нужное для ILLink. Ну ок.
A
Можно накостылить
public class SupertypeList<TIn, TOut> : SupertypeEnumerable<TIn, TOut>, IList<TOut> where TIn : TOut
public class SupertypeList<TIn, TOut> : SupertypeEnumerable<TIn, TOut>, IList<TOut> where TIn : TOut
V
_мог бы быть_
А так, не доставайся никому. Мысль я уловил.
https://docs.microsoft.com/en-us/dotnet/csharp/programming-guide/concepts/covariance-contravariance/variance-in-generic-interfaces
А так, не доставайся никому. Мысль я уловил.
https://docs.microsoft.com/en-us/dotnet/csharp/programming-guide/concepts/covariance-contravariance/variance-in-generic-interfaces
V
Как там Mono поживает?