C#的泛型方法解析

c#2.0引入了泛型这个特性，由于泛型的引入，在一定程度上极大的增强了c#的生命力，可以完成c#1.0时需要编写复杂代码才可以完成的一些功能。但是作为开发者，对于泛型可谓是又爱又恨，爱的是其强大的功能，以及该特性带来的效率的提升，恨的是泛型在复杂的时候，会呈现相当复杂的语法结构。这种复杂不仅是对于初学者，对于一些有开发经验的.net开发者，也是一个不那么容易掌握的特性。

   接下来我们来了解一下c#2.0加入的特性：泛型。

一.泛型的基本特性概述：

    在实际项目开发中，任何api只要将object作为参数类型和返回类型使用，就可能在某个时候涉及强类型转换。提到强类型转换，估计很多开发者第一反应就是“效率”这个次，对于强类型的利弊主要看使用者使用的环境，天底下没有绝对的坏事，也没有绝对的好事，有关强类型的问题不是本次的重点，不做重点介绍。

    泛型是clr和c#提供的一种特殊机制，支持另一种形式的代码重用，即“算法重用”。泛型实现了类型和方法的参数化，泛型类型和方法也可以让参数告诉使用者使用什么类型。

    泛型所带来的好处：更好的编译时检查，更多在代码中能直接表现的信息，更多的ide支持，更好的性能。可能有人会疑问，为什么泛型会带来这么多好处，使用一个不能区分不同类型的常规api，相当于在一个动态环境中访问那个api。

    clr允许创建泛型引用和泛型值类型，但是不允许创建泛型枚举，并且clr允许创建泛型接口和泛型委托，clr允许在引用类型、值类型或接口中定义泛型方法。定义泛型类型或方法时，为类型指定了任何变量（如：t）都称为类型参数。（t是一个变量名，在源代码中能够使用一个数据类型的任何位置，都可以使用t）在c#中泛型参数变量要么成为t，要么至少一大写t开头。

