值类型:只需要一段单独的内存,用于存储实际的数据,数据存储在栈中。
引用类型:需要两端内存,第一段存储实际的数据,位于堆中;第二段存储引用,指向数据在堆中的存放位置(引用类似于C语言中的指针,用于存放地址),引用存储在栈中。
但值类型并非一定存放在栈中,引用类型也并非一定在堆和栈中都有存储,原因见下。
对于引用类型的任何对象,它所有的数据成员都存放在堆里,无论它们是值类型还是引用类型。以图中MyType
类型 为例,尽管成员A是值类型,但它是MyType实例数据的一部分,因此和对象的数据一起被存放在堆里;成员B是引用红类型,它的数据部分始终存放在堆里,但由于它是MyType实例数据的一部分,它的引用部分也被存放在堆里,封装在MyType对象的数据部分中。
值类型和引用类型分别作为值参数和引用参数的情况(以下所有图中,a是实参,f是形参):
①值类型做值参数,实参和形参是两个东西,在方法中改变形参的值不会影响实参的值,如下图中的a2和f2。
②引用类型做值参数,实参和形参的引用(存储在栈中的那部分)是两个东西,但两个引用指向堆中同一个数据,因此在方法中改变形参会影响实参的值(类似于C中对指针的操作会影响指针指向的数据,指针函数),如下图中的a1和f1;
由于形参和实参是两个东西,所以改变形参的指向时并不影响实参的指向,如下图的a1和f1。
③值类型做引用参数,实参和形参是一个东西,在方法中改变形参的值会影响实参的值,如下图的a2和f2。
④引用类型做引用参数,实参和形参是一个东西,并且指向堆中同一个数据,因此在方法中改变形参会影响实参的值,如下图的a1和f1;
由于形参和实参是一个东西,所以改变形参的指向时也就同时改变了实参的指向,如下图的a1和f1。
总而言之,值类型和引用类型作为值参数和引用参数时的区别为:
①对值类型来说,作为值参数时形参和实参是两个东西,改变一个不影响另一个;作为引用参数时形参和实参是一个东西,改变一个会影响另一个。
②对于引用类型来说,作为值参数时形参和实参的引用部分是两个东西,但他们指向同一个数据,改变一个的数据会影响另一个的数据,但改变一个的指向不会影响另一个的指向;作为引用参数时形参和实参是一个东西,不管是改变数据还是改变指向都会影响另一个。