Collections.Map<'Key,'Value> — Klasa (F#)
Mapy niezmienne.Klucze są uporządkowane według porównania rodzajowe F#.
Ścieżka obszaru nazw/modułu: Microsoft.FSharp.Collections
Zestaw: FSharp.Core (w FSharp.Core.dll)
[<Sealed>]
type Map<[<EqualityConditionalOnAttribute>] 'Key,[<ComparisonConditionalOnAttribute>] [<EqualityConditionalOnAttribute>] 'Value (requires comparison)> =
class
interface IEnumerable
interface IComparable
interface IEnumerable
interface ICollection
interface IDictionary
new Map : seq<'Key * 'Value> -> Map< 'Key, 'Value>
member this.Add : 'Key * 'Value -> Map<'Key, 'Value>
member this.ContainsKey : 'Key -> bool
member this.Remove : 'Key -> Map<'Key, 'Value>
member this.TryFind : 'Key -> 'Value option
member this.Count : int
member this.IsEmpty : bool
member this.Item ('Key) : 'Value
end
Uwagi
Na podstawie porównania rodzajowe mapy są skuteczne mały kluczy.Nie są one odpowiedniego wyboru, jeśli klucze są cykliczne struktur danych lub klawisze wymagają semantykę zamawianych porównania.Wszyscy członkowie tej klasy są wielowątkowość i mogą być używane jednocześnie z wielu wątków.
Ten typ o nazwie FSharpMap w skompilowane zestawy.Jeśli dostęp typu języka, niż F# lub przez odbicie, należy użyć tej nazwy.
Konstruktory
Członkowskie |
Opis |
|---|---|
Tworzy mapę, zawierający powiązania z danym IEnumerable. |
Wystąpienie członków
Członkowskie |
Opis |
|---|---|
Zwraca nową mapę z powiązaniem dodane do danej mapy. |
|
Testy, jeśli element znajduje się w domenie mapy. |
|
Liczba powiązania na mapie. |
|
Zwraca wartość true, jeśli nie ma powiązań na mapie. |
|
Wyszukiwanie elementu na mapie.Podnieść KeyNotFoundException Jeśli powiązanie nie istnieje na mapie. |
|
Usuwa element z domeny mapy.Wyjątek nie jest uruchamiany, jeśli element nie jest obecny. |
|
Element w mapie zwracanie wyszukiwania Some wartość, jeśli element jest w domenie mapy i None Jeśli nie. |
Platformy
Windows 8, Windows 7, Windows Server 2012 Windows Server 2008 R2
Informacje o wersji
F# Core wersji biblioteki
Obsługiwane: 2.0, 4.0, przenośne