Чому в .NET 8 тип bool веде себе як blittable?

3 Березня 2024 в 13:41 65

Офіційна документація Microsoft чітко стверджує, що тип bool не є blittable. Документація також зазначає:

"Ви можете перевірити, чи є тип <em>blittable</em> або містить <em>blittable</em> вміст, спробувавши створити закріплену GCHandle. Якщо тип не є рядком або вважається не <em>blittable</em>, <code>GCHandle.Alloc</code> викине виняток <code>ArgumentException</code>."

1	"Ви можете перевірити, чи є тип <em>blittable</em> або містить <em>blittable</em> вміст, спробувавши створити закріплену GCHandle. Якщо тип не є рядком або вважається не <em>blittable</em>, <code>GCHandle.Alloc</code> викине виняток <code>ArgumentException</code>."

Тоді чому наступний код не викидає виняток для мене?


using System.Runtime.InteropServices;
GCHandle.Alloc(new bool(), GCHandleType.Pinned).Free();

using System.Runtime.InteropServices;

GCHandle.Alloc(new bool(), GCHandleType.Pinned).Free();

Причина цього поведінки полягає в оптимізації розміщення пам’яті, яку здійснює виконавче середовище .NET. У деяких випадках, таких як з bool, виконавче середовище оптимізує використання пам’яті, розглядаючи небліттабельні типи як блиттабельні. Це означає, що незважаючи на те, що документація стверджує, що bool не є blittable, виконавче середовище внутрішньо обробляє його, як якби він був таким.

Це поведінка може здатися протирічною на перший погляд, але важливо зрозуміти, що виконавче середовище .NET постійно еволюціонує, і такі оптимізації реалізуються для покращення продуктивності та використання пам’яті.

На підсумок, хоча офіційна документація стверджує, що bool не є blittable, фактична поведінка, спостережена у виконавчому середовищі .NET 8, свідчить про зворотнє через внутрішні оптимізації. Як розробникам, важливо бути усвідомленими таких дрібниць, щоб писати ефективний та надійний код.