如何将 Expr<'a -> 'b> 转换为 Expression<Func<'a, obj>>

Question

我正在使用带有 .NET 4.5 beta 的 F# 3.0，我正在尝试将 Expr<'a -> 'b> 类型的 F# 引用转换为 LINQ Expression<Func<'a, 'b>>。

我发现了几个可以解决此问题的问题，但这些技术似乎不再起作用，可能是由于 F# 3.0 或 .NET 4.5 的变化。

• Converting F# Quotations into LINQ Expressions
• Expression<Func<T, bool>> from a F# func

在这两种情况下，当我从任一问题的解决方案中运行代码时，以下操作都会引发异常：

mc.Arguments.[0] :?> LambdaExpression

...其中mc 是MethodCallExpression。例外是：

System.InvalidCastException：无法将“System.Linq.Expressions.MethodCallExpressionN”类型的对象转换为“System.Linq.Expressions.LambdaExpression”类型。

不，MethodCallExpressionN 末尾的额外“N”不是拼写错误。有人有建议吗？谢谢。

更新

这是一个完整的复制品。事实证明，这段代码在 <@ fun x -> x + 1 @> 这样的表达式上运行良好。我的问题是，就我而言，我需要将Expr<'a -> 'b> 转换为Expr<'a -> obj>，这样我就不必用box 乱扔我的所有lambda 表达式。我通过将原始表达式拼接到这个表达式中来做到这一点：<@ %exp >> box @>。这会生成一个类型正确的对象，但转换为 Expression<Func<'a, obj>> 的代码不再有效。

module Expr =
    open System
    open System.Linq.Expressions
    open Microsoft.FSharp.Quotations
    open Microsoft.FSharp.Linq.QuotationEvaluation

    let rec private translateExpr (linq:Expression) = 
        match linq with
        | :? MethodCallExpression as mc ->
            let le = mc.Arguments.[0] :?> LambdaExpression
            let args, body = translateExpr le.Body
            le.Parameters.[0] :: args, body
        | _ -> [], linq

    let ToFuncExpression (expr:Expr<'a -> 'b>) = 
        let args, body = expr.ToLinqExpression() |> translateExpr 
        Expression.Lambda<Func<'a, 'b>>(body, Array.ofList args) 

let exp = <@ fun x -> x + 1 @>

let r = Expr.ToFuncExpression <@ %exp >> box @>
printfn "%A" r

Answer 1

您能否发布更完整的示例并包含您尝试转换的 F# 表达式？

我尝试使用最少的示例测试 .NET 4.5 上的行为，它对我有用。这是我所做的：

• 我创建了新的 F# 3.0 项目并从 F# PowerPack 的 2.0 版本中复制了 Linq.fs 和 Linq.fsi。 （或者在 F# 3.0 的某个地方是否有 3.0 版本的 ToLinqExpression 方法可用？）

• 我使用了Daniel's earlier answer的代码，调用函数如下：

  let r = toLinq <@ fun x -> x + 1 @>
  printfn "%A" r
  

  这没有引发任何异常，它打印了x => (x + 1)，这对我来说看起来是正确的。

编辑：回答更新后的问题 - 您提到的两个代码示例（我的和 Daniel 的）都假设引用的主体是一个显式构造的函数，因此它们仅适用于特定结构的引用：<@ fun x -> ... @>.

您可以通过在显式构造的函数中使用拼接来解决此问题。以下对我有用：

let exp = <@ fun x -> x + 1 @> 
let r = toLinq <@ fun a -> box ((%exp) a) @> 
printfn "%A" r

这包含 F# 函数的应用程序，因此生成的 Expression 包含对 ToFSharpFunc 的调用（它将委托转换为 F# 函数），然后调用 this。如果您希望标准 .NET 工具可以理解Expression，这可能是一个问题（在这种情况下，您必须对 C# 表达式树进行后处理并删除这些构造）。