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 -> boolFunzione da utilizzare per eseguire il test degli elementi di input.
list1
Tipo: 'T1 listPrimo elenco di input.
list2
Tipo: 'T2 listSecondo elenco di input.
Eccezioni
Eccezione |
Condizione |
---|---|
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
Spazio dei nomi Microsoft.FSharp.Collections (F#)
Cronologia delle modifiche
Data |
Cronologia |
Motivo |
---|---|---|
Maggio 2010 |
Aggiunto esempio di codice. |
Miglioramento delle informazioni. |