C#中的两种数据类型---值类型和引用类型

    我们都知道，c#的两大数据类型分别为值类型(int,float,double,char,DataTime)和引用类型(类、托管、数组和接口)。很多人都能说出值类型包括简单类型、结构体类型和枚举类型，引用类型包括自定义类、数组、接口、委托等，但二者之间的联系和区别是什么，什么时候用struct什么时候用class时，就常常混淆不清了。为此，了解值类型和引用类型的本质差异就变的很有必要了。

    值类型直接存储其值，变量本身就包含了其实例数据，而引用类型保存的只是实例数据的内存引用。因此，一个值类型变量就永远不会影响到其他的值类型变量，而两个引用类型变量则很有可能指向同一地址，从而发生相互影响。
    从内存分配上来看，值类型通常分配在线程的堆（heap）栈（stack）上，作用域结束时，所占空间自行释放，效率高，无需进行地址转换，而引用类型通常分配在托管堆上，由GC（Garbage Collection[垃圾回收]）来控制其回收，需要进行地址转换，效率降低，这也正是c#需要定义两种数据类型的原因之一。
    值类型均隐式派生自System.ValueType，而System.ValueType又直接派生于System.Object,每种值类型均有一个隐式的默认构造函数来初始化该类型的默认值，注意所有的值类型都是密封（sealed）的，所以无法派生出新的值类型。而且System.ValueType本身是一个类类型，而不是值类型，因为它重写了object的Equals()方法，所以对值类型将按照实例的值来比较，而不是比较引用地址。
    C#的统一类型系统，使得值类型可以转化为对象来处理，这就是常说的装箱和拆箱。由于装拆箱需要装建全新对象或做强制类型转换，这些操作所需时间和运算要远远大于赋值操作，因此不提倡使用它，同时也要尽量避免隐式装拆箱的发生。
注：栈是操作系统分配的一个连续的内存区域，用于快速访问数据。因为值类型的容量是已知的，因此它可存储在栈上。而托管堆是CLR在应用程序启动时为应用程序预留的一块连续内存区，是用于动态内存分配的内存区，引用类型的容量只有到运行时才能确定，所以用堆来存储引用类型。

C#的两种数据类型延伸之一--嵌套类型的内存分配

    对于引用类型嵌套值类型，以及值类型嵌套引用类型的情况下，内存分配可以根据以下两条规律来判断：

    引用类型始终部署在托管堆上；

    值类型总是分配在它声明的地方：作为字段时，跟随其所属的对象存储；作为局部变量时，存储在栈上。

C#的两种数据类型延伸之二--string类型

    string是一个很有意思的引用类型，为什么说它很有意思呢？因为它表现了很多值类型的特点。请看一下代码示例：

示例1：

string str1 = "abc";
string str2 = str1;
str1 = "123";
Console.WriteLine(str2);

string a = "hello";
string b = "h";
b += "ello";
Console.WriteLine(a == b);

示例1的输出结果是abc，改变str1的值对str2没有影响。

示例2的输出结果是True。

    这样的结果会使我们误以为string就是值类型。其实不然，示例1中str1 = "123"语句编译器私底下创建了一个新的字符串对象来保存新的字符序列"123"，也就是此str1已非彼str1了，“此”str1的值的改变也就不能影响“彼”str1的值了，当然str2的值也就不会改变了。实质上str1 = "123"是str1=new string("123")的简写，它的每一次赋值都会抛掉原来的对象而生成一个新的字符串对象，分配新的内存空间，因此string是不可改变的。如果要创建可修改的字符串，可使用stringbuilder以获得更好的性能。至于示例2是因为为了方便比较字符串的值重定义了string的运算符== 和 !=。

C#的两种数据类型延伸之三--struct和class 

    class和struct的语法基本相同，从声明到使用，都很相似。但是struct的约束要比class多，理论上，struct能做到的class都能做到，但class能做到的stuct却不一定做的到，也就是说struct都能被class所代替。那么为什么还要使用struct呢？存在即是合理的，struct在很多方面有着性能优势。让我们看看它们的主要区别在哪里？

数据类型不一样，struct是值类型，class是引用类型，因此它们具有所有值类型和引用类型之间的差异。由于堆栈的执行效率要比堆的执行效率高，但是堆栈资源却很有限，不适合处理逻辑复杂的大对象，因此struct常用来处理作为基类型对待的小对象，而class来处理某个商业逻辑。
从继承性来看，struct既不能继承也不能被继承，但是可以实现接口，而Class就可以完全扩展了。
内部结构有区别，struct只能添加带参的构造函数，不能使用abstract和protected等修饰符，不能初始化实例字段，但是值得注意的是，struct可以重写System.Object的3个虚方法，Equals()、ToString()和GetHashTable()，Class没有这些限制。
比较struct和class的不同，可以得出以下几条struct和class的使用原则：

