Mohou objekty struktur ležet v haldě?

Ano, mohou.

Objekty struktur, které jsou v C# hodnotové typy, jsou obvykle uloženy na zásobníku. Nicméně, mohou být v následujících případech na haldě:

• Jsou poli referenčních typů (tříd). Objekt třídy je na haldě a její strukturální pole jsou uložena spolu s ním.
• Boxing (balení). Když je objekt struktury převeden na objekt typu object nebo rozhraní, je zabalen do referenčního typu a umístěn na haldě.
• Prvky polí struktur. Pole (které je referenční typ) je umístěno na haldě a jeho strukturální prvky jsou uloženy v paměti přidělené tomuto poli.

Příklad boxingu:

// Objekt struktury je na zásobníku
int počátečníHodnota = 10;

// Boxing: struktura je zabalena do objektu a umístěna na haldě
object zabalenáHodnota = počátečníHodnota;

// Je potřeba casting (unboxing) pro práci s hodnotou jako s int
int odbalenáHodnota = (int)zabalenáHodnota;

Příklad struktury jako pole třídy:

// Objekt třídy bude na haldě
public class Kontejner
{
    // Struktura jako pole třídy bude uložena na haldě spolu s objektem Kontejner
    public Bod Souřadnice;
}

// Definice struktury
public struct Bod
{
    public int X;
    public int Y;
}

// Vytvoření objektu třídy Kontejner na haldě
Kontejner c = new Kontejner();

Příklad pole struktur:

// Pole Bodů je referenční typ a je umístěno na haldě
Bod[] poleBodů = new Bod[5];

// Elementy pole (struktury Bod) budou uloženy v paměti přidělené pro toto pole na haldě
poleBodů[0] = new Bod { X = 1, Y = 2 };