05引用类型以及特殊引用类型string

基本

□ 哪些属于引用类型

类(object,string)，接口、数组、委托

□ 引用类型分配在哪里

● 引用类型变量位于线程栈。

● 引用类型实例分配在托管堆上。

● 当引用类型实例的大小小于85000bytes，被分配在GC堆上，当大于或等于85000bytes，被分配在LOH(Large Object Heap)上。

□ 变量(Variable)，对象(Object),实例(Instance)

变量：

变量分配在线程栈上。

变量可以是值类型，也可以是引用类型。

当变量是引用类型时，包含了对对象的引用(内存地址),也叫做"对象引用"。

对象：

对类、接口、委托和数组等的一个抽象描述。

实例：

在堆上创建的对象，称为对象实例。

□ 引用类型没有new意味着什么？

Object a = null;

Console.WriteLine(a.ToString());

运行报错"未将对象引用设置到对象实例"。

意思是，在线程栈上创建的变量a没有指向到堆上的对象实例。

□ 托管堆上的垃圾回收

GC会遍历所有托管堆上的对象，按照一定的递归遍历算法，对那些没有被引用的不可访问对象实施回收。

new的背后发生了什么

展开 class Program { static void Main(string[] args) { Person p; p = new Person(20); } }public class Person { public int _age;public Person(int age) { _age = age; }public Person() { } }

另外，引用类型的值，比如这里的引用类型Person中的值_age也被分配在托管堆上。

线程栈上的2个变量引用同一个对象实例的内存地址

线程栈上的2个变量引用同一个对象实例的内存地址，改变其中一个变量的值会影响到另外一个变量。

展开 class Program { static void Main(string[] args) { Person p1 = new Person(20); Person p2 = p1; Console.WriteLine("没有改变时p2的年龄是：" + p2._age + "岁"); p1._age = 18; Console.WriteLine("改变p1的值，p2的年龄也被改变了，现在是：" + p2._age + "岁,真好，年轻了！"); Console.ReadKey(); } }public class Person { public int _age;public Person(int age) { _age = age; }public Person() { } }

string类型是特殊的引用类型

□ 特殊性体现在

从应用角度体现了值类型语义，从内存角度实现为引用类型存储，位于托管堆。

□ 什么是string

可以看作是char的集合char[]

□ string创建与实例化

string str = "Hello";

以下错误

String str = new String("Hello");

因为System.String没有提供此构造函数

以下可以

Char[] cs = {'a', 'b','c'};

String strArr = new String(cs);

但很少使用这种方式。

□ 字符串的恒定性Immutability

是指字符串一经创建，就不可改变。

字符串一旦创建，在托管堆上分配一块连续的内存空间。

恒定性的好处：

对String对象的任意操作，不会改变原字符串。

操作字符串不会出现线程同步的问题。

成就了字符串驻留。

恒定性的不足：

因为恒定性，对字符串的任何操作，比如字符串比较，字符串链接，字符串格式化等都会创建新的字符串，这样造成内存与性能的双重损耗。如下：

public static void Main()

{

string str = "This is a test about immuntablility of string type.";

Console.WriteLine(str.Inseert(0,"Hi").Substring(19).ToUpper());

Console.WriteLine(str);

}

由于Insert，Substring,ToUpper这些方法，都会创建出新的临时字符串，而这些新的字符串不被其他代码引用的时候，就会被垃圾回收，造成性能上的损失。

恒定性的前提，String为密封类：

public sealed class String:IComparable, ICloneable,IConvertible,IComparable<string>,IEnumerable<char>,IEnumerable,IEquatable<string>

□ 字符串驻留String Interning

MSDN对于字符驻留的定义：公共语言运行库通过维护一个哈希表(Hash Table)来存放字符串，该表成为拘留池，也叫驻留池。

字符串驻留弥补了恒定性的不足：

对于相同的字符串，CLR不会不会为其分配内存空间，而是共享同一内存。

