Môžu byť objekty štruktúry v haldách?

Áno, môžu.

Objekty štruktúr, ktoré sú typmi hodnôt v C#, sa zvyčajne ukladajú na zásobník. Avšak, môžu sa nachádzať na halde v týchto prípadoch:

• Sú poľami referenčných typov (triedy). Objekt triedy sa nachádza na halde a jej štruktúrne polia budú uložené spolu s ním.
• Boxing (balenie). Keď sa objekt štruktúry konvertuje na objekt typu object alebo rozhranie, je zabalený do referenčného typu a umiestnený na halde.
• Prvky polí štruktúr. Pole (ktoré je referenčný typ) sa umiestni na haldu a jeho štruktúrne prvky sa ukladajú v pamäti pridelené pre toto pole.

Príklad boxingu:

// Objekt štruktúry sa nachádza na zásobníku
int počiatočnáHodnota = 10;

// Boxing: štruktúra je zabalená do objektu a umiestnená na haldu
object zabalenáHodnota = počiatočnáHodnota;

// Je potrebný casting (unboxing), aby ste mohli pracovať s hodnotou ako s int
int odbalenáHodnota = (int)zabalenáHodnota;

Príklad štruktúry ako poľa triedy:

// Objekt triedy bude na halde
public class Kontajner
{
    // Štruktúra ako pole triedy bude uložená na halde spolu s objektom Kontajner
    public Bod Súradnice;
}

// Definícia štruktúry
public struct Bod
{
    public int X;
    public int Y;
}

// Vytvorenie objektu triedy Kontajner na halde
Kontajner c = new Kontajner();

Príklad poľa štruktúr:

// Pole Bodov je referenčný typ a je umiestnené na halde
Bod[] poleBodov = new Bod[5];

// Elementy poľa (štruktúry Bod) budú uložené v pamäti pridelené pre toto pole na halde
poleBodov[0] = new Bod { X = 1, Y = 2 };