Record Classe

Riferimento

Definizione

Spazio dei nomi:: Java.Lang

Assembly:: Mono.Android.dll

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à: Object

Object
Record

Attributi: RegisterAttribute

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 e 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 record vengono dichiarati nell'intestazione del record. L'elenco dei componenti record dichiarati nell'intestazione del record costituisce il <descrittore</em del record em>>.

Una classe record ha i membri assegnati seguenti: un <costruttore</>em> canonico em, che deve fornire almeno l'accesso alla classe record e il cui descrittore è uguale al descrittore di 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 viene 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 i gruppi di componenti ,ad esempio riducendo un numero razionale ai 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());

deve quindi essere il caso che r.equals(copy).

Aggiunto in 16.

Documentazione java per java.lang.Record.

Le parti di questa pagina sono modifiche basate sul lavoro creato e condiviso dal Android e usato in base ai termini descritti in 2.5 Attribution License Creative Commons 2.5 Attribution License.

Costruttori

Record()	Costruttore per le classi di record da chiamare.
Record(IntPtr, JniHandleOwnership)	Si tratta della classe base comune di tutte le classi di record del linguaggio Java.

Proprietà

Class	Restituisce la classe di runtime di questo `Object`oggetto . (Ereditato da Object)
Handle	Handle per l'istanza di Android sottostante. (Ereditato da Object)
JniIdentityHashCode	Si tratta della classe base comune di tutte le classi di record del linguaggio Java. (Ereditato da Object)
JniPeerMembers	Si tratta della classe base comune di tutte le classi di record del linguaggio Java.
PeerReference	Si tratta della classe base comune di tutte le classi di record del linguaggio Java. (Ereditato da Object)
ThresholdClass	Si tratta della classe base comune di tutte le classi di record del linguaggio Java.
ThresholdType	Si tratta della classe base comune di tutte le classi di record del linguaggio Java.

Metodi

Clone()	Crea e restituisce una copia di questo oggetto. (Ereditato da Object)
Dispose()	Si tratta della classe base comune di tutte le classi di record del linguaggio Java. (Ereditato da Object)
Dispose(Boolean)	Si tratta della classe base comune di tutte le classi di record del linguaggio Java. (Ereditato da Object)
Equals(Object)	Indica se un altro oggetto è "uguale a" questo.
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 monitoraggio di questo oggetto. (Ereditato da Object)
SetHandle(IntPtr, JniHandleOwnership)	Imposta la proprietà Handle. (Ereditato da Object)
ToArray<T>()	Si tratta della classe base comune di tutte le classi di record del linguaggio Java. (Ereditato da Object)
ToString()	Restituisce una rappresentazione di stringa del record.
UnregisterFromRuntime()	Si tratta della classe base comune di tutte le classi di record del linguaggio Java. (Ereditato da Object)
Wait()	Fa sì che il thread corrente attenda finché non viene risvegliato, in genere eseguendo <una>notifica</em> o <em>interrotto</em>. (Ereditato da Object)
Wait(Int64)	Fa sì che il thread corrente attenda finché non viene risvegliato, in genere eseguendo <una notifica</>em> o <em>interrotto</em> o fino a quando non è trascorsa una certa quantità di tempo reale. (Ereditato da Object)
Wait(Int64, Int32)	Fa sì che il thread corrente attenda finché non viene risvegliato, in genere eseguendo <una notifica</>em> o <em>interrotto</em> o fino a quando non è trascorsa una certa quantità di tempo reale. (Ereditato da Object)

Implementazioni dell'interfaccia esplicita

IJavaPeerable.Disposed()	Si tratta della classe base comune di tutte le classi di record del linguaggio Java. (Ereditato da Object)
IJavaPeerable.DisposeUnlessReferenced()	Si tratta della classe base comune di tutte le classi di record del linguaggio Java. (Ereditato da Object)
IJavaPeerable.Finalized()	Si tratta della classe base comune di tutte le classi di record del linguaggio Java. (Ereditato da Object)
IJavaPeerable.JniManagedPeerState	Si tratta della classe base comune di tutte le classi di record del linguaggio Java. (Ereditato da Object)
IJavaPeerable.SetJniIdentityHashCode(Int32)	Si tratta della classe base comune di tutte le classi di record del linguaggio Java. (Ereditato da Object)
IJavaPeerable.SetJniManagedPeerState(JniManagedPeerStates)	Si tratta della classe base comune di tutte le classi di record del linguaggio Java. (Ereditato da Object)
IJavaPeerable.SetPeerReference(JniObjectReference)	Si tratta della classe base comune di tutte le classi di record del linguaggio Java. (Ereditato da Object)

Metodi di estensione

JavaCast<TResult>(IJavaObject)	Esegue una conversione del tipo verificato dal runtime Android.
JavaCast<TResult>(IJavaObject)	Si tratta della classe base comune di tutte le classi di record del linguaggio Java.
GetJniTypeName(IJavaPeerable)	Si tratta della classe base comune di tutte le classi di record del linguaggio Java.

Si applica a

Condividi tramite