C#学习笔记（二十三）-- 类型比较

  在比较对象时，常需要了解它们的类型，才能确定是否可以进行值的比较。在这之前介绍了GetType()方法，所有的类都从System.Object中继承了这个方法，这个方法和typeof()运算符一起使用，就可以确定对象的类型，并据此执行操作：

if (myObj.GetType() == typeof(MyComplexClass))
{
   //myObj is an instance of the class MyComplexClass.
}

  前面还提到过ToString()的默认实现方式，ToString()也是从System.Object继承而来的，该方法可以提供对象类型的字符串表示。也可以比较这些字符串，但这是一种比较杂乱的比较方式。

  下面介绍比较值的一种简便方式：is运算符。它可以提供可读性较高的代码，还可以检查基类。在介绍is运算符之前，需要了解处理值类型（与引用类型相反）时后台的一些常见操作：封箱（boxing）和拆箱（unboxing）。

  1）封箱和拆箱

  封箱是把值类型转换为System.Object类型，或者转换为由值类型实现的接口类型。拆箱是相反的转换过程。

  例如，下面的结构类型：

struct MyStruct
{
   public int Val;
}

  可以把这种类型的结构放在object类型的变量中，对其封箱：

MyStruct valType1 = new MyStruct();
valType1.Val = 5;
object refType = valType1;

  其中创建了一个类型为MyStruct的新变量valType1，并把一个值赋予这个结构的Val成员，然后把它封箱在object类型的变量refType中。

  以这种方式封箱变量而创建的对象，会包含值类型变量的一个副本的引用，而不包含源值类型变量的引用。要进行验证，可以修改源结构中的内容，然后把对象中包含的结构拆箱到新变量中，并检查其内容：

ValType1.Val = 6;
MyStruct valType2 = (MyStruct)refType;
WriteLine($"valType2.Val = (valType2.Val)")

  执行这段代码将得到如下的结果：

valType2.Val = 5

  但在把一个引用类型赋予对象时，将执行不同的操作。把MyStruct改为一个类（不考虑这个类名不合适的情况），即可看到这种情形：

class MyStruct
{
   public int Val;
}

  如果不修改上面的客户代码（再次忽略名称有误的变量），就会得到如下输出结果：

valType2.Val = 6

  也可以把值类型封箱到接口类型中，只要它们实现这个接口即可。例如，假定MyStruct类型实现IMyInterface接口，如下所示：

interface IMyInterface{}
struct MyStruct : IMyInterface
{
   public int Val;
}

  接着把结构封箱到一个IMyInterface类型中，如下所示：

MyStruct valType1 = new MyStruct();
IMyInterface refType = valType1;

  然后使用一般的数据类型转换语法对其拆箱：

MyStruct ValType2 = (MyStruct)refType;

  从这些示例中可以看出，封箱是在没有用户干涉的情况下进行的（即不需要编写任何代码），但拆箱的一个值需要进行显示转换，即需要进行数据类型转换（封箱是隐式的，所以不需要进行数据类型转换）。

  封箱的重要性在于：首先，它允许在项的类型是object的集合（如ArrayList）中使用的值类型。其次，有一个内部机制允许在值类型（例如int和结构）上调用object方法。

  最后需要注意的是，在访问值类型内容前，必须进行拆箱。

  2）is运算符

  is运算符并不是用来说明对象是某种类型，而是用来检查对象是不是给定类型，或者是否可以转换为给定类型，如果是，这个运算符就返回true。

  在之前介绍的示例中，有Cow和Chicken类，它们都继承于Animal。使用is运算符比较Animal类型的对象，如果对象是这3种类型中的一种（不仅是Animal），is运算符就返回true。使用前面介绍的GetType()方法和typeof()运算符很难做到这一点。

  is运算符的语法如下：

<operand> is <type>

  这个表达式的结果如下：

  （1）如果<type>是一个类类型，而<operand>也是该类型，或者它继承了该类型，或者它可以封箱到该类型中，则结果为true；

  （2）如果<type>是一个接口类型，而<operand>也是该类型，或者它是实现该接口的类型，则结果为true；

  （3）如果<type>是一个值类型，而<operand>也是该类型，或者它可以拆箱到该类型中，则结果为true。