.NET 内存基础(通过内存体验类型、传参、及装箱拆箱)

该随笔受启发于《CLR Via C#(第三版)》第四章4.4运行时的相互联系

一、内存分配的几个区域

1、线程栈

局部变量的值类型 和 局部变量中引用类型的指针(或称引用)会被分配到该区域上(引用类型的一部分内存被分配到该区域内)。

该区域由系统管控,不受垃圾收集器的控制。当所在方法执行完毕后,局部变量会自动释放(引用类型只释放指针,而不释放指针指向的数据)。

堆栈的执行效率很高,但容量有限。

2、GC Heap(回收堆)

用于分配小对象(引用类型),如果引用类型的实例大小 小于85000个字节,则会被分配到该区域上。

3、LOH(Large Object Heap)

超过 85000个字节的大对象(引用类型)会被分配到该区域上。

LOH 和 GC Heap区别在于:当有内存分配或者回收时,垃圾收集器可能会对GC Heap进行压缩,而 LOH 不会被压缩,只是在垃圾回收时被回收。

二、栈桢(stack frame)

栈桢是实现函数调用的数据结构,从逻辑上看,栈桢是一个函数执行的环境(上下文),包括:函数参数、返回地址和函数局部变量。

注意:上述的“返回地址” 不是函数的返回值,而是完成函数调用后的CPU接下来要执行的代码的位置。

更多参见: 维基百科 call stack

三、浅拷贝 和 深拷贝(Clone、或克隆)

浅拷贝和深拷贝是内存拷贝的两种方式,在传参的过程中通常会发生内存拷贝并且是浅拷贝,比如下面代码、两个参数就是两次浅拷贝。

        public void Test1()
        {
            string name = "test1";
            int size = 1;
            Test2(name, size);// 两次浅拷贝
        }

        public void Test2(string pName, int pSize)
        {
        }

 浅拷贝 前后的内存结果如下图所示:

浅拷贝对于值类型(例如:int),拷贝的是栈中的具体值。

浅拷贝对于引用类型(例如:string),拷贝的是栈中的引用、其新引用 所指向的 托管堆中的地址 还是原来的地址。

深拷贝和浅拷贝的区别在于对 堆中数据(即对象)的处理

浅拷贝只拷贝栈中的引用,不拷贝堆中的对象,新引用指向原有对象。

深拷贝会拷贝栈中的引用,并且会在堆中创建新的对象,新对象的属性值 “可能” 来源于原有对象(因为、在C#中实现深拷贝需要自己编写额外的代码,

即实现 ICloneable 接口,深拷贝的结果是不确定的。不过建议大家尽可能避免使用该接口),新引用地址指向新的对象。因此,深拷贝只针对于引用类型,

对于值类型没有太多的意义。

四、Demo

如果说前三项是做铺垫,那么该Demo算是正文了。

事先已经定义好的如下类:

    public class Data
    {
        public string Name;
        public int Size;
    }

假设代码即将调用Test1函数:

        public void Test1()
        {
            string name = "test1";
            int size = 1;

            Data data = new Data() { Name = "test1", Size = 1 };

            Test2(name, size, data);

            object obj = size;
            int temp = (int)obj;
        }

        public void Test2(string pName, int pSize, Data pData)
        {
            pName = "test2";
            pSize = 2;

            pData.Name = "test2";
            pData.Size = 2;

            pData = new Data() { Name = "test3", Size = 3 };
        }

此时线程栈和托管堆内的情况如下图所示(图1):

1、开始调用Test1函数,这时会向栈中压入一个栈桢(stack frame)。

  栈桢包含3部分数据:

  1)函数参数,当然Test1函数没有参数。

  2)返回地址,在Test1函数中,以当前代码环境为例该地址没有什么实际意义不作说明。

  3)函数局部变量,此时Test1函数中的所有的局部变量都会被压入栈。 有如下五个局部变量会被压入栈:

string name, int32 size, Data data, object obj, int32 temp。(当然实际是六个局部变量,第六个是编译器自动生成的,在随笔结尾处再做解释。)

