Tipi di riferimento: possiamo vedere il riferimento reale?

Question

La differenza tra tipi di riferimento e tipi di valore è spesso fonte di confusione per i principianti a causa della mancata comprensione di ciò che una variabile di tipo value detiene effettivamente. Sappiamo che:

• tipi di valore memorizzare il valore
• I tipi di riferimento attuale solo memorizzare la di riferimento all'oggetto

E 'possibile ispezionare ogni tipo di variabile per entrambi vedere il valore o il riferimento effettivo stesso? Il riferimento è memorizzato come una sorta di valore codificato? So che i riferimenti possono essere passati per valore, quindi lo sto assumendo.

Penso che questo aiuterebbe i nuovi arrivati ​​con la loro comprensione e sarà molto interessante da esplorare.

Answer 1

È possibile esaminare ogni tipo di variabile per visualizzare il valore o il riferimento effettivo stesso?

Giusto per chiarire, il valore di un variabile di tipo riferimentoè riferimento. Il riferimento è il valore.

Un riferimento è un tipo di valore, proprio come un int è un tipo di valore. A differenza di un int, un riferimento è un valore che può essere solo copiato e dereferenziato; non è possibile osservare il suo valore direttamente in C#, poiché il suo valore è un dettaglio di implementazione del garbage collector.

Il riferimento è memorizzato come una sorta di valore codificato?

Sì, esattamente. In pratica, un riferimento è un numero intero a 32 o 64 bit (a seconda se si è in un processo a 32 o 64 bit) che è un puntatore a una struttura nota al garbage collector come associata ai dati dell'oggetto referenziato .

Se si desidera guardare i riferimenti direttamente, lo strumento per farlo è il debugger. Carica il codice C# nel debugger, compila, eseguilo, fai un punto di interruzione e dai uno sguardo allo stato dello stack e dei registri. Con un po 'di intelligenza dovresti essere in grado di capire quali posizioni e registri di stack corrispondono a quali variabili locali. Le posizioni corrispondenti alle variabili locali di tipo valore conterranno i valori; quelli del tipo di riferimento conterranno valori che sembrano puntatori. Se si esaminano quei puntatori nella finestra della memoria, si guarderanno le strutture gestite dal garbage collector che descrivono il contenuto dell'oggetto.

Answer 2

È possibile eseguire questa operazione con un oggetto bloccato abbastanza facilmente;

GCHandle gch=GCHandle.Alloc(data, GCHandleType.Pinned); 
IntPtr AddressInMemory=gch.AddrOfPinnedObject(); 

Answer 3

È possibile farlo con unsafe codice:

unsafe 
    static void Main(string[] args) 
    { 
     string s = "Hello"; 

     fixed (char* pc = s) 
     {     
      IntPtr p = (IntPtr)pc; 
      Console.WriteLine(p); // here is your meaningless address 
     }    
    } 

Answer 4

Questo è probabilmente uno per Jon Skeet, ma potrebbe avere una diversa angolazione su di esso:

Non ti preoccupare troppo circa come queste cose sono rappresentate in memoria. A meno che tu non abbia letto tutte le specifiche del linguaggio - chi lo fa comunque? - Non hai davvero bisogno di sapere. Veramente. Non preoccupatevi di memorizzare quali dati sono archiviati, dove è probabile che si tratti di un'implementazione specifica.

Invece, pensa in termini di semantica, ad es. che un tipo di valore passato a una funzione è copiato, mentre un tipo di riferimento è referenziato. Roba del genere.

In realtà non si vuole sapere cosa contiene effettivamente una dichiarazione di un tipo. Credimi. Quello che vuoi sapere, è come si comporta.