基元类型、引用类型和值类型

编译器直接支持的数据类型称为基元类型。基元类型直接映射到Framework 类库(FCL)中存在的类型。比如C#中，int直接映射到SystemInt32类型。

 

C#基元类型与对应的FCL类型

sbyte       System.Sbyte         有符号8位值             -128~127

byte         System.Byte           无符号8位值            0~255

short        System.Int16         有符号16位值          -32768~32767

ushort      System.UInt16       无符号16位值          0~65535

int            System.Int32         有符号32位值          -2147483648~2147483647

uint          System.UInt32       无符号32位值          0~4294967295

long         System.Int64          有符号64位值          -9223372036854775808~9223372036854775807

ulong       System.UInt64       无符号64位值           0~18446744073709551615

char         System.Char          16位Unicode字符     Unicode字符集

float         System.Single        IEEE 32位浮点值

double     System.Double       IEEE 64位浮点值

bool         System.Boolean     一个true/false值

decimal    System.Decimal     128位高精度浮点值

string       System.String         一个字符数组

object      System.Object       所有类型的基类型

dynamic   System.Object      对于CLR，dynamic和object完全一致，然而C#编译器允许使用一个简单的语法，让   dynamic变量参与动态调度

 

对基元类型执行的许多算数运算都可能造成溢出(超出该类型所能表示的范围)，如下:

byte b=100;

b=(byte)(b+100);   //造成溢出 但默认不检查溢出      byte的范围是0~255

在C#中我们可以自己决定要不要编译器执行溢出检查，分别有:

checked unchecked操作符

byte b=100;

b=checked((byte)(b+100));   //溢出 抛出OverflowExcept异常

checked unchecked语句块

checked{

 byte b=100;

b=checked((byte)(b+100));   //溢出 抛出OverflowExcept异常

}

 

值类型的实例一般在线程栈上分配(虽然也可以作为字段嵌入一个引用类型的对象中)。在代表值类型实例的一个变量中，并不包含一个指向实例的指针。相反，变量中包含了实例本身的字段。值类型的实例不受垃圾回收器的控制。因此，值类型的使用缓解了托管堆中的压力，并减少了一个应用程序在其生存期内需要进行的垃圾回收次数。

 

所有值类型都必须从System.ValueType派生。所有枚举都从System.Enum抽象类型派生，System.Enum抽象类型又是从System.ValueType派生。所有值类型都是隐式封装的(sealed)，目的是防止将一个值类型用作其他引用类型或值类型的基类。

 

值类型有两种表示形式：未装箱(unboxed)形式和已装箱(boxed)形式。而引用类型总是处于已装箱形式。

将一个值类型的实例进行装箱时内部发生的事情：

1.在托管堆中分配好内存。分配的内存量是值类型中各个字段需要的内存量和托管堆的所有对象都有的两个额外成员(类型对象指针和同步索引块)所需要的内存量。

2.值类型的字段复制到新分配的堆内存。

3.返回对象的地址。现在，这个地址是对一个对象的引用，值类型现在是一个引用类型。

拆箱时发生的事情：

1.获取已装箱对象的各个字段的地址。 2.将这些字段所包含的值从堆中复制到基于栈的值类型实例中。

 

对象相等性和同一性 Equals

引用类型的Equals方法比较的是对象的同一性(两个引用指向同一个对象才会返回True)

值类型的Equals方法比较的是对象的相等性(两个对象有相同的字段值)

对于特殊的引用类型string 可以把它看成值类型

 

对象哈希码

Object的GetHashCode方法返回的编号，可以在AppDomain中唯一性的标识对象，这个编号在对象生存期内不会改变。但在对象被垃圾回收器回收之后，它的唯一的编号可能被重新用作一个对象的哈希码。

两个引用类型对象或两个值类型及string对象它们的Equals方法返回True，那么这两个对象的哈希码也相同。

 

在C#4.0中也可以处理一些像动态语言那样在运行时才能确定类型的情况。除了使用反射还有一个方法是使用关键字dynamic:

http://www.cnblogs.com/zxjay/archive/2009/05/29/Xianfen_Net_CS4_dynamic.html

http://www.cnblogs.com/BTQ/archive/2009/05/25/1489115.html

使用dynamic时，C#编译器会生成payload(有效载荷)代码，并在运行时根据对象的实际类型判断要执行什么操作。payload代码中使用了一个运行时绑定器类，该类位于Microsoft.CSharp.dll程序集里。所以使用dynamic关键字必须引用该程序集。在运行时由于Microsoft.CSharp.dll还会加载System.dll和System.Core.dll，如果使用dynamic与COM组件进行交互时还要加载System.Dynamic.dll，所以使用dynamic虽然比反射语法简洁，但效率似乎更低一些。

com组件 http://www.cnblogs.com/zoupeiyang/archive/2009/03/24/1420198.html