压入一个栈桢后,内存结果如下图所示(图2):

2、接下来执行Test1函数的代码,给name赋值,给size赋值,给data赋值。内存结果将会如下图所示(图3):

上图中的红线编译器生成的变量 将在随笔结尾出做解释。

3、接下来将调用Test2函数,这时还会向栈中压入一个栈桢。

栈桢包含3部分数据:

  1)函数参数,Test2函数有三个参数,三个参数都是浅拷贝。

  2)返回地址,该地址为调用Test2函数代码位置的下一行(或者称下一个指令)的位置,即:

obj = size; // 在调用Test1函数压入栈桢的时候已经完成了 object obj; 的操作

  完成函数调用后,将执行上述代码。

  3)函数局部变量,编译器会自动生成一个变量(随笔结尾处,将做出解释)

故,此时的内存结果如下图所示(图4):

两条橙色线是参数浅拷贝的结果。

4、 在执行完Test2函数的函数体,未返回Test1函数之前,内存结果如下图所示(图5):

红线 将在随笔结尾处做解释。

黄线 需要注意,string是特殊的引用类型,其外在表现和值类型一致,但其本质上还是引用类型。由于string的不可变性,对string的每一次赋值

  都会产生一个新的对象(如果新对象不存在),所以导致了黄线的出现。

浅绿线 我想这条线应该没有问题吧。

5、 完成Test2函数的调用,代码将返回到 Test2函数栈桢返回地址所示位置,在这一过程中 Test2函数栈桢 将被弹出,结果如下图所示(图6):

托管堆中的不被使用的对象将由GC进行自动回收,被回收的时间不确定。

6、 由3可以知,接下来将执行 obj = size; 的操作——装箱,从字面上可以这样理解:将值类型装进引用类型的箱子里。

大致的操作过程如下:

  1)首先、在堆中创建一个新的对象。(由于该操作导致装箱操作的性能降低)

  2)将size的值复制到对象中。

  3)最后将obj的引用指向新创建的对象。

最后的结果如下图所示(图7):

7、最后一个操作——拆箱

装箱,是将值类型装进引用类型的箱子里,在这一过程中,发生对象创建和内存复制。

然而拆箱,并没有那么复杂,也没有类似的“拆”的过程,只是将对象中的值类型读取出来(最耗时的操作应该是寻找值类型所在的内存地址的操作),相对于装箱,其性能要好很多。

最终结果如下图所示(图8):

五、 语法糖——对象初始化器

如下的两个代码片段是完全等效的:

            Data temp = new Data(); // 编译器自动生成的变量名不一定叫temp
            temp.Name = "test1";
            temp.Size = 1;
            data = temp;
       data = new Data() { Name = "test1", Size = 1 };

第二种写法,可以看作是一种简写,编译器在编译的时候会将第二种写法的代码进行转化,转化成第一种写法。所以对象初始化器,C#3.0的语法新特性,

完全是一种语法糖,CLR没有起到任何作用。

当看到这的时候,再想想上面的红线 一切迎刃而解。

时间: 2024-10-16 11:13:10

.NET 内存基础(通过内存体验类型、传参、及装箱拆箱)的相关文章

基本类型包装类、自动装箱拆箱

