Strutturazione struct Objectollolo Roslyn

Question

Sto osservando l'implementazione di Roslyn ObjectPool (https://github.com/dotnet/roslyn/blob/master/src/Compilers/Core/SharedCollections/ObjectPool%601.cs) e non capisco perché non hanno semplicemente scelto di avere una matrice di T ma invece di avvolgere T in una struttura?

[DebuggerDisplay("{Value,nq}")] 
private struct Element 
{ 
    internal T Value; 
} 
... 
private readonly Element[] _items; 

Qual è lo scopo di questo?

Answer 1

Questo è un trucco comune per evitare problemi di prestazioni durante l'impostazione di elementi di matrice che sono tipi di riferimento. Le matrici sono varianti sul CLR (e sulla JVM). È possibile scrivere un string in un object[]. Ciò richiede un runtime per verificare che non si stia effettivamente memorizzando una stringa in SomethingElse[]. Con quel trucco di tipo value non è necessario eseguire quel controllo in fase di esecuzione.

Answer 2

Credo che sia per motivi di prestazioni. La matrice di struct è un amico del garbage collector, al contrario di Array of class.

Da 5 Tips and Techniques for Avoiding Automatic GC Collections

Con una serie di istanze di classe, il GC deve controllare ogni elemento tale matrice per vedere se si tratta di un oggetto dal vivo o no (lo stesso vale per collezioni generiche, che usano un array interno). Con una serie di strutture , il GC cerca solo di vedere se l'array stesso è ancora un oggetto live , poiché le strutture non possono essere nulle (questo è vero anche per strutture Nullable, che usano solo un meccanismo di tracciamento interno per determinare la nullità). Quindi questo è potenzialmente pari a migliaia o addirittura a milioni di di elementi che il GC non ha bisogno di esaminare quando viene eseguita una raccolta!