6

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

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

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

mc.Arguments.[0] :?> LambdaExpression

...在mc哪里MethodCallExpression. 例外是：

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

不，末尾多余的“N”MethodCallExpressionN不是错字。有人有建议吗？谢谢。

更新

这是一个完整的复制品。事实证明，这段代码在像<@ fun x -> x + 1 @>. 我的问题是，在我的情况下，我需要将 an 转换Expr<'a -> 'b>为Expr<'a -> obj>，这样我就不必将所有的 lambda 表达式都用box. 我通过将原始表达式拼接到这个表达式中来做到这一点：<@ %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
4

1 回答 1

5

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

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

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

  • 我使用了丹尼尔早期答案中的代码，并按如下方式调用了该函数：

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

    这没有抛出任何异常，它打印出来x => (x + 1)，这对我来说是正确的。

编辑：回答更新后的问题 - 您提到的两个代码示例（我的和丹尼尔的）都假设引用的主体是一个显式构造的函数，所以它们只适用于特定结构的引用：<@ 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# 表达式树进行后处理并删除这些结构）。

于 2012-05-18T09:11:15.390 回答