C#笔记2：类型

时间：2010-09-06 来源：luminji

C#笔记2：类型
    本章概要：
    1：值类型；
    2：引用类型；
    3：指针类型；
    4：引用类型和值类型的转换（拆箱和装箱）；

1：值类型
    基于值类型的变量直接包含值。将一个值类型变量赋给另一个值类型变量时，将复制包含的值。这与引用类型变量的赋值不同，引用类型变量的赋值只复制对对象的引用，而不复制对象本身。
    所有的值类型均隐式派生自 System..::.ValueType。
    与引用类型不同，不能从值类型派生出新的类型。但与引用类型相同的是，结构也可以实现接口。
    与引用类型不同，值类型无法包含 null 值。然而，可以为 null 的类型功能确实允许将 null 赋给值类型。
    每种值类型均有一个隐式的默认构造函数来初始化该类型的默认值。

1.1可以为 null 的类型
可以为 null 的类型是 System..::.Nullable<(Of <(T>)>) 结构的实例。可以为 null 的类型可以表示其基础值类型正常范围内的值，再加上一个 null 值。例如，Nullable<Int32> 读作“可以为 null 的 Int32”，可以将其赋值为 -2147483648 到 2147483647 之间的任意值，也可以将其赋值为 null 值。可以赋给 Nullable<bool> 的值包括 true、false 或 null。

1.2可以为 null 的类型的作用
在处理数据库和其他包含不可赋值的元素的数据类型时，将 null 赋值给数值类型或布尔型的功能特别有用。例如，数据库中的布尔型字段可以存储值 true 或 false，或者，该字段也可以未定义。
用法：

int? num = null;
        if (num.HasValue == true)
        {
            System.Console.WriteLine("num = " + num.Value);
        }
        else
        {
            System.Console.WriteLine("num = Null");
        }

        // y is set to zero
        int y = num.GetValueOrDefault();

        // num.Value throws an InvalidOperationException if num.HasValue is false
        try
        {
            y = num.Value;
        }
        catch (System.InvalidOperationException e)
        {
            System.Console.WriteLine(e.Message);
        }

2：引用类型
    引用类型的变量又称为对象，可存储对实际数据的引用。用于申明引用类型的关键字为：
    class
    interface
    delegate
    内置引用类型为：
    dynamic
    object
    string

3：指针类型
    在不安全的上下文中，类型可以是指针类型、值类型或引用类型。指针类型声明具有下列形式之一：
    type* identifier;
    void* identifier; //allowed but not recommended

    下列类型都可以是指针类型：
    •    sbyte、byte、short、ushort、int、uint、long、ulong、char、float、double、decimal 或 bool。
    •    任何枚举类型。
    •    任何指针类型。
    •    仅包含非托管类型的字段的任何用户定义的结构类型。
    指针类型不继承 object，并且指针类型与 object 之间不存在转换。此外，装箱和取消装箱不支持指针。但是，允许在不同指针类型之间以及指针类型与整型之间进行转换。
    在这里需要强调的是，什么是不安全的上下文：
    不安全代码具有下列属性：
    •    方法、类型和可被定义为不安全的代码块。
    •    在某些情况下，通过移除数组界限检查，不安全代码可提高应用程序的性能。
    •    当调用需要指针的本机函数时，需要使用不安全代码。
    •    使用不安全代码将引起安全风险和稳定性风险。
    •    在 C# 中，为了编译不安全代码，必须用 /unsafe 编译应用程序。

4：引用类型和值类型的转换（拆箱和装箱）
装箱是将值类型转换为 object 类型或由此值类型实现的任一接口类型的过程。当 CLR 对值类型进行装箱时，会将该值包装到 System.Object 内部，再将后者存储在托管堆上。取消装箱将从对象中提取值类型。在下面的示例中，整型变量 i 装箱并赋给对象 o。

int i = 123;
        object o = (object)i;  // boxing
        o = 123;
       i = (int)o;  // unboxing