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

最佳答案

好吧，让我们看看我能不能说得更清楚一点。

首先，Ash 是对的:问题不在于值类型变量的分配位置。这是一个不同的问题 - 答案不仅仅是“在堆栈上”。它比那更复杂(并且被 C# 2 变得更加复杂)。我有一个 article on the topic并且会在需要时扩展它，但让我们只处理 new运算符(operator)。

其次，所有这一切实际上取决于您所谈论的级别。我正在查看编译器如何处理源代码，就它创建的 IL 而言。 JIT 编译器很可能会在优化大量“逻辑”分配方面做一些聪明的事情。

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

最后，所有这些都仅适用于当前的实现。 C# 规范并没有详细说明这一点 - 它实际上是一个实现细节。有些人认为托管代码开发人员真的不应该关心。我不确定我会走那么远，但值得想象一个实际上所有局部变量都存在于堆上的世界 - 这仍然符合规范。
new 有两种不同的情况。值类型的运算符:您可以调用无参数构造函数(例如 new Guid() )或有参数构造函数(例如 new Guid(someString) )。这些产生显着不同的IL。要了解原因，您需要比较 C# 和 CLI 规范:根据 C#，所有值类型都有一个无参数构造函数。根据 CLI 规范，没有值类型具有无参数构造函数。 (有时使用反射获取值类型的构造函数-您不会找到无参数的构造函数。)

C# 将“用零初始化值”视为构造函数是有意义的，因为它使语言保持一致——你可以想到 new(...)像往常一样调用构造函数。 CLI 以不同的方式思考它是有意义的，因为没有真正的代码可以调用——当然也没有特定于类型的代码。

初始化值后，您将如何处理该值也会有所不同。 IL 用于

Guid localVariable = new Guid(someString);

myInstanceOrStaticVariable = new Guid(someString);

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());
    }
}

.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
}

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

关于c# - 在结构上使用 "new"是在堆还是堆栈上分配它？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/203695/