泛型類型參數及約束

• 泛型類型參數簡介

    在定義泛型類型和泛型方法時，常用到泛型類型參數，泛型類型參數是在實例化泛型時指定類型的占位符。泛型類型參數放在“<>”內。

    泛型類型參數命名建議：

    （1）當泛型類型參數為單個字母時，建議用T表示。

    （1）當泛型類型參數用單詞定義時，建議在單詞前加T。

private void PromptName<T>(T t) {}
private void PromptName<Tuser>(Tuser user){}

• 泛型類型參數約束

      在定義泛型類時，可以對在實例化泛型類時用於類型參數的類型種類施加限制。如果實例化泛型類時使用某個約束所不允許的類型來實例化類，則會產生編譯時錯誤。

      泛型約束分類：  

約束	說明
T：結構	類型參數必須是值類型。 可以指定除 Nullable 以外的任何值類型。
T：類	類型參數必須是引用類型；這一點也適用於任何類、接口、委托或數組類型。
T：new()	類型參數必須具有無參數的公共構造函數。 當與其他約束一起使用時，new() 約束必須最后指定。
T：<基類名>	類型參數必須是指定的基類或派生自指定的基類。
T：<接口名稱>	類型參數必須是指定的接口或實現指定的接口。 可以指定多個接口約束。 約束接口也可以是泛型的。
T：U	為 T 提供的類型參數必須是為 U 提供的參數或派生自為 U 提供的參數。

 （1）類型參數約束為結構（struct）。

    public class ShowObjectType<T> where T : struct
    {
        public void ShowValue<T>(T t)
        {
            Console.WriteLine(t.GetType());
        }
    }

    class GenericConstraint
    {
        static void Main()
        {
          
            ShowObjectType<int> showInt = new ShowObjectType<int>();
            showInt.ShowValue<int>(5);
            showInt.ShowValue(5);//從參數可以推導出類型參數類型，則可以省略類型參數類型
            
            //因為約束為值類型，下面代碼不能通過編譯
            ShowObjectType<string> showString = new ShowObjectType<string>();
            showString.ShowValue("5");

            Console.Read();
        }

    }

   （2）類型參數約束為類（class）。

    在應用 where T : class 約束時，避免對類型參數使用 == 和 != 運算符，因為這些運算符僅測試類型為引用類型，而不測試值相等性。

    class GenericConstraint
    {
        static void Main()
        {
              List<string > list = new List<string>();
            AddClass<string>(list, "hello generic");

            Console.Read();
        }

        private static void AddClass<T>(List<T> list, T t) where T : class
        {
            list.Add(t);
        }
    }

  （4）類型參數約束為具體類。

         約束為具體類時，可利用類型參數調用具體類的屬性和方法。

    class GenericConstraint
    {
        static void Main()
        {
            Person person = new Person { ID = 1, Name = "David" };
            PromptName<Person>(person);

            Console.Read();
        }

        //此約束T為Person對象或者繼承Person對象
        private static void PromptName<T>(T t) where T : Person 
        {
            //此處可使用Person的Name屬性
            if (t.Name == "David")
            {
                Console.WriteLine("Person name is David");
            }

            string name = t.GetName();
            Console.WriteLine("Person name is {0}", name);
        }
    }
    public class Person
    {
        private int id;
        public int ID
        {
            get { return id; }
            set { id = value; }
        }

        private string name;
        public string Name
        {
            get { return name; }
            set { name = value; }
        }
        public string GetName()
        {
            return Name;
        }
    }

    （5）約束多個參數。

class Base { }
class Test<T, U>
    where U : struct
    where T : Base, new() { }

    （6）未綁定類型參數。

      沒有約束的類型參數，稱為未綁定的類型參數。

class  List<T>{}