IQueryable convertions

Question

Почему возможно преобразование в строку «ОК», а не в строке «НЕ ОК»?

var queryable = new int[]{1, 2, 3}.AsQueryable(); 

var x = (Expression<Func<IQueryable<int>>>)(() => (from c in queryable select c)); 

var yy = (Expression<Func<IEnumerable<int>>>)x; // NOT OK (does not compile) 
var zz = (Expression<Func<IEnumerable<int>>>)(() => (from c in queryable select c)); // OK 

Update: Сообщение об ошибке:

Не удается преобразовать тип System.Linq.Expressions.Expression<System.Func<System.Linq.IQueryable<int>>> в 'System.Linq.Expressions.Expression<System.Func<System.Collections.Generic.IEnumerable<int>>>'

Answer 1

Потому что Expression является классом и IEnumerable является интерфейсом. А классы не ковариантны, а интерфейсы и делегаты.

Это означает, что вы не можете преобразовать Expression<A> в Expression<B>, даже если B является базовым классом А.

Так что, если эта линия:

() => (from c in queryable select c) 

возвращает

Func<IQueryable<int>> 

он может быть преобразован в

Func<IEnumerable<int>> 

, но если у вас уже есть

Expression<Func<IQueryable<int>>> 

он не может быть преобразован в

Expression<Func<IEnumerable<int>>> 

Answer 2

Expression<T> класс и, следовательно, не ковариантны.

Вы можете сделать следующее:

Func<IQueryable<int>> qf =() => queryable.Select(c => c); 
Func<IEnumerable<int>> ef = qf; 

Однако, поскольку классы не КОВАРИАНТНОЙ в C#, вы не можете назначить Expression<T> к Expression<U>, даже если вы можете назначить экземпляр T для U;