Roslyn ObjectPool struct wrapper

Question

Tôi đang nhìn vào việc thực hiện Roslyn ObjectPool (https://github.com/dotnet/roslyn/blob/master/src/Compilers/Core/SharedCollections/ObjectPool%601.cs) và tôi không hiểu tại sao họ không đơn giản chọn để có một mảng T mà thay vào đó bọc T bên trong một cấu trúc?

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

Mục đích của việc này là gì?

Answer 1

Đây là một thủ thuật phổ biến để tránh các vấn đề về hiệu năng khi đặt các mục mảng là loại tham chiếu. Mảng là biến thể trên CLR (và trên JVM). Bạn có thể viết số string vào một số object[]. Điều này đòi hỏi một kiểm tra thời gian chạy mà bạn không thực sự lưu trữ một chuỗi vào một SomethingElse[]. Với thủ thuật loại giá trị đó, nó không cần thiết để thực hiện kiểm tra đó khi chạy.

Answer 2

Tôi tin rằng đó là vì lý do hiệu suất. Mảng cấu trúc là một người bạn để thu gom rác như trái ngược với mảng của lớp.

Từ 5 Tips and Techniques for Avoiding Automatic GC Collections

Với một loạt các trường lớp, GC phải kiểm tra từng mục trong mảng đó để xem nếu nó là một đối tượng sống hay không (điều này cũng đúng đối với bộ sưu tập chung, sử dụng mảng nội bộ). Với một mảng gồm các cấu trúc , GC chỉ xem xét nếu mảng đó vẫn là đối tượng trực tiếp, vì cấu trúc không thể là rỗng (điều này đúng cho cả cấu trúc không rõ ràng, chỉ sử dụng cơ chế theo dõi nội bộ để xác định độ rỗng). Vì vậy, đó là khả năng hàng ngàn hoặc thậm chí hàng triệu của các mục mà GC không cần phải kiểm tra khi một bộ sưu tập chạy!