Metodo MailboxProcessor.Receive<'Msg> (F#)

Articolo
06/10/2015

Attende un messaggio. Il metodo utilizzerà il primo messaggio in ordine di arrivo.

Percorso di spazio dei nomi/modulo: Microsoft.FSharp.Control

Assembly: FSharp.Core (in FSharp.Core.dll)

// Signature:
member this.Receive : ?int -> Async<'Msg>

// Usage:
mailboxProcessor.Receive ()
mailboxProcessor.Receive (timeout = timeout)

Parametri

timeout
Tipo: int

Timeout facoltativo in millisecondi. L'impostazione predefinita è -1, che corrisponde a Infinite.

Eccezioni

Eccezione	Condizione
TimeoutException	Generata se viene superato il timeout.

Valore restituito

Calcolo asincrono (oggetto Async) che restituisce il messaggio ricevuto.

Note

Questo metodo deve essere utilizzato all'interno del corpo dell'agente. Per ogni agente può essere attivo al massimo un lettore simultaneo, pertanto non può essere attiva più di una chiamata simultanea di Receive, TryReceive, Scan o TryScan.

Esempio

Nell'esempio seguente viene illustrato come utilizzare il metodo Receive. In questo caso, un timeout di 10 secondi viene specificato. In generale, la funzione di elaborazione del messaggio viene eseguita su un thread diverso dalla funzione Post pertanto è necessario intercettare l'eccezione di timeout nella funzione del processore del messaggio. In questo esempio, l'eccezione di timeout causa solo la continuazione del ciclo e aumenta il numero del messaggio di 1.

open System

type Message = string * AsyncReplyChannel<string>

let formatString = "Message number {0} was received. Message contents: {1}" 

let agent = MailboxProcessor<Message>.Start(fun inbox ->
    let rec loop n =
        async {            
            try 
                let! (message, replyChannel) = inbox.Receive(10000);

                if (message = "Stop") then
                    replyChannel.Reply("Stop")
                else
                    replyChannel.Reply(String.Format(formatString, n, message))
                do! loop (n + 1)

            with
            | :? TimeoutException -> 
                printfn "The mailbox processor timed out." 
                do! loop (n + 1)
        }
    loop (0))

printfn "Mailbox Processor Test"
printfn "Type some text and press Enter to submit a message."
printfn "Type 'Stop' to close the program." 


let rec loop() =
    printf "> " 
    let input = Console.ReadLine()
    let reply = agent.PostAndReply(fun replyChannel -> input, replyChannel)
    if (reply <> "Stop") then
        printfn "Reply: %s" reply
        loop()
    else
        ()
loop()

printfn "Press Enter to continue."
Console.ReadLine() |> ignore

Viene di seguito riportata una sessione tipica. Si noti che il messaggio 2 viene sottoposto a override, a causa del timeout.

Piattaforme

Windows 8, Windows 7, Windows Server 2012, Windows Server 2008 R2

Informazioni sulla versione

Versioni della libreria di base di F#

Supportato in: 2.0, 4.0, portabile

Vedere anche

Riferimenti

Classe Control.MailboxProcessor<'Msg> (F#)

Spazio dei nomi Microsoft.FSharp.Control (F#)

Condividi tramite