活动模式和成员约束

Question

对于内联函数，可以创建一个约束，例如：

let inline implicit arg =
  ( ^a : (static member op_Implicit : ^b -> ^a) arg)

要求参数上有给定的运算符或成员。有没有办法根据相似的东西进行匹配？

我想创建一个活动模式，其中传递给与内联函数的约束相匹配的方法的任何参数都会触发该函数，而其他所有内容都会作为某些错误管理的一部分而结束。

Answer 1

看起来您也可以编写内联活动模式。我以前没用过这个，但我现在尝试了一下，似乎效果很好。下面的 Test 模式可与任何实现返回 optionTest 方法的对象一起使用。 ^R >：

let inline (|Test|_|) (a:^T) : option< ^R > =
  (^T : (member Test : unit -> option< ^R >) a)

现在您可以定义一些定义 Test 方法的对象，并使用模式匹配它们：

type A() =
  member x.Test() = Some(10)

match new A() with
| Test(n) -> printfn "%d" n
| _ -> printfn "failed"

这看起来是一个非常有趣的技术，因为模式匹配现在是目的。

Answer 2

我认为你必须使用反射，例如有一个接受 o:obj 的函数，然后反射 o.GetType() 的成员。