Tạo một thể hiện của Hành động <'T> bằng cách sử dụng phản chiếu

Question

Làm cách nào để tạo một thể hiện của Action<'T> bằng cách sử dụng sự phản chiếu? Dưới đây là những gì tôi có:

let makeAction (typ:Type) (f:'T -> unit) = 
    let actionType = typedefof<Action<_>>.MakeGenericType(typ) 
    let converter = FSharpFunc.ToConverter(f) 
    Delegate.CreateDelegate(actionType, converter.Method) 

mà barfs với:

System.ArgumentException: Lỗi ràng buộc để nhắm mục tiêu phương pháp.
tại System.Delegate.CreateDelegate (Type type, phương pháp MethodInfo, Boolean throwOnBindFailure)

'T là một giao diện, mà typ cụ.

Answer 1

Tôi nghĩ có hai vấn đề. Điều đầu tiên là bạn cần gọi CreateDelegate quá tải có ba đối số. Đối số bổ sung chỉ định cá thể mà phương thức cần được gọi.

Vấn đề thứ hai là Converter<'T, unit> thực sự biên dịch dưới dạng phương thức trả về Microsoft.FSharp.Core.Unit và không phải là phương thức trả về void. Tôi không chắc chắn nếu có một cách giải quyết dễ dàng hơn, nhưng bạn có thể xác định một wrapper có một phương pháp. Thành viên được biên soạn để trông giống như C#, vì vậy các loại đơn vị sẽ được biên dịch như void trong trường hợp đó:

open System 

type Wrapper<'T>(f:'T -> unit) = 
    member x.Invoke(a:'T) = f a 

let makeAction (typ:Type) (f:'T -> unit) = 
    let actionType = typedefof<Action<_>>.MakeGenericType(typ) 
    let wrapperType = typedefof<Wrapper<_>>.MakeGenericType(typ) 
    let wrapped = Wrapper<_>(f) 
    Delegate.CreateDelegate(actionType, wrapped, wrapped.GetType().GetMethod("Invoke")) 

makeAction (typeof<int>) (printfn "%d") 

EDIT - Đã làm một sự thay đổi nhỏ để làm cho nó thực sự làm việc trong kịch bản của bạn (với giao diện)