二.泛型类、泛型接口和泛型委托概述：

   1.泛型类：

    泛型类型仍然是类型，所以可以从任何类型派生。使用一个泛型类型并指定类型实参时，实际是在clr中定义一个新类型对象，新类型对象是从泛型派生自的那个类型派生的。使用泛型类型参数的一个方法在基尼险那个jit编译时，clr获取il，用指定的类型实参进行替换，然后创建恰当的本地代码。

    如果没有为泛型类型参数提供类型实参，那就么就是未绑定泛型类型。如果指定了类型实参，该类型就是已构造类型。已构造类型可以是开发或封闭的，开发类型还包含一个类ixngcanshu，而封闭类型则不是开发的，类型的每个部分都是明确的。所有代码实际都是在一个封闭的已构造类型的上下文中执行。

   泛型类在.net的应用主要在集合类中，大多数集合类在system.collections.generic和system.collections.objectmodel类中。下面简单的介绍一种泛型集合类：

     (1).synchronizedcollection:提供一个线程安全集合，其中包含泛型参数所指定类型的对象作为元素.

 [comvisible(false)]
 public class synchronizedcollection<t> : ilist<t>, icollection<t>, ienumerable<t>, ilist, icollection, ienumerable
 {
 /// <summary>
 /// 初始化 <see cref="t:system.collections.generic.synchronizedcollection`1"/> 类的新实例。
 /// </summary>
 public synchronizedcollection();
 /// <summary>
 /// 通过用于对线程安全集合的访问进行同步的对象来初始化 <see cref="t:system.collections.generic.synchronizedcollection`1"/> 类的新实例。
 /// </summary>
 /// <param name="syncroot">用于对线程安全集合的访问进行同步的对象。</param><exception cref="t:system.argumentnullexception"><paramref name="syncroot"/> 为 null。</exception>
 public synchronizedcollection(object syncroot);
 /// <summary>
 /// 使用指定的可枚举元素列表和用于对线程安全集合的访问进行同步的对象来初始化 <see cref="t:system.collections.generic.synchronizedcollection`1"/> 类的新实例。
 /// </summary>
 /// <param name="syncroot">用于对线程安全集合的访问进行同步的对象。</param><param name="list">用于初始化线程安全集合的元素的 <see cref="t:system.collections.generic.ienumerable`1"/> 集合。</param><exception cref="t:system.argumentnullexception"><paramref name="syncroot"/> 或 <paramref name="list"/> 为 null。</exception>
 public synchronizedcollection(object syncroot, ienumerable<t> list);
 /// <summary>
 /// 使用指定的元素数组和用于对线程安全集合的访问进行同步的对象来初始化 <see cref="t:system.collections.generic.synchronizedcollection`1"/> 类的新实例。
 /// </summary>
 /// <param name="syncroot">用于对线程安全集合的访问进行同步的对象。</param><param name="list">用于初始化线程安全集合的 <paramref name="t"/> 类型元素的 <see cref="t:system.array"/>。</param><exception cref="t:system.argumentnullexception"><paramref name="syncroot"/> 或 <paramref name="list"/> 为 null。</exception>
 public synchronizedcollection(object syncroot, params t[] list);
 /// <summary>
 /// 将项添加到线程安全只读集合中。
 /// </summary>
 /// <param name="item">要添加到集合的元素。</param><exception cref="t:system.argumentexception">设置的值为 null，或者不是集合的正确泛型类型 <paramref name="t"/>。</exception>
 public void add(t item);
 /// <summary>
 /// 从集合中移除所有项。
 /// </summary>
 public void clear();
 /// <summary>
 /// 从特定索引处开始，将集合中的元素复制到指定的数组。
 /// </summary>
 /// <param name="array">从集合中复制的 <paramref name="t "/>类型元素的目标 <see cref="t:system.array"/>。</param><param name="index">复制开始时所在的数组中的从零开始的索引。</param>
 public void copyto(t[] array, int index);
 /// <summary>
 /// 确定集合是否包含具有特定值的元素。
 /// </summary>
 /// 
 /// <returns>
 /// 如果在集合中找到元素值，则为 true；否则为 false。
 /// </returns>
 /// <param name="item">要在集合中定位的对象。</param><exception cref="t:system.argumentexception">设置的值为 null，或者不是集合的正确泛型类型 <paramref name="t"/>。</exception>
 public bool contains(t item);
 /// <summary>
 /// 返回一个循环访问同步集合的枚举数。
 /// </summary>
 /// 
 /// <returns>
 /// 一个 <see cref="t:system.collections.generic.ienumerator`1"/>，用于访问集合中存储的类型的对象。
 /// </returns>
 public ienumerator<t> getenumerator();
 /// <summary>
 /// 返回某个值在集合中的第一个匹配项的索引。
 /// </summary>
 /// 
 /// <returns>
 /// 该值在集合中的第一个匹配项的从零开始的索引。
 /// </returns>
 /// <param name="item">从集合中移除所有项。</param><exception cref="t:system.argumentexception">设置的值为 null，或者不是集合的正确泛型类型 <paramref name="t"/>。</exception>
 public int indexof(t item);
 /// <summary>
 /// 将一项插入集合中的指定索引处。
 /// </summary>
 /// <param name="index">要从集合中检索的元素的从零开始的索引。</param><param name="item">要作为元素插入到集合中的对象。</param><exception cref="t:system.argumentoutofrangeexception">指定的 <paramref name="index"/> 小于零或大于集合中的项数。</exception><exception cref="t:system.argumentexception">设置的值为 null，或者不是集合的正确泛型类型 <paramref name="t"/>。</exception>
 public void insert(int index, t item);
 /// <summary>
 /// 从集合中移除指定项的第一个匹配项。
 /// </summary>
 /// 
 /// <returns>
 /// 如果从集合中成功移除了项，则为 true；否则为 false。
 /// </returns>
 /// <param name="item">要从集合中移除的对象。</param>
 public bool remove(t item);
 /// <summary>
 /// 从集合中移除指定索引处的项。
 /// </summary>
 /// <param name="index">要从集合中检索的元素的从零开始的索引。</param><exception cref="t:system.argumentoutofrangeexception">指定的 <paramref name="index"/> 小于零或大于集合中的项数。</exception>
 public void removeat(int index);
 /// <summary>
 /// 从集合中移除所有项。
 /// </summary>
 protected virtual void clearitems();
 /// <summary>
 /// 将一项插入集合中的指定索引处。
 /// </summary>
 /// <param name="index">集合中从零开始的索引，在此处插入对象。</param><param name="item">要插入到集合中的对象。</param><exception cref="t:system.argumentoutofrangeexception">指定的 <paramref name="index"/> 小于零或大于集合中的项数。</exception><exception cref="t:system.argumentexception">设置的值为 null，或者不是集合的正确泛型类型 <paramref name="t"/>。</exception>
 protected virtual void insertitem(int index, t item);
 /// <summary>
 /// 从集合中移除指定 <paramref name="index"/> 处的项。
 /// </summary>
 /// <param name="index">要从集合中检索的元素的从零开始的索引。</param><exception cref="t:system.argumentoutofrangeexception">指定的 <paramref name="index"/> 小于零或大于集合中的项数。</exception>
 protected virtual void removeitem(int index);
 /// <summary>
 /// 使用另一项替换指定索引处的项。
 /// </summary>
 /// <param name="index">要替换的对象的从零开始的索引。</param><param name="item">要替换的对象。</param><exception cref="t:system.argumentoutofrangeexception">指定的 <paramref name="index"/> 小于零或大于集合中的项数。</exception>
 protected virtual void setitem(int index, t item);
 /// <summary>
 /// 返回一个循环访问同步集合的枚举数。
 /// </summary>
 /// 
 /// <returns>
 /// 一个 <see cref="t:system.collections.generic.ienumerator`1"/>，用于访问集合中存储的类型的对象。
 /// </returns>
 ienumerator ienumerable.getenumerator();
 /// <summary>
 /// 从特定索引处开始，将集合中的元素复制到指定的数组。
 /// </summary>
 /// <param name="array">从集合中复制的 <paramref name="t"/> 类型元素的目标 <see cref="t:system.array"/>。</param><param name="index">复制开始时所在的数组中的从零开始的索引。</param>
 void icollection.copyto(array array, int index);
 /// <summary>
 /// 向集合中添加一个元素。
 /// </summary>
 /// 
 /// <returns>
 /// 新元素的插入位置。
 /// </returns>
 /// <param name="value">要添加到集合中的对象。</param>
 int ilist.add(object value);
 /// <summary>
 /// 确定集合是否包含具有特定值的元素。
 /// </summary>
 /// 
 /// <returns>
 /// 如果在集合中找到元素 <paramref name="value"/>，则为 true；否则为 false。
 /// </returns>
 /// <param name="value">要在集合中定位的对象。</param><exception cref="t:system.argumentexception"><paramref name="value"/> 不是集合所含类型的对象。</exception>
 bool ilist.contains(object value);
 /// <summary>
 /// 确定集合中某个元素的从零开始的索引。
 /// </summary>
 /// 
 /// <returns>
 /// 如果在集合中找到，则为 <paramref name="value"/> 的索引；否则为 -1。
 /// </returns>
 /// <param name="value">集合中要确定其索引的元素。</param>
 int ilist.indexof(object value);
 /// <summary>
 /// 将某个对象插入到集合中的指定索引处。
 /// </summary>
 /// <param name="index">从零开始的索引，将在该位置插入 <paramref name="value"/>。</param><param name="value">要在集合中插入的对象。</param><exception cref="t:system.argumentoutofrangeexception">指定的 <paramref name="index"/> 小于零或大于集合中的项数。</exception><exception cref="t:system.argumentexception">设置的 <paramref name="value"/> 为 null，或者不是集合的正确泛型类型 <paramref name="t"/>。</exception>
 void ilist.insert(int index, object value);
 /// <summary>
 /// 从集合中移除作为元素的指定对象的第一个匹配项。
 /// </summary>
 /// <param name="value">要从集合中移除的对象。</param>
 void ilist.remove(object value);
 }

     (2).keyedbytypecollection:提供一个集合，该集合的项是用作键的类型。

 [__dynamicallyinvokable]
 public class keyedbytypecollection<titem> : keyedcollection<type, titem>
 {
 /// <summary>
 /// 初始化 <see cref="t:system.collections.generic.keyedbytypecollection`1"/> 类的新实例。
 /// </summary>
 public keyedbytypecollection();
 /// <summary>
 /// 根据指定的对象枚举初始化 <see cref="t:system.collections.generic.keyedbytypecollection`1"/> 类的新实例。
 /// </summary>
 /// <param name="items">泛型类型 <see cref="t:system.object"/> 的 <see cref="t:system.collections.generic.ienumerable`1"/>，用于初始化集合。</param><exception cref="t:system.argumentnullexception"><paramref name="items"/> 为 null。</exception>
 public keyedbytypecollection(ienumerable<titem> items);
 /// <summary>
 /// 返回集合中第一个具有指定类型的项。
 /// </summary>
 /// 
 /// <returns>
 /// 如果为引用类型，则返回类型 <paramref name="t"/> 的对象；如果为值类型，则返回类型 <paramref name="t"/> 的值。 如果集合中不包含类型 <paramref name="t"/> 的对象，则返回类型的默认值：如果是引用类型，默认值为 null；如果是值类型，默认值为 0。
 /// </returns>
 /// <typeparam name="t">要在集合中查找的项的类型。</typeparam>
 [targetedpatchingoptout("performance critical to inline this type of method across ngen image boundaries")]
 public t find<t>();
 /// <summary>
 /// 从集合中移除具有指定类型的对象。
 /// </summary>
 /// 
 /// <returns>
 /// 从集合中移除的对象。
 /// </returns>
 /// <typeparam name="t">要从集合中移除的项的类型。</typeparam>
 [targetedpatchingoptout("performance critical to inline this type of method across ngen image boundaries")]
 public t remove<t>();
 /// <summary>
 /// 返回 <see cref="t:system.collections.generic.keyedbytypecollection`1"/> 中包含的类型 <paramref name="t"/> 的对象的集合。
 /// </summary>
 /// 
 /// <returns>
 /// 一个类型 <paramref name="t"/> 的 <see cref="t:system.collections.objectmodel.collection`1"/>，包含来自原始集合的类型 <paramref name="t"/> 的对象。
 /// </returns>
 /// <typeparam name="t">要在集合中查找的项的类型。</typeparam>
 [targetedpatchingoptout("performance critical to inline this type of method across ngen image boundaries")]
 public collection<t> findall<t>();
 /// <summary>
 /// 从集合中移除所有具有指定类型的元素。
 /// </summary>
 /// 
 /// <returns>
 /// <see cref="t:system.collections.objectmodel.collection`1"/>，包含来自原始集合的类型 <paramref name="t"/> 的对象。
 /// </returns>
 /// <typeparam name="t">要从集合中移除的项的类型。</typeparam>
 [targetedpatchingoptout("performance critical to inline this type of method across ngen image boundaries")]
 public collection<t> removeall<t>();
 /// <summary>
 /// 获取集合中包含的某个项的类型。
 /// </summary>
 /// 
 /// <returns>
 /// 集合中指定的 <paramref name="item"/> 的类型。
 /// </returns>
 /// <param name="item">集合中要检索其类型的项。</param><exception cref="t:system.argumentnullexception"><paramref name="item"/> 为 null。</exception>
 [__dynamicallyinvokable]
 protected override type getkeyforitem(titem item);
 /// <summary>
 /// 在集合中的特定位置插入一个元素。
 /// </summary>
 /// <param name="index">从零开始的索引，应在该位置插入 <paramref name="item"/>。</param><param name="item">要在集合中插入的对象。</param><exception cref="t:system.argumentnullexception"><paramref name="item"/> 为 null。</exception>
 [__dynamicallyinvokable]
 protected override void insertitem(int index, titem item);
 /// <summary>
 /// 使用一个新对象替换指定索引处的项。
 /// </summary>
 /// <param name="index">要替换的 <paramref name="item"/> 的从零开始的索引。</param><param name="item">要添加到集合中的对象。</param><exception cref="t:system.argumentnullexception"><paramref name="item"/> 为 null。</exception>
 [__dynamicallyinvokable]
 protected override void setitem(int index, titem item);
 }

   2.泛型接口和泛型委托：

     泛型的主要作用就是定义泛型的引用类型和指类型。一个引用类型或值类型可通过指定类型实参的方式实现泛型接口，也可以保持类型实参的未指定状态实现一个泛型接口。

     具体看一下泛型接口ienumerable：公开枚举数，该枚举数支持在非泛型集合上进行简单迭代。

 [comvisible(true)]
 [guid("496b0abe-cdee-11d3-88e8-00902754c43a")]
 [__dynamicallyinvokable]
 public interface ienumerable
 {
 /// <summary>
 /// 返回一个循环访问集合的枚举数。
 /// </summary>
 /// 
 /// <returns>
 /// 一个可用于循环访问集合的 <see cref="t:system.collections.ienumerator"/> 对象。
 /// </returns>
 /// <filterpriority>2</filterpriority>
 [dispid(-4)]
 [__dynamicallyinvokable]
 ienumerator getenumerator();
 }

  clr支持泛型委托，目的是保证任何类型的对象都能以一种类型安全的方式传给一个回调方法。泛型委托允许一个孩子类型实例在传给一个回调方法时不执行任何装箱处理。委托时机只提供了4个方法：一个构造器，一个invlke方法，一个begininvoke方法和一个endinvoke方法。如果定义的一个委托类型指定了类型参数，编译器会定义委托类的方法，用指定的类型参数替换方法的参数类型和值类型。

  以上是对泛型类、泛型接口和泛型委托的简单了解，本文的目的主要是讲解泛型方法，下面我们具体了解一些泛型泛型的知识。

