Record Classe
Definizione
Importante
Alcune informazioni sono relative alla release non definitiva del prodotto, che potrebbe subire modifiche significative prima della release definitiva. Microsoft non riconosce alcuna garanzia, espressa o implicita, in merito alle informazioni qui fornite.
Si tratta della classe base comune di tutte le classi di record del linguaggio Java.
[Android.Runtime.Register("java/lang/Record", ApiSince=34, DoNotGenerateAcw=true)]
public abstract class Record : Java.Lang.Object[<Android.Runtime.Register("java/lang/Record", ApiSince=34, DoNotGenerateAcw=true)>]
type Record = class
inherit Object- Ereditarietà
- Attributi
Commenti
Si tratta della classe base comune di tutte le classi di record del linguaggio Java.
Altre informazioni sui record, incluse le descrizioni dei metodi dichiarati in modo implicito sintetizzati dal compilatore, sono disponibili nella sezione 8.10 di <cite>The Java Language Specification</cite> .
Una <classe/em> di record em<è un vettore trasparente poco modificabile per un set fisso di valori, denominato >em<record components>/em<.> Il linguaggio Java fornisce una sintassi concisa per dichiarare le classi di record, in cui i componenti di record vengono dichiarati nell'intestazione del record. L'elenco dei componenti di record dichiarati nell'intestazione del record costituisce il <descrittore>/em del record em<>.
Una classe record ha i seguenti membri imposti: un <costruttore> canonico em/em<>, che deve fornire almeno l'accesso alla classe record e il cui descrittore è uguale al descrittore del record; un campo finale privato corrispondente a ogni componente, il cui nome e tipo sono uguali a quello del componente; un metodo di accesso pubblico corrispondente a ogni componente, il cui nome e tipo restituito sono uguali a quello del componente. Se non dichiarato in modo esplicito nel corpo del record, vengono fornite implementazioni implicite per questi membri.
La dichiarazione implicita del costruttore canonico ha la stessa accessibilità della classe record e inizializza i campi del componente dagli argomenti del costruttore corrispondenti. La dichiarazione implicita dei metodi della funzione di accesso restituisce il valore del campo componente corrispondente. La dichiarazione implicita dei Object#equals(Object)metodi , Object#hashCode()e Object#toString() è derivata da tutti i campi del componente.
I motivi principali per fornire una dichiarazione esplicita per il costruttore canonico o i metodi della funzione di accesso sono convalidare gli argomenti del costruttore, eseguire copie difensive su componenti modificabili o normalizzare gruppi di componenti ,ad esempio riducendo un numero razionale a termini più bassi.
Per tutte le classi di record, l'invariante seguente deve contenere: se i componenti di un record R sono c1, c2, ... cn, se un'istanza di record viene copiata come segue:
R copy = new R(r.c1(), r.c2(), ..., r.cn());
quindi deve essere il caso che r.equals(copy).
Aggiunta in 16.
Le parti di questa pagina sono modifiche basate sul lavoro creato e condiviso dalla e usati in base ai termini descritti in Creative License 2.5 Attribution License.
Costruttori
| Nome | Descrizione |
|---|---|
| Record() |
Costruttore per le classi di record da chiamare. |
| Record(IntPtr, JniHandleOwnership) |
Costruttore usato durante la creazione di rappresentazioni gestite di oggetti JNI; chiamato dal runtime. |
Proprietà
| Nome | Descrizione |
|---|---|
| Class |
Restituisce la classe di runtime di questo |
| Handle |
Handle per l'istanza di Android sottostante. (Ereditato da Object) |
| JniIdentityHashCode |
Ottiene il codice hash di identità assegnato a questo Java peer dal runtime di interoperabilità. (Ereditato da Object) |
| JniManagedPeerState |
Si tratta della classe base comune di tutte le classi di record del linguaggio Java. (Ereditato da JavaObject) |
| JniPeerMembers |
Ottiene i metadati JNI usati per richiamare i membri di questo peer Java. |
| PeerReference |
Ottiene il riferimento all'oggetto JNI per questo peer Java. (Ereditato da Object) |
| ThresholdClass |
Questa API supporta l'infrastruttura Mono per Android e non deve essere usata direttamente dal codice. |
| ThresholdType |
Questa API supporta l'infrastruttura Mono per Android e non deve essere usata direttamente dal codice. |
Metodi
| Nome | Descrizione |
|---|---|
| Clone() |
Crea e restituisce una copia di questo oggetto. (Ereditato da Object) |
| Construct(JniObjectReference, JniObjectReferenceOptions) |
Si tratta della classe base comune di tutte le classi di record del linguaggio Java. (Ereditato da JavaObject) |
| Dispose() |
Rilascia le risorse contenute in questo peer Java. (Ereditato da Object) |
| Dispose(Boolean) |
Rilascia le risorse contenute in questo peer Java. (Ereditato da Object) |
| DisposeUnlessReferenced() |
Si tratta della classe base comune di tutte le classi di record del linguaggio Java. (Ereditato da JavaObject) |
| Equals(Object) |
Indica se un altro oggetto è "uguale a" questo. |
| Equals(Object) |
Si tratta della classe base comune di tutte le classi di record del linguaggio Java. (Ereditato da JavaObject) |
| GetHashCode() |
Restituisce un valore di codice hash per il record. |
| JavaFinalize() |
Chiamato dal Garbage Collector su un oggetto quando Garbage Collection determina che non sono presenti altri riferimenti all'oggetto . (Ereditato da Object) |
| Notify() |
Riattiva un singolo thread in attesa del monitor dell'oggetto. (Ereditato da Object) |
| NotifyAll() |
Riattiva tutti i thread in attesa del monitor dell'oggetto. (Ereditato da Object) |
| SetHandle(IntPtr, JniHandleOwnership) |
Imposta la proprietà Handle. (Ereditato da Object) |
| SetPeerReference(JniObjectReference, JniObjectReferenceOptions) |
Si tratta della classe base comune di tutte le classi di record del linguaggio Java. (Ereditato da JavaObject) |
| ToArray<T>() |
Crea una matrice gestita da questo wrapper di matrice Java. (Ereditato da Object) |
| ToString() |
Restituisce una rappresentazione di stringa del record. |
| UnregisterFromRuntime() |
Annulla la registrazione di questo Java peer dal runtime di interoperabilità. (Ereditato da Object) |
| Wait() |
Fa sì che il thread corrente attenda finché non viene risvegliato, in genere ricevendo <>una notifica</em> o <em>interrotto</em>. (Ereditato da Object) |
| Wait(Int64, Int32) |
Fa sì che il thread corrente attenda finché non viene risvegliato, in genere ricevendo<> una notifica</em> o <em>interrotto</em> o fino a quando non è trascorsa una determinata quantità di tempo reale. (Ereditato da Object) |
| Wait(Int64) |
Fa sì che il thread corrente attenda finché non viene risvegliato, in genere ricevendo<> una notifica</em> o <em>interrotto</em> o fino a quando non è trascorsa una determinata quantità di tempo reale. (Ereditato da Object) |
Implementazioni dell'interfaccia esplicita
| Nome | Descrizione |
|---|---|
| IJavaPeerable.Disposed() |
Si tratta della classe base comune di tutte le classi di record del linguaggio Java. (Ereditato da JavaObject) |
| IJavaPeerable.Finalized() |
Si tratta della classe base comune di tutte le classi di record del linguaggio Java. (Ereditato da JavaObject) |
| IJavaPeerable.JniObjectReferenceControlBlock |
Si tratta della classe base comune di tutte le classi di record del linguaggio Java. (Ereditato da JavaObject) |
| IJavaPeerable.SetJniIdentityHashCode(Int32) |
Si tratta della classe base comune di tutte le classi di record del linguaggio Java. (Ereditato da JavaObject) |
| IJavaPeerable.SetJniManagedPeerState(JniManagedPeerStates) |
Si tratta della classe base comune di tutte le classi di record del linguaggio Java. (Ereditato da JavaObject) |
| IJavaPeerable.SetPeerReference(JniObjectReference) |
Si tratta della classe base comune di tutte le classi di record del linguaggio Java. (Ereditato da JavaObject) |
Metodi di estensione
| Nome | Descrizione |
|---|---|
| GetJniTypeName(IJavaPeerable) |
Ottiene il nome JNI del tipo dell'istanza |
| JavaAs<TResult>(IJavaPeerable) |
Provare a digitare |
| JavaCast<TResult>(IJavaObject) |
Esegue una conversione del tipo di tipo controllato dal runtime Android. |
| JavaCast<TResult>(IJavaObject) |
Si tratta della classe base comune di tutte le classi di record del linguaggio Java. |
| TryJavaCast<TResult>(IJavaPeerable, TResult) |
Provare a digitare |