CLR内部维护了一个哈希表HashTable来管理其创建的大部分String对象。key是string本身,value是string对应的内存地址。

驻留的2个静态方法：

public static string Intern(string str);

当str位于作为key位于CLR的驻留池时，返回对str的引用，否则将str字符串添加到hash table中，作为key，并返回引用。

public static string IsInterned(string str);

当str位于作为key位于CLR的驻留池时，返回对str的引用，否则返回null引用,也不添加到hash table中。

□ 字符串驻留是进程级的

可以跨应用程序域AppDomain而存在，驻留池在CLR加载时创建，分配在System Domain中，被进程所有AppDomain所共享，其生命周期不受GC控制。

例子1：

static void Main(string[] args)

{

string strA = "ab";

string strB = "ab";

Console.WriteLine(ReferenceEquals(strA,strB));

string strC = "a";

string strD = strC + "b";

Console.WriteLine(ReferenceEquals(strA, strD));

strD = String.Intern(strD);

Console.WriteLine(ReferenceEquals(strA,strD));

Console.ReadKey();

}

返回：

true

false

true

分析：

● strA与strB内容相同，在hash table中的key相同，对应了一样的引用地址，所以返回true。

● strD的内容虽然与strA相同，但由于是动态生成的，不会把hash table中key为ab的引用地址赋值给strD,所以strA与strD引用地址不一样，返回false。

● strD = String.Intern(strD);手动对strD实施驻留，并发现hash table中已经有了ab这个key，就把对应的引用地址赋值给了strD,这样，strA与strD引用地址相同，返回true。

例子2：

static void Main(string[] args)

{

string s1 = "abc";

string s2 = "ab";

string s3 = s2 + "c";

Console.WriteLine(string.IsInterned(s3) ?? "null");

Console.WriteLine(ReferenceEquals(s1,s3));

Console.ReadKey();

}

返回：

abc

false

分析：

● string.IsInterned(s3)对s3进行手动驻留，发现hash table中abc这个key,于是，就返回abc的引用地址。但并没有把引用地址赋值给s3。

● s1和s3的引用地址还是不一样，返回false。

例子3：

static void Main(string[] args)

{

string strA = "abcdef";

string strC = "abc";

string strD = strC + "def";

Console.WriteLine(ReferenceEquals(strA,strD));

string StrE = "abc" + "def";

Console.WriteLine(ReferenceEquals(strA,StrE));

Console.ReadKey();

}

返回：

False,

true

分析：

● 因为strD = strC + "def"中strD的内容虽然与strA想同，但因为是动态生成的，不会被添加到hash table中，所以引用地址不一样，返回false。

● "abc"+"def在IL中呈现为abcdef，不是动态生成的，并且发现hash table中已经有了abcdef这个key,于是就把对应的引用地址赋值给了strE,这样strA和StrE就有了相同的引用地址，返回true。如图：

例子4：

static void Main(string[] args)

{

string s = "abc";

//IsInterned()获取字符串变量的引用

Console.WriteLine(string.IsInterned(s) ?? "null");

Console.ReadKey();

}

返回"abc"。

分析：通过string s = "abc"使得hash table中有abc这个key，当进行string.IsInterned(s)手动驻留判断的时候，发现有abc这个key，就把对应的引用地址返回。

例子5：

class Program

{

static void Main(string[] args)

{

string s = "ab";

s += "c";

//IsInterned()获取字符串变量的引用

Console.WriteLine(string.IsInterned(s) ?? "null");

Console.ReadKey();

}

}

返回null

分析：通过string s = "ab";使得hash table中有了ab这个key，s += "c"是动态拼接，不会把abc放到hashtable中，所以当通过string.IsInterned(s)手动驻留判断的时候，发现没有abc这个key，就返回null。

参考资料

※ 《.NET之美》--张子阳,感谢写了这么好的书！

※ 《你必须知道的.NET》--王涛，worktile创始人，感谢！