基本类型包装类 public class Demo03 { public static void main(String[] args) { //字符串转基本数据类型 String str="12"; int strint=Integer.parseInt(str); System.out.println(strint+1);  //13 String s2="2.3"; double dou=Double.parseDouble(s2); System.out.p

java基础1.5版后新特性 自动装箱拆箱 Date SimpleDateFormat Calendar.getInstance()获得一个日历对象 抽象不要生成对象 get set add System.arrayCopy()用于集合等的扩容

8种基本数据类型的8种包装类 byte Byte short Short int Integer long Long float Float double Double char Character boolean Boolean Integer a=127; Integer b=127;//虚拟机自动装箱时进行了特殊处理,-127~128以下的自动取有过的 System.out.println(a==b);结果为true 如果是Integer a=128; Integer b=128; Sys

PHP_零基础学php_3PHP函数、传参函数、默认参数、函数返回值

<?php function say_hello() //无参数 { $name="tang"; echo "hello,".$name; echo "<br />"; echo "<hr />"; } say_hello();//函数调用 function say_helloS($some_name)//有参数 { echo "hello,".$some_name; echo

NET中的类型和装箱/拆箱原理

谈到装箱拆箱,DebugLZQ相信给位园子里的博友一定可以娓娓道来,大概的意思就是值类型和引用类型的相互转换呗---值类型到引用类型叫装箱,反之则叫拆箱.这当然没有问题,可是你只知道这么多,那么DebugLZQ建议你花点时间看看楼主这篇文章,继续前几篇博文的风格--浅谈杂侃. 1. .NET中的类型 为了说明装箱和拆箱,那首先必须先说类型.在.NET中,我们知道System.Object类型是所有内建类型的基类.注意这里说的是内建类型,程序员可以编写不继承子自System.Object的类型,这

值类型&amp;引用类型,装箱&amp;拆箱

值类型:声明一个值类型变量,会在栈上分配一个空间,空间里存储的就是变量的值引用类型:声明一个引用类型变量,会在栈中分配一个空间,存储一个引用,这个引用指向了一个托管堆. 值类型:struct,枚举,数值类型,bool类型引用类型:数组,类,接口,委托(delegate),Object,string 可以看下下面的例子 public class Person { public string Name { get; set; } public int Age { get; set; } } publ

6个重要的.NET概念:栈,堆,值类型,引用类型,装箱,拆箱

6个重要的.NET概念:栈,堆,值类型,引用类型,装箱,拆箱 引言 本篇文章主要介绍.NET中6个重要的概念:栈,堆,值类型,引用类型,装箱,拆箱.文章开始介绍当你声明一个变量时,编译器内部发生了什么,然后介绍两个重要的概念:栈和堆:最后介绍值类型和引用类型,并说明一些有关它们的重要原理. 最后通过一个简单的示例代码说明装箱拆箱带来的性能损耗. 声明变量的内部机制 在.NET程序中,当你声明一个变量,将在内存中分配一块内存.这块内存分为三部分:1,变量名:2,变量类型:3,变量值. 下图揭示了声

包装类型、装箱拆箱、基本类型速度比较

首先是包装类型 Long sum = Long.valueOf(0); long t1 = System.currentTimeMillis(); for (Long i = Long.valueOf(0); i < Integer.MAX_VALUE/2; i++) { sum += i; } t1 = System.currentTimeMillis() - t1; System.out.println("packaging took "+ t1 +" sum =

深入C#内存管理来分析值类型&amp;引用类型,装箱&amp;拆箱,堆栈几个概念组合之间的区别

C#初学者经常被问的几道辨析题,值类型与引用类型,装箱与拆箱,堆栈,这几个概念组合之间区别,看完此篇应该可以解惑. 俗话说,用思想编程的是文艺程序猿,用经验编程的是普通程序猿,用复制粘贴编程的是2B程序猿,开个玩笑^_^. 相信有过C#面试经历的人,对下面这句话一定不陌生: 值类型直接存储其值,引用类型存储对值的引用,值类型存在堆栈上,引用类型存储在托管堆上,值类型转为引用类型叫做装箱,引用类型转为值类型叫拆箱. 但仅仅背过这句话是不够的. C#程序员不必手工管理内存,但要编写高效的代码,就仍需

以Integer类型传参值不变来理解Java值传参

最近在写代码的时候出了一个错误,由于对值引用理解的不深,将Integer传入方法中修改,以为传入后直接修改Integer中的值就不用写返回值接收了,虽然很快发现了问题,但还是来总结一下 首先是代码: public static void main(String[] args){ Integer a1 = 5; updateInteger(a1); System.out.println(a1); } public static void updateInteger(Integer var){ va