スコープ ''から参照されたタイプ 'SubType'の変数 'x.Sub'ですが、定義されていませんエラー

このフィドルでエラーを確認してください。 https://dotnetfiddle.net/tlz4Qg

私はこのような2つのクラスを持っています：

public class ParentType{
    private ParentType(){}

    public int Id { get; protected set; }
    public SubType Sub { get; protected set; }
}

public class SubType{
    private SubType(){}

    public int Id { get; protected set; }
}

マルチレベルの匿名式をマルチレベルの非匿名式に変換します。これを実現するために、次のような表現があります。

x => new
{
   x.Id,
   Sub = new
   {
      x.Sub.Id
   }
}

その目標を達成するために、私はそれを次のような表現に変換しました。

x => new ParentType()
{
   Id = x.Id,
   Sub = new SubType()
   {
      Id = x.Sub.Id
   },
 }

しかし、Compile()メソッドを呼び出すと、次のエラーが発生します。

スコープ ''から参照されるタイプ 'SubType'の変数 'x.Sub'ですが、定義されていません

これが私のビジタークラスです：

public class ReturnTypeVisitor<TIn, TOut> : ExpressionVisitor
{
    private readonly Type funcToReplace;
    private ParameterExpression currentParameter;
    private ParameterExpression defaultParameter;
    private Type currentType;

    public ReturnTypeVisitor() => funcToReplace = typeof(Func<,>).MakeGenericType(typeof(TIn), typeof(object));

    protected override Expression VisitNew(NewExpression node)
    {
        if (!node.Type.IsAnonymousType())
            return base.VisitNew(node);

        if (currentType == null)
            currentType = typeof(TOut);

        var ctor = currentType.GetPrivateConstructor();
        if (ctor == null)
            return base.VisitNew(node);

        NewExpression expr = Expression.New(ctor);
        IEnumerable<MemberBinding> bindings = node.Members.Select(x =>
        {
            var mi = currentType.GetProperty(x.Name);

 //if the type is anonymous then I need to transform its body
                if (((PropertyInfo)x).PropertyType.IsAnonymousType())
                {
 //This section is became unnecessary complex!
 //
                    var property = (PropertyInfo)x;

                    var parentType = currentType;
                    var parentParameter = currentParameter;

                    currentType = currentType.GetProperty(property.Name).PropertyType;

                    currentParameter = Expression.Parameter(currentType, currentParameter.Name + "." + property.Name);

 //I pass the inner anonymous expression to VisitNew and make the non-anonymous expression from it
                    var xOriginal = VisitNew(node.Arguments.FirstOrDefault(a => a.Type == property.PropertyType) as NewExpression);

                    currentType = parentType;
                    currentParameter = parentParameter;

                    return (MemberBinding)Expression.Bind(mi, xOriginal);
                }
                else//if type is not anonymous then simple find the property and make the memberbinding
                {
                    var xOriginal = Expression.PropertyOrField(currentParameter, x.Name);
                    return (MemberBinding)Expression.Bind(mi, xOriginal);
                }
        });

        return Expression.MemberInit(expr, bindings);
    }

    protected override Expression VisitLambda<T>(Expression<T> node)
    {
        if (typeof(T) != funcToReplace)
            return base.VisitLambda(node);

        defaultParameter = node.Parameters.First();

        currentParameter = defaultParameter;
        var body = Visit(node.Body);

        return Expression.Lambda<Func<TIn, TOut>>(body, currentParameter);
    }
}

そして、次のように使用します。

public static Expression<Func<Tin, Tout>> Transform<Tin, Tout>(this Expression<Func<Tin, object>> source)
    {
        var visitor = new ReturnTypeVisitor<Tin, Tout>();
        var result = (Expression<Func<Tin, Tout>>)visitor.Visit(source);
        return result;// result.Compile() throw the aforementioned error
    }

これが私のVisitorクラス内で使用される拡張メソッドです：

public static ConstructorInfo GetPrivateConstructor(this Type type) =>
            type.GetConstructor(BindingFlags.Instance | BindingFlags.Public | BindingFlags.NonPublic, null, Type.EmptyTypes, null);

// this hack taken from https://stackoverflow.com/a/2483054/4685428
// and https://stackoverflow.com/a/1650895/4685428
public static bool IsAnonymousType(this Type type)
{
 var markedWithAttribute = type.GetCustomAttributes(typeof(CompilerGeneratedAttribute), inherit: false).Any();
 var typeName = type.Name;

 return markedWithAttribute
               && (typeName.StartsWith("<>") || type.Name.StartsWith("VB$"))
               && typeName.Contains("AnonymousType");
}

更新

この問題の.NetFiddleリンクは次のとおりです。 https://dotnetfiddle.net/tlz4Qg

更新

問題の範囲外と思われる余分なコードを削除しました。

問題の問題の原因はラインです

currentParameter = Expression.Parameter(currentType, currentParameter.Name + "." + property.Name);

内部VisitNewメソッド。

サンプルでは、​​「x.Sub」という新しいパラメーターが作成されるため、パラメーターに。を付けると{}、実際の結果は次のようになります。

Sub = new SubType()
{
    Id = {x.Sub}.Id
}, 

予想よりも

Sub = new SubType()
{
    Id = {x}.Sub.Id
},

一般に、ParameterExpressionラムダ式を再マッピングする場合を除いて、新しいを作成しないでください。また、新しく作成されたすべてのパラメーターをExpression.Lambda呼び出しに渡す必要があります。そうしないと、「未定義」と見なされます。

また、ビジターコードには、一般的に当てはまらないいくつかの仮定があることに注意してください。例えば

var xOriginal = Expression.PropertyOrField(currentParameter, x.Name);

ネストされた内部では動作しませんnewあなたがのメンバーへのアクセスが必要なので、xのようなパラメータx.Sub.Idではなくをx.Id。これは基本的にからの相関表現ですNewExpression.Arguments。

ネストされたラムダ式またはコレクション型メンバーとLINQメソッドを式ビジターで処理するには、さらに多くの状態制御が必要です。newサンプルのように単純なネストされた匿名式を変換する場合、次のExpressionVisitorような単純な再帰メソッドで簡単に実現できるため、は必要ありません。

public static Expression<Func<Tin, Tout>> Transform<Tin, Tout>(this Expression<Func<Tin, object>> source)
{
    return Expression.Lambda<Func<Tin, Tout>>(
        Transform(source.Body, typeof(Tout)),
        source.Parameters);
}

static Expression Transform(Expression source, Type type)
{
    if (source.Type != type && source is NewExpression newExpr && newExpr.Members.Count > 0)
    {
        return Expression.MemberInit(Expression.New(type), newExpr.Members
            .Select(m => type.GetProperty(m.Name))
            .Zip(newExpr.Arguments, (m, e) => Expression.Bind(m, Transform(e, m.PropertyType))));
    }
    return source;
}