快捷導(dǎo)航

淺析c#范型中的特殊關(guān)鍵字where & default

更新時(shí)間：2013年09月05日 09:54:41 作者：

以下是對(duì)c#范型中的特殊關(guān)鍵字where和default進(jìn)行了詳細(xì)的介紹，需要的朋友可以過來(lái)參考下

在看源碼的時(shí)候看見了where和default，雖說(shuō)default很常見，但是它的用法我卻是第一次看到，哎，基礎(chǔ)不扎實(shí)??！

下面介紹下這兩個(gè)特殊的關(guān)鍵字：
一、Where關(guān)鍵字
where 子句用于指定類型約束，這些約束可以作為泛型聲明中定義的類型參數(shù)的變量。
1.接口約束。
例如，可以聲明一個(gè)泛型類 MyGenericClass，這樣，類型參數(shù) T 就可以實(shí)現(xiàn) IComparable<T> 接口：

復(fù)制代碼代碼如下:

publicclassMyGenericClass<T>whereT:IComparable{}

2.基類約束：指出某個(gè)類型必須將指定的類作為基類（或者就是該類本身），才能用作該泛型類型的類型參數(shù)。
這樣的約束一經(jīng)使用，就必須出現(xiàn)在該類型參數(shù)的所有其他約束之前。

復(fù)制代碼代碼如下:

class MyClassy<T,U>
whereT:class03.whereU:struct04.{
}

3.where 子句還可以包括構(gòu)造函數(shù)約束。
可以使用 new 運(yùn)算符創(chuàng)建類型參數(shù)的實(shí)例；但類型參數(shù)為此必須受構(gòu)造函數(shù)約束 new() 的約束。new() 約束可以讓編譯器知道：提供的任何類型參數(shù)都必須具有可訪問的無(wú)參數(shù)（或默認(rèn)）構(gòu)造函數(shù)。例如：

復(fù)制代碼代碼如下:

publicclassMyGenericClass<T>whereT:IComparable,new()
{
//Thefollowinglineisnotpossiblewithoutnew()constraint:04.Titem=newT();
}

new() 約束出現(xiàn)在 where 子句的最后。

4.對(duì)于多個(gè)類型參數(shù)，每個(gè)類型參數(shù)都使用一個(gè) where 子句
例如：

復(fù)制代碼代碼如下:

interface MyI{}
class Dictionary<TKey,TVal>
whereTKey:IComparable,IEnumerable
whereTVal:MyI
{
publicvoidAdd(TKeykey,TValval)
{
}
}

5.還可以將約束附加到泛型方法的類型參數(shù)，例如：

復(fù)制代碼代碼如下:

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

請(qǐng)注意，對(duì)于委托和方法兩者來(lái)說(shuō)，描述類型參數(shù)約束的語(yǔ)法是一樣的：

復(fù)制代碼代碼如下:

delegateTMyDelegate<T>()whereT:new()

總之，Where就是為范型指定類型約束。

二、Default關(guān)鍵字
在泛型類和泛型方法中產(chǎn)生的一個(gè)問題是，在預(yù)先未知以下情況時(shí)，如何將默認(rèn)值分配給參數(shù)化類型 T：

T 是引用類型還是值類型。
如果 T 為值類型，則它是數(shù)值還是結(jié)構(gòu)。
給定參數(shù)化類型 T 的一個(gè)變量 t，只有當(dāng) T 為引用類型時(shí)，語(yǔ)句 t = null 才有效；只有當(dāng) T 為數(shù)值類型而不是結(jié)構(gòu)時(shí)，語(yǔ)句 t = 0 才能正常使用。

解決方案是使用 default 關(guān)鍵字，此關(guān)鍵字對(duì)于引用類型會(huì)返回空，對(duì)于數(shù)值類型會(huì)返回零。對(duì)于結(jié)構(gòu)，此關(guān)鍵字將返回初始化為零或空的每個(gè)結(jié)構(gòu)成員，具體取決于這些結(jié)構(gòu)是值類型還是引用類型。以下來(lái)自 GenericList<T> 類的示例顯示了如何使用 default 關(guān)鍵字。

復(fù)制代碼代碼如下:

public class GenericList<T>
{
    private class Node
    {
        //...06.07.        public Node Next;
        public T Data;
    }
    private Node head;
    //...14.15.    public T GetNext()
    {
        T temp = default(T);
        Node current = head;
        if (current != null)
        {
            temp = current.Data;
            current = current.Next;
        }
        return temp;
    }
}

2. default 另一種用法
在switch語(yǔ)句中，如果沒有任何 case 表達(dá)式與開關(guān)值匹配，則控制傳遞給跟在可選 default 標(biāo)簽后的語(yǔ)句。如果沒有 default 標(biāo)簽，則控制傳遞到 switch 以外。

復(fù)制代碼代碼如下:

int id = int32.Parse(Console.ReadLine());     
switch (id)
      {
          case 1: 
              Console.WriteLine("Lee");
              break;
          case 2:
              Console.WriteLine("Tang");
              break;
          default:
              Console.WriteLine("Sorry, no one match this ID!");
              break;
      }

where 子句還可以包括構(gòu)造函數(shù)約束?？梢允褂?new 運(yùn)算符創(chuàng)建類型參數(shù)的實(shí)例；但類型參數(shù)為此必須受構(gòu)造函數(shù)約束 new() 的約束。

new() 約束可以讓編譯器知道：提供的任何類型參數(shù)都必須具有可訪問的無(wú)參數(shù)（或默認(rèn)）構(gòu)造函數(shù)。

new() 約束出現(xiàn)在 where 子句的最后。

對(duì)于多個(gè)類型參數(shù)，每個(gè)類型參數(shù)都使用一個(gè) where 子句

還可以將約束附加到泛型方法的類型參數(shù)

請(qǐng)注意，對(duì)于委托和方法兩者來(lái)說(shuō)，描述類型參數(shù)約束的語(yǔ)法是一樣的

您可能感興趣的文章: