Czy obiekty strukturalne mogą znajdować się na stercie?

Tak, mogą.

Obiekty struktur, które są typami wartości w C#, są zazwyczaj przechowywane na stosie. Jednak mogą znajdować się na stercie w następujących przypadkach:

• Są polami typu referencyjnego (klasy). Obiekt klasy znajduje się na stercie, a jej pola strukturalne będą przechowywane razem z nim.
• Boxing (opakowanie). Gdy obiekt struktury jest konwertowany na obiekt typu object lub interfejs, jest opakowywany w typ referencyjny i umieszczany na stercie.
• Elementy tablic struktur. Tablica (będąca typem referencyjnym) jest umieszczana na stercie, a jej elementy strukturalne są przechowywane w pamięci przydzielonej dla tej tablicy.

Przykład boxingu:

// Obiekt struktury znajduje się na stosie
int wartośćPoczątkowa = 10;

// Boxing: struktura jest pakowana w obiekt i umieszczana na stercie
object spakowanaWartość = wartośćPoczątkowa;

// Konieczne jest rzutowanie (odpakowanie), aby pracować z wartością jako int
int odpakowanaWartość = (int)spakowanaWartość;

Przykład struktury jako pola klasy:

// Obiekt klasy będzie na stercie
public class Kontener
{
    // Struktura jako pole klasy będzie przechowywana na stercie razem z obiektem Kontener
    public Punkt Współrzędne;
}

// Definicja struktury
public struct Punkt
{
    public int X;
    public int Y;
}

// Tworzenie obiektu klasy Kontener na stercie
Kontener c = new Kontener();

Przykład tablicy struktur:

// Tablica Punktów jest typem referencyjnym i jest umieszczana na stercie
Punkt[] tablicaPunktów = new Punkt[5];

// Elementy tablicy (struktury Punkt) będą przechowywane w pamięci przydzielonej dla tej tablicy
tablicaPunktów[0] = new Punkt { X = 1, Y = 2 };