1 在表示诸如点、矩形等主要用来存储数据的轻量级对象时，首选struct。

2 在表示数据量大、逻辑复杂的大对象时，首选class。

3 在表现抽象和多级别的对象层次时，class是最佳选择。

 

1.1数据类型分为值类型和引用类型。

    值类型主要包含简单类型、结构类型和枚举类型。引用类型包括类、托管、数组和接口。值类型的变量其内含为变量的值本身；C#语言中的另一大数据类型是引用类型，引用类型也称为参考类型。和值类型相比，引用类型的变量不直接存储所包含的值，而是指向它所要存储的值。换句话说，值类型在其内存空间中存储的是实际数据，而引用类型在其内存空间中存储的是一个指针，该指针指向存储数据的另一块内存位置。

    介绍两个经常用到的类：
（1）object类
           object类是所有其它类型的基类，C#语言中的所有类型都直接或间接地从object类中继承。因此，对一个object的变量可以赋予任何类型的值：
           float f = 63.8 ;
           object obj1 ;
           obj1 = f ;
（2）string类
           C#还定义了一个基本的类string，表示一个Unicode字符序列，专门用于对字符串的操作。

      2.可以从下面四个层面来理解变量：变量的名字、变量的值、变量的数据类型、变量的作用域。
       静态变量作用域：带有“static”修饰符声明的成员变量为静态成员变量。当静态成员变量所属类被装载后，静态成员变量生命周期开始，直到包含该所属类的程序运行结束后，静态成员变量生命周期结束。在C#中不存在类似其他语言的全局变量，使用公共静态成员变量可以实现类似的效果。
       实例变量作用域：不带 “static”修饰符声明的变量为实例成员变量。当一个类的实例被创建，其实例成员变量生命周期开始，直到该实例不在被使用且所占用内存空间被释放，其实例成员变量生命周期结束。实例成员变量和该类的具体实例具有相同的生命周期。
       方法参数作用域：方法参数变量的生命周期只在该方法的语句块内存在，方法被调用时，它的生命周期开始，方法执行完毕，它的生命周期结束。
       局部变量作用域：局部变量在其被定义的位置，生命周期开始，直到该局部变量被定义的语句块执行结束后，该局部变量的生命周期结束。
       异常处理参数作用域：异常处理参数变量的生命周期只在错误处理语句块内（即catch语句块内）存在。变量的访问修饰符限制了变量的可见性，可以用public | protected | private | internal | protected internal 等来限制，如果不使用修饰符，默认情况下为private。

      3.一维数组是最基本的数组类型，其声明方法如下：
           数据类型 [ ] 数组名 ;
           举例：
           int [ ] anArray ; // 声明一个整型的一维数组
      具有两个维度的数组是二维数组，其声明方法如下：
      数据类型 [ , ] 数组名 ;
      举例：
            int [ , ] anArray ; // 声明一个整型的二维数组
            float [ , ]anArrayOfFloats; // 声明一个浮点型的二维数组
            string [ , ] anArrayOfStrings; // 声明一个字符串型的二维数组
      声明数组变量时，还没有创建数组，还没有为数组中元素分配任何内存空间，因此，声明数组后，需要对数组实例化：
            anArray = new int [2,4] ;
            anArrayOfStrings = new stirng [2,4] ;
        我们也可以用给定的值对数组元素进行初始化。
             int [, ] anArray = new int [2, 4] {{1,2,3,4},{5,6,7,8}};
             string [, ] anArrayOfStrings = new string [2, 2] {{"某甲","某乙"}, {"冠军" ,"亚军" }};
        也可使用下列快捷方式：
         int [, ] anArray = {{0,1,2,3},{1,2,3,4}};
         string [, ] anArrayOfStrings = {{"某甲","某乙"}, {"冠军" ,"亚军" }};
        在C#语言中，数组为我们提供了一些有用的特性，利用这些特性，我们可以完成一些更高级的功能。
           数组名.Length ：返回一个整数，该整数表示该数组的所有维数中元素的总数。
           数组名.Rank ：返回一个整数，该整数表示该数组的维数。
           数组名.GetLength（int dimension） ：返回一个整数，该整数表示该数组的指定维(由参数dimension指定，维度从零开始)中的元素个数。
4.foreach语句针对数组或集合中的每一个元素，循环运行嵌入语句。foreach语句的语法格式为：
           foreach (数据类型 标识符 in 表达式)
           嵌入语句

5.为了简洁代码，C#语言中使用using语句来导入名称空间。

using 语句一般情况下被放在所有语句的前面。每个源文件中可以使用多个using语句，每行一个语句。比如：
using System ;

