Question

给出F＃记录：

type R = { X : string ; Y : string }

和两个对象：

let  a = { X = null ; Y = "##" }
let  b = { X = "##" ; Y = null }

和字符串的谓词：

let (!?) : string -> bool = String.IsNullOrWhiteSpace

和一个功能：

let (-?>) : string -> string -> string = fun x y -> if !? x then y else x

有没有办法使用F＃引用来定义：

let (><) : R -> R -> R

有行为：

let c = a >< b // = { X = a.X -?> b.X ; Y = a.Y -?> b.Y }

以某种方式让(><)适用于任意F＃记录类型，不仅适用于 R。

短：如果适用于其字段的任意记录类型和补充函数(><)，可以使用引号动态生成(-?>)定义的F＃代码？

如果不能使用报价，可以做什么？

Answer 1

您可以使用F＃引用为每个特定记录构造一个函数，然后使用F＃PowerPack中提供的引用编译器对其进行编译。但是，正如评论中所提到的，使用F＃反射肯定更容易：

open Microsoft.FSharp.Reflection

let applyOnFields (recd1:'T) (recd2:'T) f =  
  let flds1 = FSharpValue.GetRecordFields(recd1)  
  let flds2 = FSharpValue.GetRecordFields(recd2)  
  let flds = Array.zip flds1 flds2 |> Array.map f
  FSharpValue.MakeRecord(typeof<'T>, flds)

此函数记录记录，动态获取其字段，然后将f应用于字段。您可以使用它来模拟您的运算符（我正在使用具有可读名称的函数）：

type R = { X : string ; Y : string } 
let  a = { X = null ; Y = "##" } 
let  b = { X = "##" ; Y = null } 

let selectNotNull (x:obj, y) =
  if String.IsNullOrWhiteSpace (unbox x) then y else x

let c = applyOnFields a b selectNotNull

使用Reflection的解决方案很容易编写，但效率可能较低。每次调用函数applyOnFields时都需要运行.NET Reflection。如果您知道记录类型，可以使用引号构建一个AST，表示您可以手动编写的函数。类似的东西：

let applyOnFields (a:R) (b:R) f = { X = f (a.X, b.X); Y = f (a.Y, b.Y) }

使用引号生成函数更加困难，因此我不会发布完整的示例，但以下示例至少显示了其中的一部分：

open Microsoft.FSharp.Quotations

// Get information about fields
let flds = FSharpType.GetRecordFields(typeof<R>) |> List.ofSeq

// Generate two variables to represent the arguments
let aVar = Var.Global("a", typeof<R>)
let bVar = Var.Global("b", typeof<R>)

// For all fields, we want to generate 'f (a.Field, b.Field)` expression
let args = flds |> List.map (fun fld ->
  // Create tuple to be used as an argument of 'f'
  let arg = Expr.NewTuple [ Expr.PropertyGet(Expr.Var(aVar), fld)
                            Expr.PropertyGet(Expr.Var(bVar), fld) ]
  // Call the function 'f' (which needs to be passed as an input somehow)
  Expr.App(???, args)

// Create an expression that builds new record
let body = Expr.NewRecord(typeof<R>, args)

构建正确的引用后，可以使用F＃PowerPack进行编译。请参阅example this snippet。

可以使用F＃Quotations创建适用于任意F＃记录类型的函数吗？

1 个答案: