Funzione List.forall2<'T1,'T2> (F#)

Verifica se tutti gli elementi corrispondenti dell'insieme soddisfano a coppie il predicato specificato.

Percorso di spazio dei nomi/modulo: Microsoft.FSharp.Collections.List

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

// Signature:
List.forall2 : ('T1 -> 'T2 -> bool) -> 'T1 list -> 'T2 list -> bool

// Usage:
List.forall2 predicate list1 list2

Parametri

  • predicate
    Tipo: 'T1 -> 'T2 -> bool

    Funzione da utilizzare per eseguire il test degli elementi di input.

  • list1
    Tipo: 'T1 list

    Primo elenco di input.

  • list2
    Tipo: 'T2 list

    Secondo elenco di input.

Eccezioni

Eccezione

Condizione

ArgumentException

Generata se gli elenchi di input differiscono in lunghezza.

Valore restituito

true se tutte le coppie di elementi soddisfano il predicato. In caso contrario, restituisce false.

Note

Il predicato viene applicato agli elementi corrispondenti nei due insiemi. Se una qualsiasi applicazione restituisce false, il risultato complessivo sarà false e non verrà eseguito il test di altri elementi. In caso contrario, se un insieme è più lungo dell'altro, viene generata l'eccezione ArgumentException. In caso contrario, viene restituito true.

Questa funzione è denominata ForAll2 negli assembly compilati. Utilizzare questo nome se si accede alla funzione da un linguaggio .NET diverso da F# o tramite reflection.

Esempio

Nell'esempio di codice seguente viene illustrato l'utilizzo di List.forall2.

let listEqual list1 list2 = List.forall2 (fun elem1 elem2 -> elem1 = elem2) list1 list2
printfn "%b" (listEqual [0; 1; 2] [0; 1; 2])
printfn "%b" (listEqual [0; 0; 0] [0; 1; 0])

Output

  

Piattaforme

Windows 7, Windows Vista SP2, Windows XP SP3, Windows XP x64 SP2, Windows Server 2008 R2, Windows Server 2008 SP2, Windows Server 2003 SP2.

Informazioni sulla versione

F# Runtime

Supportato in: 2.0, 4.0

Silverlight

Supportato in: 3

Vedere anche

Riferimenti

Modulo Collections.List (F#)

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

Cronologia delle modifiche

Data

Cronologia

Motivo

Maggio 2010

Aggiunto esempio di codice.

Miglioramento delle informazioni.