关于System.Collections空间
System.Collections命名空间包含可使用的集合类和相关的接口，提供了集合的基本功能。

该命名空间下的.NET非泛型集合类如下所示：

— System.Collections.ArrayList：数组集合类，使用大小可按动态增加的数组实现Ilist接口。
— System.Collections.BitArray：布尔集合类，管理位值的压缩数组，该值为布尔值。
— System.Collections.Queue：队列，表示对象的先进先出集合。
— System.Collections.Stack：堆栈，表示对象的简单的后进先出集合。
— System.Collections.Hashtable：哈希表，表示键/值对的集合，这些键/值对根据键的哈希代码进行组织
— System.Collections.SortedList：排序集合类，表示键/值对的集合，这些键和值按键排序并可按键和索引访问。

该命名空间下的.NET非泛型接口如下所示：

— System.Collections.ICollection：（继承于IEnumerable）定义所有集合的大小，枚举器和同步方法，可以获取集合中项的个数，并能把项复制到一个简单的数组类型中。
— System.Collections.IComparer：比较两个对象的方法
— System.Collections.IList：(继承于IEnumerable 和 ICollection)表示可按照索引单独访问一组对象,提供集合的项列表，并可以访问这些项。
— System.Collections.IDictionary：（继承于IEnumerable 和 ICollection）表示键/值对的集合
— System.Collections.IDictionaryEnumerator：枚举字典的元素
— System.Collections.IEnumerator：支持在集合上进行简单迭代，可以迭代集合中的项。支持在非泛型集合进行简单迭代。

 

C#数组与集合（拓展）
    数组非常有用，但存在着一些限制。
    Microsoft.Net Framework提供了几个类通过特殊的方法来收集元素这些类称为Collection（集合）类，集合类的元素类型是object。
    使用各种集合最设和的方法来天津单独的元素，如：ArrayList的方法是Add(添加)，Queue(列队)的方法是Enqueue(入列)，Stack的方法是Push(入栈)，HashTable(哈希表).(Add)等。
    数组和集合比较：
    1）数组要声明它所容纳的元素类型，集合则不需要声明，因为集合是以object来存储元素的。
    2）数组实例具有固定的大小，不能增大或缩小，集合则可根据需要动态的改变大小。
    3）数组可以是多维的，集合则是线性的。

常用数据结构:
    在C#语言中，数组属于构造数据类型。一个数组可以分解为多个数组元素，这些数组元素可以是基本的数据类型或是构造类型。因此按数组元素类型的不通，数组又可以分为数值数组、字符数组、指针数组、结构数组等各种类别。

堆 (Heap)

　　在计算机科学中，堆是一种特殊的树形数据结构，每个结点都有一个值。通常我们所说的堆的数据结构，是指二叉堆。堆的特点是根结点的值最小（或最大），且根结点的两个子树也是一个堆。

栈 (Stack)

　　是只能在某一端插入和删除的特殊线性表。它按照后进先出的原则存储数据，先进入的数据被压入栈底，最后的数据在栈顶，需要读数据的时候从栈顶开始弹出数据（最后一个数据被第一个读出来）。

队列 (Queue)

　　一种特殊的线性表，它只允许在表的前端（front）进行删除操作，而在表的后端（rear）进行插入操作。进行插入操作的端称为队尾，进行删除操作的端称为队头。队列中没有元素时，称为空队列。

链表 (Linked List)

　　是一种物理存储单元上非连续、非顺序的存储结构，数据元素的逻辑顺序是通过链表中的指针链接次序实现的。
　　链表由一系列结点（链表中每一个元素称为结点）组成，结点可以在运行时动态生成。每个结点包括两个部分：一个是存储数据元素的数据域，另一个是存储下一个结点地址的指针域。

树 (Tree)

　　是包含n（n>0）个结点的有穷集合K，且在K中定义了一个关系N，N满足 以下条件：
　　（1）有且仅有一个结点 k0，他对于关系N来说没有前驱，称K0为树的根结点。简称为根（root）。
　　（2）除K0外，k中的每个结点，对于关系N来说有且仅有一个前驱。
　　（3）K中各结点，对关系N来说可以有m个后继（m>=0）。

图 (Graph)

　　图是由结点的有穷集合V和边的集合E组成。其中，为了与树形结构加以区别，在图结构中常常将结点称为顶点，边是顶点的有序偶对，若两个顶点之间存在一条边，就表示这两个顶点具有相邻关系。

散列表 (Hash)

　　若结构中存在关键字和K相等的记录，则必定在f(K)的存储位置上。由此，不需比较便可直接取得所查记录。称这个对应关系f为散列函数(Hash function)，按这个思想建立的表为散列表。