C#中包含类引用的struct是存储在栈还是堆上？

核心结论 #

结构体的存储位置只会影响其内部字段本身的存储，不会改变引用类型指向的实例的存储规则：所有类的实例永远分配在托管堆上。

针对示例代码的逐行说明 #

public class A {
    public int Value { get; set; }
} 

struct Rectangle
{
    public int width;
    public int height;
    public A a;
}      

static void Main(string[] args)
{
    Rectangle r ; 
    r.width = 5;  
    r.a = new A(); 
}

• 局部变量r作为值类型的局部变量，本身分配在栈上，它包含的三个字段width、height、a的本身内容都存在栈上：两个int存的是实际数值，a存的是指向A类实例的内存地址。
• 执行r.a = new A()时，new A()创建的A类实例会分配在托管堆上，栈上的a字段仅存储该堆实例的地址引用，不会把A实例本身存到栈里。

常见误区补充 #

• 不要误认为引用类型的实例会跟着引用的存储位置走：不管引用存在栈上的结构体里、还是存在堆上的类字段里，引用指向的类实例永远在堆上。
• 结构体本身也不是永远分配在栈上：当结构体被装箱、作为类的成员字段、被闭包捕获、或者存储在数组中时，整个结构体都会分配在堆上，此时结构体内部的a引用字段本身也存在堆上，但它指向的A类实例依然是在堆上的另一块内存空间。

内容的提问来源于stack exchange，提问作者ABHISHEK Bandil