Критическое отличие компиляции дерева выражений в Visual Studio 2015

После перехода на Visual Studio 2015 столкнулся с неприятным и довольно критичным отличием в компиляции одного и того же кода старой версией студии и новой.

Суть его состоит в том, что при генерации дерева выражений Visual Studio 2015 немного по другому генерирует результат, а именно вставляет операнд Convert() для явного приведения типов, которые могут в общем-то приводиться неявно.
Это происходит не всегда, а при определённых условиях. Вот пример такого кода:

public interface IEntity 
{
    string Id { get; set; } 
}

public class Customer : IEntity
{
    public string Id { get; set; }
    public string Name { get; set; }
}

public class MyDbContext : DbContext
{
    public string FindById<TEntity>(string id) where TEntity: class, IEntity
    {
        return DbSet<TEntity>().FirstOrDefault(x => x.Id == "id");
    }
}


VS'13 генерирует дерево выражений для запроса примерно такого вида:

.Lambda #Lambda1<System.Func`2[Sam.DbContext.Customer,System.Boolean]>(Sam.DbContext.Customer $x) {
    $x.Id == "id"
}


VS'15 генерирует дерево выражений немного другое:

.Lambda #Lambda1<System.Func`2[Sam.DbContext.Customer,System.Boolean]>(Sam.DbContext.Customer $x) {
    ((Sam.DbContext.IEntity)$x).Id == "id"
}  


Как мы можем увидеть, вставляется операция явного преобразования объекта в интерфейс. При попытке выполнить такой запрос недра EntityFramework (версия 6.1.3) выдают исключение:

Unable to cast the type 
  'Sam.DbContext.Customer' to type 
  'Sam.DbContext.IEntity'. 
  LINQ to Entities only supports casting EDM primitive or enumeration types.


Копания Гугла по этому вопросу привели на баг-трекер проекта Roslyn где в конце концов всё свелось к тому, что нужно ждать EF7, где эту багу пофиксят (в beta8 вроде как уже пофиксили). Как я понял в Roslyn никто данное поведение менять не будет (баг был зарегистрирован 10 августа — сейчас почти ноябрь и у меня стоит Update 1 CTP).

Что же делать если у вас «старые» проекты на EF6, а хочется работать на VS'15? Кроме того, одним EF дело не ограничивается. Подобную ошибку, я так же получил при работе с C*LINQ (Cassandra).

В качестве костыля пока придумал только убирать дополнительные явные преобразования типов из построенного выражения перед передачей их в запрос:

using System;
using System.Linq.Expressions;
using System.Reflection;

namespace Sam.Extensions.Expressions
{
    /// <summary>
    /// Removes unnessesary Convert() operands (inserted by Roslyn, but not supported by EF).
    /// </summary>
    public class SimplifyExpression : ExpressionVisitor
    {
        /// <summary>
        /// Simplificates the <paramref name="sourceExpression"/>.
        /// </summary>
        /// <param name="sourceExpression">Source expression</param>
        public static Expression Execute(Expression sourceExpression)
        {
            return new SimplifyExpression().Visit(sourceExpression);
        }

        /// <summary>
        /// Creates and simplificates the <paramref name="predicateExpression"/>.
        /// Can be used when building EnituyFramework LINQ.
        /// <example>
        ///     var res = Db.Set{TEntity}().First(SimplifyExpression.Predicate{TEntity}(x => x.Id == id));
        /// </example>
        /// </summary>
        /// <typeparam name="T">Predicate source type.</typeparam>
        /// <param name="predicateExpression">Predicate expression</param>
        public static Expression<Func<T, bool>> Predicate<T>(Expression<Func<T, bool>> predicateExpression)
        {
            return predicateExpression.Simplify();
        }

        protected override Expression VisitUnary(UnaryExpression node)
        {
            // Replace explicit Convert to implicit one. (Except converion to Object).
            if (node.Type != typeof(object) && node.Type.IsAssignableFrom(node.Operand.Type))
                return Visit(node.Operand);
            return base.VisitUnary(node);
        }
    }


Теперь вышеприведенный запрос к EF можно переписать в таком виде:

    return DbSet<TEntity>().FirstOrDefault(SimplifyExpression.Predicate<TEntity>(x => x.Id == "id"));


Может кому и пригодится, а может кто-то посоветует что-то получше.

© Habrahabr.ru