Question

我无法编译以下代码：

open Genotype
open Genome

type IAgent =
    abstract member CrossoverA: Genome<'T> -> unit

type internal AgentMessage<'T> = 
  | GetEnergy of AsyncReplyChannel<int>
  | CrossoverMessage of Genome<'T>
  | CompareMessage of Genome<'T>

type Agent<'T>(initialLifeEnergy : int, genotype : IGenotype<'T>) =
    let LifeEnergy = initialLifeEnergy
    let mailbox = new MailboxProcessor<AgentMessage<'T>>(fun inbox ->
        let rec loop  =
            async {  
                    let! (msg) = inbox.Receive()
                    printfn "Message received: %O" msg
                    match msg with 
                        | GetEnergy reply -> 
                              reply.Reply(LifeEnergy)
                        | CrossoverMessage genome->
                            printfn "crossover"
                        | CompareMessage fenome ->
                            printfn "compare" 
                        }
        loop )
    do
        mailbox.Start()


    member this.CrossoverA(genomeIn: Genome<'T>)  = (this :> IAgent).CrossoverA(genomeIn: Genome<'T>) 
    interface IAgent with
        member this.CrossoverA(genomeIn: Genome<'T>)  = 
            printfn "Crossover"
            mailbox.Post(CrossoverMessage genomeIn)

第member this.CrossoverA(genomeIn: Genome<'T>)行中有错误：

错误1通用成员'CrossoverA'已在此程序点之前的非均匀实例化中使用。考虑重新排序成员，以便首先发生此成员。或者，明确指定成员的完整类型，包括参数类型，返回类型和任何其他通用参数和约束。

错误2此绑定的一个或多个显式类或函数类型变量无法一般化，因为它们被约束为其他类型

也在第mailbox.Post(CrossoverMessage genomeIn)行：

错误3类型“T”与“a”类型
不匹配

我没有在项目的任何地方使用变量''a'。此外，名称CrossoverA仅在此文件中使用。我感到很困惑，项目中的其他类都使用类似的打字模式创建并且运行良好。

Answer 1

由于前向调用您的接口实现，它可能无法推断CrossoverA的返回类型。类型推断只能使用当前点之前可用的类型信息。理想情况下，接口会将调用转发给类，而不是相反。这将解决推理问题。

编辑 - 另一个问题似乎是在'T中使用了类型arg IAgent.CrossoverA，该类型未在类型上定义。

在非统一实例化中的用法是什么意思？

1 个答案: