在结构上使用"new"在堆或堆栈上分配它吗？

使用new运算符创建类的实例时,将在堆上分配内存.当您使用new运算符创建结构的实例时,在堆上还是堆栈上分配内存？

1> Jon Skeet..：

---

好的,让我们看看我是否可以更清楚地说明这一点.

首先,Ash是对的:问题不在于值类型变量的分配位置.这是一个不同的问题 - 答案不仅仅是"在堆栈上".它比那更复杂(并且使C#2变得更加复杂).我有一篇关于这个主题的文章,并会根据要求进行扩展,但我们只讨论new运营商.

其次,所有这些都取决于你所谈论的程度.我正在研究编译器对源代码的作用,就其创建的IL而言.JIT编译器在优化掉大量"逻辑"分配方面做得很聪明.

第三,我忽略了泛型,主要是因为我实际上并不知道答案,部分是因为它会使事情变得太复杂.

最后,所有这些都只是当前的实现.C#规范没有详细说明 - 它实际上是一个实现细节.有些人认为托管代码开发人员真的不应该关心.我不确定我会走得那么远,但是值得设想一个世界,其实所有局部变量都存在于堆上 - 这仍然符合规范.

---

new操作符对值类型有两种不同的情况:您可以调用无参数构造函数(例如new Guid())或参数构造函数(例如new Guid(someString)).这些产生显着不同的IL.要了解原因,需要比较C#和CLI规范:根据C#,所有值类型都有一个无参数构造函数.根据CLI规范,没有值类型具有无参数构造函数.(有时候用反射来获取值类型的构造函数 - 你将找不到无参数的构造函数.)

这是有道理的,C#治疗作为构造"用零初始化值",因为它使语言一致的-你能想到的new(...)作为总是调用构造函数.CLI以不同的方式考虑它是有道理的,因为没有真正的代码可以调用 - 当然也没有类型特定的代码.

在初始化之后,您对该值的处理也会有所不同.IL用于

Guid localVariable = new Guid(someString);

与用于的IL不同:

myInstanceOrStaticVariable = new Guid(someString);

此外,如果该值用作中间值,例如方法调用的参数,则事情会再次略有不同.为了显示所有这些差异,这里是一个简短的测试程序.它没有显示静态变量和实例变量之间的区别:IL在stfld和之间会有所不同stsfld,但这就是全部.

using System;

public class Test
{
    static Guid field;

    static void Main() {}
    static void MethodTakingGuid(Guid guid) {}


    static void ParameterisedCtorAssignToField()
    {
        field = new Guid("");
    }

    static void ParameterisedCtorAssignToLocal()
    {
        Guid local = new Guid("");
        // Force the value to be used
        local.ToString();
    }

    static void ParameterisedCtorCallMethod()
    {
        MethodTakingGuid(new Guid(""));
    }

    static void ParameterlessCtorAssignToField()
    {
        field = new Guid();
    }

    static void ParameterlessCtorAssignToLocal()
    {
        Guid local = new Guid();
        // Force the value to be used
        local.ToString();
    }

    static void ParameterlessCtorCallMethod()
    {
        MethodTakingGuid(new Guid());
    }
}

这是类的IL,不包括不相关的位(例如nops):

.class public auto ansi beforefieldinit Test extends [mscorlib]System.Object    
{
    // Removed Test's constructor, Main, and MethodTakingGuid.

    .method private hidebysig static void ParameterisedCtorAssignToField() cil managed
    {
        .maxstack 8
        L_0001: ldstr ""
        L_0006: newobj instance void [mscorlib]System.Guid::.ctor(string)
        L_000b: stsfld valuetype [mscorlib]System.Guid Test::field
        L_0010: ret     
    }

    .method private hidebysig static void ParameterisedCtorAssignToLocal() cil managed
    {
        .maxstack 2
        .locals init ([0] valuetype [mscorlib]System.Guid guid)    
        L_0001: ldloca.s guid    
        L_0003: ldstr ""    
        L_0008: call instance void [mscorlib]System.Guid::.ctor(string)    
        // Removed ToString() call
        L_001c: ret
    }

    .method private hidebysig static void ParameterisedCtorCallMethod() cil  managed    
    {   
        .maxstack 8
        L_0001: ldstr ""
        L_0006: newobj instance void [mscorlib]System.Guid::.ctor(string)
        L_000b: call void Test::MethodTakingGuid(valuetype [mscorlib]System.Guid)
        L_0011: ret     
    }

    .method private hidebysig static void ParameterlessCtorAssignToField() cil managed
    {
        .maxstack 8
        L_0001: ldsflda valuetype [mscorlib]System.Guid Test::field
        L_0006: initobj [mscorlib]System.Guid
        L_000c: ret 
    }

    .method private hidebysig static void ParameterlessCtorAssignToLocal() cil managed
    {
        .maxstack 1
        .locals init ([0] valuetype [mscorlib]System.Guid guid)
        L_0001: ldloca.s guid
        L_0003: initobj [mscorlib]System.Guid
        // Removed ToString() call
        L_0017: ret 
    }

    .method private hidebysig static void ParameterlessCtorCallMethod() cil managed
    {
        .maxstack 1
        .locals init ([0] valuetype [mscorlib]System.Guid guid)    
        L_0001: ldloca.s guid
        L_0003: initobj [mscorlib]System.Guid
        L_0009: ldloc.0 
        L_000a: call void Test::MethodTakingGuid(valuetype [mscorlib]System.Guid)
        L_0010: ret 
    }

    .field private static valuetype [mscorlib]System.Guid field
}

如您所见,有许多不同的指令用于调用构造函数:

newobj:在堆栈上分配值,调用参数化构造函数.用于中间值,例如,用于赋值给字段或用作方法参数.

call instance:使用已分配的存储位置(无论是否在堆栈中).这在上面的代码中用于分配局部变量.如果使用多个new调用为同一个局部变量分配了一个值,它只是在旧值的顶部初始化数据 - 它不会每次分配更多的堆栈空间.

initobj:使用已分配的存储位置,只擦除数据.这用于我们所有的无参数构造函数调用,包括分配给局部变量的调用.对于方法调用,有效地引入了一个中间局部变量,并且其值被擦除initobj.

我希望这能说明这个话题有多复杂,同时又能为它提供一些亮点.在某些概念意义上,每次调用都会new在堆栈上分配空间 - 但正如我们所见,即使在IL级别,这也不是真正发生的事情.我想强调一个特例.采取这种方法:

void HowManyStackAllocations()
{
    Guid guid = new Guid();
    // [...] Use guid
    guid = new Guid(someBytes);
    // [...] Use guid
    guid = new Guid(someString);
    // [...] Use guid
}

"逻辑上"有4个堆栈分配 - 一个用于变量,一个用于三个new调用 - 但实际上(对于该特定代码)堆栈仅分配一次,然后重用相同的存储位置.

编辑:为了清楚起见,这在某些情况下才是正确的...特别是,guid如果Guid构造函数抛出异常,则该值将不可见,这就是C#编译器能够重用相同堆栈槽的原因.有关更多详细信息,请参阅Eric Lippert 关于值类型构造的博客文章以及不适用的案例.

我在写这个答案时学到了很多 - 如果有任何不清楚的地方请请澄清!

---

Guid已经是一个结构.请参阅http://msdn.microsoft.com/en-us/library/system.guid.aspx我不会选择此问题的引用类型:)

---

@Ani:实际上,Eric在帖子底部附近称之为:"现在,Wesner的观点是什么？是的,事实上,如果它是一个堆栈分配的局部变量(而不是闭包中的字段)在构建函数调用的"try"嵌套的同一级别,我们不会通过这个新的临时性初始化,初始化临时,并将其复制到本地.在那个特定(和常见)的情况下,我们可以优化临时和副本的创建,因为C#程序不可能观察到差异!"

2> Jeffrey L Wh..：

---

包含结构字段的内存可以在堆栈或堆上分配,具体取决于具体情况.如果struct-type变量是某个匿名委托或迭代器类未捕获的局部变量或参数,则它将在堆栈上分配.如果变量是某个类的一部分,那么它将在堆上的类中分配.

如果在堆上分配结构,则实际上不需要调用new运算符来分配内存.唯一的目的是根据构造函数中的任何内容设置字段值.如果未调用构造函数,则所有字段都将获得其默认值(0或null).

类似地,对于在堆栈上分配的结构,除了C#要求所有局部变量在使用之前设置为某个值,因此您必须调用自定义构造函数或默认构造函数(不带参数的构造函数始终可用于结构).

3> Guvante..：

---

简单地说,new是结构的用词不当,调用new只是调用构造函数.结构的唯一存储位置是它定义的位置.

如果它是一个成员变量,它将直接存储在它定义的任何内容中,如果它是局部变量或参数,则它存储在堆栈中.

将其与类对比,这些类在结构完整存储的任何地方都有引用,而引用指向堆上的某处.(堆栈中的本地/参数)

它可能有助于深入了解C++,其中class/struct之间没有真正的区别.(在语言中有类似的名称,但它们只引用事物的默认可访问性)当您调用new时,您将获得指向堆位置的指针,而如果您有非指针引用,则它将直接存储在堆栈中或在另一个对象中,ala结构在C#中.

4> Esteban Aray..：

---

与所有值类型一样,结构总是位于声明它们的位置.

有关何时使用结构的更多详细信息,请在此处查看此问题.这里有一个问题,关于结构的更多信息.

编辑:我已经mistankely回答他们总是进入堆栈.这是不正确的.

---

乔恩,你想念我的观点.这个问题最初被问到的原因是,如果你使用new运算符来创建它,那么很多开发人员(直到我读到CLR通过C#)才会清楚地分配结构.说"结构总是走到宣布的地方"并不是一个明确的答案.