三.泛型方法解析：

 1.泛型方法概述： 

    定义泛型类、结构或接口时，类型中定义的任何方法都可引用类型指定的一个类型参数。类型参数可以作为方法的参数，作为方法的返回值，或者作为方法内部定义的一个局部变量来使用。clr允许一个方法指定它独有的类型参数，这些类型参数可用于参数、返回值、或者局部变量。

   c#编译器支持在调用一个泛型方法时进行类型推断。执行类型推断时，c#使用变量的数据类型，而不是由变量引用的对象的实际类型。一个类型可以定义多个方法，让其中一个方法接受具体的数据类型，让另一个方法接受泛型类型参数。

    泛型方法示例：

 list<toutput> converall<toutput>(conver<t,toutput> conv)

list<toutput>：返回类型（一个泛型列表）。

converall：方法名。

<toutput>：类型参数。

conver<t,toutput>：参数类型（泛型委托）。

conv：参数名。

 对以上的示例代码分析，需要掌握：为每个类型参数使用一个不同的类型，在整体应用这些类型参数。

  (1).首先替换包含方法（list<t>的t部分）的那个类型的类型参数，如将t替换为string：

list<toutput> converall<toutput>(conver<string,toutput> conv)

  (2).处理完t后，再需要处理的就是toutput，可以看出它是一个方法类型参数，这里采用guid替换toutput。

