c#范型中特殊关键字where & default

      在看源码的时候看见了where和default，虽说default很常见，但是它的用法我却是第一次看到，哎，基础不扎实啊！

          下面介绍下这两个特殊的关键字：

 

         一、Where关键字

        where 子句用于指定类型约束，这些约束可以作为泛型声明中定义的类型参数的变量。
        1.接口约束。
         例如，可以声明一个泛型类 MyGenericClass，这样，类型参数 T 就可以实现 IComparable<T> 接口：

1. publicclassMyGenericClass<T>whereT:IComparable{}

         2.基类约束：指出某个类型必须将指定的类作为基类（或者就是该类本身），才能用作该泛型类型的类型参数。
         这样的约束一经使用，就必须出现在该类型参数的所有其他约束之前。

1. class MyClassy<T,U>
2. whereT:class
3. whereU:struct
4. {
5. }

         3.where 子句还可以包括构造函数约束。
         可以使用 new 运算符创建类型参数的实例；但类型参数为此必须受构造函数约束 new() 的约束。new() 约束可以让编译器知道：提供的任何类型参数都必须具有可访问的无参数（或默认）构造函数。例如：

1. publicclassMyGenericClass<T>whereT:IComparable,new()
2. {
3. //Thefollowinglineisnotpossiblewithoutnew()constraint:
4. Titem=newT();
5. }

        new() 约束出现在 where 子句的最后。

         4.对于多个类型参数，每个类型参数都使用一个 where 子句，
         例如：

1. interface MyI{}
2. class Dictionary<TKey,TVal>
3. whereTKey:IComparable,IEnumerable
4. whereTVal:MyI
5. {
6. publicvoidAdd(TKeykey,TValval)
7. {
8. }
9. }

        5.还可以将约束附加到泛型方法的类型参数，例如：

1. public bool MyMethod<T>(Tt)whereT:IMyInterface{}

        请注意，对于委托和方法两者来说，描述类型参数约束的语法是一样的：

1. delegateTMyDelegate<T>()whereT:new()

        总之，Where就是为范型指定类型约束。

        二、Default关键字

        在泛型类和泛型方法中产生的一个问题是，在预先未知以下情况时，如何将默认值分配给参数化类型 T：

                T 是引用类型还是值类型。

                如果 T 为值类型，则它是数值还是结构。

                给定参数化类型 T 的一个变量 t，只有当 T 为引用类型时，语句 t = null 才有效；只有当 T 为数值类型而不是结构时，语句 t = 0 才能正常使用。

        解决方案是使用 default 关键字，此关键字对于引用类型会返回空，对于数值类型会返回零。对于结构，此关键字将返回初始化为零或空的每个结构成员，具体取决于这些结构是值类型还是引用类型。以下来自 GenericList<T> 类的示例显示了如何使用 default 关键字。

1. public class GenericList<T>
2. {
3.     private class Node
4.     {
5.         //...
7.         public Node Next;
8.         public T Data;
9.     }
11.     private Node head;
13.     //...
15.     public T GetNext()
16.     {
17.         T temp = default(T);
19.         Node current = head;
20.         if (current != null)
21.         {
22.             temp = current.Data;
23.             current = current.Next;
24.         }
25.         return temp;
26.     }
27. }

         2.  default 另一种用法

         在switch语句中，如果没有任何 case 表达式与开关值匹配，则控制传递给跟在可选 default 标签后的语句。如果没有 default 标签，则控制传递到 switch 以外。      

1. int id = int32.Parse(Console.ReadLine());     
2. switch (id)
3.       {
4.           case 1: 
5.               Console.WriteLine("Lee");
6.               break;
7.           case 2:
8.               Console.WriteLine("Tang");
9.               break;
10.           default:
11.               Console.WriteLine("Sorry, no one match this ID!");
12.               break;
13.       }

 
 

  
  
   
   
 
 
 
where 子句还可以包括构造函数约束。可以使用 new 运算符创建类型参数的实例；但类型参数为此必须受构造函数约束 new() 的约束。
new() 约束可以让编译器知道：提供的任何类型参数都必须具有可访问的无参数（或默认）构造函数。例如：

 
 

  
  
  
  
  
  代码 
  
  
 
   
   
    
    
 
  
  
 
 
 
new() 约束出现在 where 子句的最后。
对于多个类型参数，每个类型参数都使用一个 where 子句，例如：

 
 

  
  
  
  
  
  代码 
  
  
 
   
   
    
    
 
  
  
 
 
 
还可以将约束附加到泛型方法的类型参数，例如：

 
 
 
  
  
   
   
 
 
 
请注意，对于委托和方法两者来说，描述类型参数约束的语法是一样的：

 
 
 
  
  
   
   

 
 

-->