C#类中结构体成员的内存分配与性能相关技术问询

对应的示例代码：

namespace StructInClass
{
    internal class Program
    {
        static void Main(string[] args)
        {
            SomeClass someClass = new SomeClass();
            someClass.DoStaff();
        }
    }

    public class SomeClass
    {
        private SomeStruct _someStruct;

        public SomeClass() =>        
            _someStruct = new SomeStruct();  
    
        public void DoStaff() => 
            _someStruct = new SomeStruct(4, 5); 
    }

    public readonly struct SomeStruct
    {
        public readonly int x;
        public readonly int y;

        public SomeStruct()
        {
            this.x = 0;
            this.y = 1;  
        }

        public SomeStruct(int x, int y)
        {
            this.x = x;
            this.y = y;
        }
    }
}

问题1：创建SomeClass实例时，其内部的SomeStruct实例是否会被分配在堆上，而指向该结构体的指针位于栈中？ #

不会。SomeClass是引用类型，它的实例会被分配在托管堆上。而_someStruct作为SomeClass的字段，是值类型，它会直接嵌入在SomeClass实例的堆内存空间中——不存在所谓的“指向结构体的指针”，值类型字段是引用类型对象的一部分，和对象的其他数据（比如同步块索引、类型指针）一起存储在堆上，没有额外的指针开销。

问题2：调用someClass.DoStaff()方法时，新的SomeStruct实例是否在DoStaff方法的栈帧中创建，之后指针指向栈中的新结构体实例？ #

不完全正确。调用DoStaff()时，new SomeStruct(4,5)确实会在方法的栈帧中创建一个临时的结构体实例，但赋值给_someStruct的过程是值拷贝：临时结构体的x和y值会被复制到SomeClass实例堆内存中的_someStruct字段位置，而不是用指针指向栈中的临时实例。当DoStaff()方法执行完毕，栈帧销毁，临时结构体实例也会被清理，但堆上的_someStruct字段已经持有了新的数值。整个过程不存在指针指向栈的操作，值类型的赋值始终是直接拷贝数据。

问题3：从性能角度考量，声明SomeStruct类型的私有字段是否具备实际意义？ #

具备实际意义，主要体现在以下几点：

• 无GC开销：作为值类型字段，结构体不会像引用类型那样需要单独的堆分配和GC回收，减少了内存管理的负担，尤其在频繁创建或修改SomeClass实例的场景下，优势更明显。
• 内存布局优化：结构体的字段是连续存储的，和把x、y作为单独的类字段相比，内存访问的局部性更好，CPU缓存命中率更高，间接提升访问效率。
• readonly struct的额外优化：你声明的是readonly struct，编译器会对不可变值类型做更多优化——比如避免不必要的拷贝操作，因为结构体不可变，编译器可以安全地共享实例或直接内联数据。
• 语义封装：虽然这不属于纯性能范畴，但将相关的字段封装成结构体，能让代码逻辑更清晰，减少错误，间接降低维护成本，且不会带来性能损耗。

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