list<guid> converall(conver<string,guid> conv)

  对toutput赋予类型实参后，可以移除生命中的类型参数<toutput>，将方法堪称非泛型方法，如上。以上的示例可以处理一个字符串列表，用一个转换器来生成一个guid列表。

  将原始列表中的每个元素都转换成目标类型，将转换后的元素添加到一个列表中，最后返回这个列表。以上的处理方式，主要将其泛型方法的参数进行逐一的细化，无论在什么学科，都需要将复杂的问题进行简单化，将抽象的问题具体化，这也是一种常用的处理方式。

 2.类型约束：

    约束的作用是限制能指定成泛型实参的类型数量。通过限制类型的数量，我们可以对那些类型执行更多的操作。约束可以应用于一个泛型类型的类型参数，也可以应用于一个泛型方法的类型参数。clr不允许基于类型参数名称或约束进行重载，只能基于元数对类型或方法进行重载。不允许为重写方法的类型参数指定任何约束，但是类型实参的名称是可以改变的。

    泛型约束的操作，约束要放到泛型方法或泛型类型声明的末尾，并由上下文关键where引入。

   (1).引用类型约束：

      引用类型约束：用于确保使用的类型实参是引用类型。（表示为：t:class，且必须为类型参数指定的第一个约束。）

   (2).值类型约束：

      值类型约束：用于确保使用的类型参数是指类型。（表示为：t:struct，可空类型不包含在内）

   (3).构造函数类型约束：

       构造函授类型约束：指定所有类型参数的最后一个约束，它检查类型实参是否有一个可用于创建实例的无参构造函数。（表示为：t:new()）适用于所有值类型，所有没有显示声明构造函数的非静态、非抽象类，所有显示声明了一个公共无参构造函数的非抽象类。

   (4).转换类型约束：

      转换类型约束：允许你指定另一个类型，类型实参必须可以通过一致性、引用或装箱转换隐式地转换为该类型。还可以规定类型实参必须可以转换为另一个类型实参。（例：class sample<t> where t:stream）

   (5).组合约束：

      组合约束：所个约束组合在一起的约束，但是组合约束也有限制条件。因为没有任何类型即是引用类型，又是值类型。由于每一个值都有一个无参构造函数，所以假如已经有一个值类型约束，就不允许再指定一个构造函数约束。如果存在多个类型约束，并且其中一个为类，那么它应该出现在接口的前面，而且我们不能多次指定同一个接口。不同的类型参数可以用不同的约束，分别由一个where引入。

   备注：类型推断只适用于泛型方法，不适用于泛型类型。

  以上是对泛型方法的相关概念和约束做了简单的解析，接下来看一下.net中一些发行方法的具体实现：

 /// <summary>
 /// 封装一个方法，该方法具有四个参数并且不返回值。
 /// </summary>
 /// <param name="arg1">此委托封装的方法的第一个参数。</param><param name="arg2">此委托封装的方法的第二个参数。</param><param name="arg3">此委托封装的方法的第三个参数。</param><param name="arg4">此委托封装的方法的第四个参数。</param><typeparam name="t1">此委托封装的方法的第一个参数类型。</typeparam><typeparam name="t2">此委托封装的方法的第二个参数类型。</typeparam><typeparam name="t3">此委托封装的方法的第三个参数类型。</typeparam><typeparam name="t4">此委托封装的方法的第四个参数类型。</typeparam><filterpriority>2</filterpriority>
 [typeforwardedfrom("system.core, version=3.5.0.0, culture=neutral, publickeytoken=b77a5c561934e089")]
 [__dynamicallyinvokable]
 public delegate void action<in t1, in t2, in t3, in t4>(t1 arg1, t2 arg2, t3 arg3, t4 arg4);

 /// <summary>
 /// 表示比较同一类型的两个对象的方法。
 /// </summary>
 /// 
 /// <returns>
 /// 一个有符号整数，指示 <paramref name="x"/> 与 <paramref name="y"/> 的相对值，如下表所示。 值 含义 小于 0 <paramref name="x"/> 小于 <paramref name="y"/>。 0 <paramref name="x"/> 等于 <paramref name="y"/>。 大于 0 <paramref name="x"/> 大于 <paramref name="y"/>。
 /// </returns>
 /// <param name="x">要比较的第一个对象。</param><param name="y">要比较的第二个对象。</param><typeparam name="t">要比较的对象的类型。</typeparam><filterpriority>1</filterpriority>
 [__dynamicallyinvokable]
 public delegate int comparison<in t>(t x, t y);

  四.泛型方法应用代码示例：

   以上讲解的有关泛型方法的内容，这里提供一个有关泛型方法操作xml的代码：

 /// <summary>
 /// 泛型方法：编译器能够根据传入的方法参数推断类型参数；它无法仅从约束或返回值推断类型参数
 /// </summary>
 public class objectxmlserializer
 {
 /// <summary>
 /// 文件的反序列化
 /// </summary>
 /// <typeparam name="t">返回值类型</typeparam>
 /// <param name="filename"></param>
 /// <returns>
 /// 如果日志启用，则发生异常时，异常写入日志，若日志没有开启，则直接抛出异常信息
 /// loggingenabled==true: null is returned if any error occurs.
 /// loggingenabled==false: throw exception
 /// </returns>
 public static t loadfromxml<t>(string filename) where t : class
 {
  return loadfromxml<t>(filename, true);
 }
 /// <summary>
 /// 文件反序列化，若发生异常，异常信息写入日志
 /// </summary>
 /// <typeparam name="t">加载类的类型</typeparam>
 /// <param name="filename">文件名字</param>
 /// <param name="loggingenabled">启用日志记录</param>
 /// <returns></returns>
 public static t loadfromxml<t>(string filename, bool loggingenabled) where t : class
 {
  filestream fs = null;
  try
  {
  var serializer = new xmlserializer(typeof(t));
  fs = new filestream(filename, filemode.open, fileaccess.read);
  //反序列化对象
  return (t)serializer.deserialize(fs);
  }
  catch (exception e)
  {
  if (loggingenabled)
  {
   //文件异常，写入日志
   logloadfileexception(filename, e);
   return null;
  }
  else
  {
   throw new exception(e.message);
  }
  }
  finally
  {
  if (fs != null) fs.close();
  }
 }
 /// <summary>
 /// 序列化一个对象到文件中.
 /// </summary>
 /// <typeparam name="t"></typeparam>
 /// <param name="filename">文件名</param>
 /// <param name="data">待序列化的数据</param>
 /// <returns>
 /// 如果日志启用，则发生异常时，异常写入日志，若日志没有开启，则直接抛出异常信息
 /// loggingenabled==true: log exception
 /// loggingenabled==false: throw exception
 /// </returns>
 public static void savetoxml<t>(string filename, t data) where t : class
 {
  savetoxml(filename, data, true);
 }
 /// <summary>
 /// 文件反序列化，若发生异常，异常信息写入日志
 /// </summary>
 /// <typeparam name="t"></typeparam>
 /// <param name="filename">文件名</param>
 /// <param name="data">发序列化对象</param>
 /// <param name="loggingenabled">是否启用日志</param>
 public static void savetoxml<t>(string filename, t data, bool loggingenabled) where t : class
 {
  filestream fs = null;
  try
  {
  var serializer = new xmlserializer(typeof(t));
  fs = new filestream(filename, filemode.create, fileaccess.write);
  //序列化对象
  serializer.serialize(fs, data);
  }
  catch (exception e)
  {
  if (loggingenabled) logsavefileexception(filename, e);
  else
  {
   throw new exception(e.message);
  }
  }
  finally
  {
  if (fs != null) fs.close();
  }
 }
 /// <summary>
 /// 序列化
 /// xml & datacontract serialize & deserialize helper
 /// </summary>
 /// <typeparam name="t">t指定必须为class类型</typeparam>
 /// <param name="serialobject"></param>
 /// <returns></returns>
 public static string xmlserializer<t>(t serialobject) where t : class
 {
  var ser = new xmlserializer(typeof(t));
  //memorystream实现对内存的读写，而不是对持久性存储器进行读写
  //memorystream封装以无符号字节数组形式存储的数据，该数组在创建memorystream对象时被初始化，
  //或者该数组可创建为空数组。可在内存中直接访问这些封装的数据。
  //内存流可降低应用程序中对临时缓冲区和临时文件的需要。
  var mem = new memorystream();
  var writer = new xmltextwriter(mem, utf8);
  ser.serialize(writer, serialobject);
  writer.close();
  return utf8.getstring(mem.toarray());
 }
 /// <summary>
 /// 反序列化
 /// </summary>
 /// <typeparam name="t"></typeparam>
 /// <param name="str"></param>
 /// <returns></returns>
 public static t xmldeserialize<t>(string str) where t : class
 {
  var myserializer = new xmlserializer(typeof(t));
  var mem2 = new streamreader(new memorystream(utf8.getbytes(str)), utf8);
  return (t)myserializer.deserialize(mem2);
 }
 /// <summary>
 /// 
 /// </summary>
 /// <typeparam name="t"></typeparam>
 /// <param name="xmldata"></param>
 /// <returns>返回值类型为传入的类型</returns>
 public static t datacontractdeserializer<t>(string xmldata) where t : class
 {
  var stream = new memorystream(utf8.getbytes(xmldata));
  var reader = xmldictionaryreader.createtextreader(stream, new xmldictionaryreaderquotas());
  var ser = new datacontractserializer(typeof(t));
  var deserializedperson = (t)ser.readobject(reader, true);
  reader.close();
  stream.close();
  return deserializedperson;
 }
 /// <summary>
 /// 
 /// </summary>
 /// <typeparam name="t"></typeparam>
 /// <param name="myobject"></param>
 /// <returns></returns>
 public static string datacontractserializer<t>(t myobject) where t : class
 {
  var stream = new memorystream();
  var ser = new datacontractserializer(typeof(t));
  ser.writeobject(stream, myobject);
  stream.close();
  return utf8.getstring(stream.toarray());
 }
 /// <summary>
 /// 序列化时异常日志
 /// </summary>
 /// <param name="filename">文件名</param>
 /// <param name="ex">异常</param>
 [conditional("trace")]
 private static void logloadfileexception(string filename, exception ex)
 {
  var sb = new stringbuilder();
  sb.append("fail to load xml file: ");
  sb.append(filename + environment.newline);
  sb.append(ex);
  //写入日志记录中方法
  // logger.logevent(logcategory, logeventloadfileexception, sb.tostring());
 }
 /// <summary>
 /// 反序列化时异常日志
 /// </summary>
 /// <param name="filename">文件名</param>
 /// <param name="ex">异常</param>
 [conditional("trace")]
 private static void logsavefileexception(string filename, exception ex)
 {
  var sb = new stringbuilder();
  sb.append("fail to save xml file: ");
  sb.append(filename + environment.newline);
  sb.append(ex);
 }
 /// <summary>
 /// 将xml字符串序列化为数据流（数据流编码为ascii,utf8）
 /// </summary>
 /// <returns>字符串转换到流</returns>
 public static memorystream stringxmltostream(string strxml,encoding encod)
 {
  memorystream memorystream = null;
  try
  {
  encoding encoding;
  if (equals(encod, ascii))
  {
   encoding = new asciiencoding();
  }
  else
  {
   encoding = new utf8encoding(); 
  }
  var bytearray = encoding.getbytes(strxml);
  memorystream = new memorystream(bytearray);
  memorystream.seek(0, seekorigin.begin);
  return memorystream;
  }
  catch (ioexception ex)
  {
  throw new ioexception(ex.message);
  }
  finally
  {
  if (memorystream != null) memorystream.close();
  }
 }
 }

   以上的代码就不做赘述，需要次代码的可以使用。

五.总结：

    本文讲解了c#2.0引入的泛型知识，主要包含泛型类、泛型接口、泛型委托，并且重点讲解了泛型方法，已经泛型的约束分类。最后给了一些利用泛型方法操作xml的方法。希望以上的讲解可以帮助到正在想学习的人。

以上就是本文的全部内容，希望对大家有所帮助，同时也希望多多支持！