In che modo il compilatore JIT considera i tipi di valore?

Question

Sto leggendo C# in profondità da Jon Skeet. Citando dal terzo capitolo:

Il JIT può trattare tipi di valore in modo particolarmente intelligente che riesce a eliminare la boxe e unboxing in molte situazioni. In alcuni casi , questo può fare un'enorme differenza in termini di prestazioni sia in termini di velocità della memoria che di consumo di memoria.

Qualcuno potrebbe spiegare cosa significa esattamente, preferibilmente con un esempio?

Answer 1

Prendiamo come esempio List<int>. Questo è supportato da un autentico int[] e JIT compilerà il codice JIT in modo specifico per l'argomento di tipo int, in modo che qualsiasi codice che utilizza uno T all'interno di List<T> dovrebbe ottenere ottimizzazioni come se il codice fosse stato scritto solo per per i numeri interi.

confronta questo con i generici di Java, in cui gli unici argomenti di tipo validi sono tipi di classe - così anche se è valida per scrivere:

// Java code! 
List<Integer> integers = new ArrayList<Integer>(); 
integers.add(10); 
int x = integers.get(0); // x = 10 

che esegue un incontro di boxe e il funzionamento unboxing in background. Il codice C# equivalente non comporterebbe affatto la boxe.

Answer 2

Penso che Jon di molti di questi tipi non siano trattati come oggetti del suo tipo di definizione. Per esempio; un int non deve essere trattato come una struct e può essere gestito direttamente nei registri. L'aggiunta di due numeri interi non è gestita da chiamate operatore sovraccaricate ma eseguita direttamente da cpu.