c#-泛型基础认知

/// <summary>
        /// Name: Generic/泛型
        /// .NET Framework 2.O 时CLR升级的
        /// 泛型使用：泛型接口/泛型类/泛型方法/泛型委托/泛型
        /// 约束：class引用类型约束/struct值类型约束/new()无参数构造函数约束/接口约束/类约束
        /// 深入》》》》》》》
        /// 范围：只能在接口和委托 c# 4.0出现
        /// 泛型的逆变（in）修饰传入参数 作为传入参数 不能作为返回值
        /// 泛型的协变 (out) 修饰返回值  作为返回值参数 不能作为传入参数
        /// </summary>
        /// <returns></returns>

泛型使用：泛型接口/泛型类/泛型方法/泛型委托/泛型（只有这四种情况）

    /// <summary>
    /// 泛型类
    /// 描述：就是在类的后面加上<> ,<>里面有一个占位符，你可以任意定义
    /// 可以有多个占位符，如: GenericClass2<T, W, S>
    /// </summary>
    /// <typeparam name="T">占位符（`）这里的"T"可以任意的自己定义</typeparam>
    public class GenericClass<T>
    {

    }

    public class GenericClass2<T, W, S>
    {

    }

    public class GenericClass3
    {
        /// <summary>
        /// 泛型方法 
        /// 描述：返回值/传入的参数都可是泛型
        /// 返回值是泛型的时候 需要默认的返回T :return default(T);
        /// </summary>
        /// <typeparam name="T"></typeparam>
        /// <param name="t"></param>
        /// <returns></returns>
        public T SayHi<T>(T t)
        {
            return default(T);
        }

        public void SayHi2<T>(T t)
        {

        }

        public T SayHi3<T>()
        {
            return default(T);
        }
    }

    /// <summary>
    /// 泛型接口
    /// 描述：同泛型类相同
    /// </summary>
    /// <typeparam name="T"></typeparam>
    public interface IMyGeneric<T>
    {

    }

    /// <summary>
    /// 泛型委托 
    /// 描述：和方法的类似
    /// </summary>
    /// <typeparam name="T"></typeparam>
    public delegate void Mydelegate<T>();

泛型的约束：class引用类型约束/struct值类型约束/new()无参数构造函数约束/接口约束/类约束

    /// <summary>
    /// 泛型类
    /// 描述：就是在类的后面加上<> ,<>里面有一个占位符，你可以任意定义
    /// 可以有多个占位符，如: GenericClass2<T, W, S>
    /// 约束：带来了权力，也带来了义务
    /// 描述：在类，或者方法的后面 加上where关键字 然后加上泛型的占位符（这里是T）然后加上冒号：冒号后面就是约束的条件
    /// 约束条件只有五种：
    /// class引用类型约束/struct值类型约束/new()无参数构造函数约束/接口约束/类约束（自己定义的类）
    /// 五种约束按照你自己的使用来给方法/类/接口/委托约束
    /// </summary>
    /// <typeparam name="T">占位符（`）这里的"T"可以任意的自己定义</typeparam>
    public class GenericClass<T> where T : class //这里表示class引用类型约束
    {

    }

    public class GenericClass2<T, W, S> where T : class where W : struct where S : new()
    {

    }

    public class GenericClass3
    {
        /// <summary>
        /// 泛型方法 
        /// 描述：返回值/传入的参数都可是泛型
        /// 返回值是泛型的时候 需要默认的返回T :return default(T);
        /// </summary>
        /// <typeparam name="T"></typeparam>
        /// <param name="t"></param>
        /// <returns></returns>
        public T SayHi<T>(T t) where T : class, new()
        {
            return default(T);
        }

        public void SayHi2<T>(T t) where T : IMyGeneric<int>
        {

        }

        public T SayHi3<T>()
        {
            return default(T);
        }
    }

    /// <summary>
    /// 泛型接口
    /// 描述：同泛型类相同
    /// </summary>
    /// <typeparam name="T"></typeparam>
    public interface IMyGeneric<T>
    {

    }

    /// <summary>
    /// 泛型委托 
    /// 描述：和方法的类似
    /// </summary>
    /// <typeparam name="T"></typeparam>
    public delegate void Mydelegate<T>() where T : class, new();

泛型的逆变（in）和协变（out）--- 只有委托和接口存在
在实际开发中很少遇到，这里只讲解一下 c#封装的使用到的地方

泛型的协变 (out) 修饰返回值  作为返回值参数 不能作为传入参数

#region 程序集 mscorlib, Version=4.0.0.0, Culture=neutral, PublicKeyToken=b77a5c561934e089
// C:Program Files (x86)Reference AssembliesMicrosoftFramework.NETFrameworkv4.6.1mscorlib.dll
#endregion

using System.Runtime.CompilerServices;

namespace System.Collections.Generic
{
    //
    // 摘要:
    //     公开枚举数，该枚举数支持在指定类型的集合上进行简单迭代。若要浏览此类型的.NET Framework 源代码，请参阅参考源。
    //
    // 类型参数:
    //   T:
    //     要枚举的对象的类型。此类型参数是协变。即可以使用指定的类型或派生程度更高的类型。有关协变和逆变的详细信息，请参阅 泛型中的协变和逆变。
    [TypeDependencyAttribute("System.SZArrayHelper")]
    public interface IEnumerable<out T> : IEnumerable
    {
        //
        // 摘要:
        //     返回一个循环访问集合的枚举器。
        //
        // 返回结果:
        //     用于循环访问集合的枚举数。
        IEnumerator<T> GetEnumerator();
    }
}

    /// <summary>
    /// 泛型的协变 (out) 修饰返回值  作为返回值参数 不能作为传入参数
    /// 解释：就是声明的占位符只能是返回值
    /// </summary>
    /// <typeparam name="T"></typeparam>
    public interface IMyList<out T>
    {
        T Get(); //这里的返回值只能是这样

        //void Get<T>(T t);//不允许这样
    }

    public class MyList<T> : IMyList<T>
    {
        public T Get()
        {
            return default(T);
        }
    }

泛型的逆变（in）修饰传入参数 作为传入参数 不能作为返回值

#region 程序集 mscorlib, Version=4.0.0.0, Culture=neutral, PublicKeyToken=b77a5c561934e089
// C:Program Files (x86)Reference AssembliesMicrosoftFramework.NETFrameworkv4.6.1mscorlib.dll
#endregion

namespace System
{
    //
    // 摘要:
    //     封装一个方法，该方法只有一个参数并且不返回值。若要浏览此类型的 .NET Framework 源代码，请参阅引用源。
    //
    // 参数:
    //   obj:
    //     此委托封装的方法的参数。
    //
    // 类型参数:
    //   T:
    //     此委托封装的方法的参数类型。此类型参数是逆变。即可以使用指定的类型或派生程度更低的类型。有关协变和逆变的详细信息，请参阅 泛型中的协变和逆变。
    public delegate void Action<in T>(T obj);
}

 /// <summary>
    /// 泛型的逆变（in）修饰传入参数 作为传入参数 不能作为返回值
    /// 解释：就是声明的占位符只能是传入的参数
    /// </summary>
    /// <typeparam name="T"></typeparam>
    public interface IMyList2<in T>
    {
        //T Get();//不允许这样

        void Get<T>(T t); //这里只能是这样,不予许返回值是泛型
    }

    public class MyList3<T> : IMyList2<T>
    {
        public void Get<T1>(T1 t)
        {
            throw new NotImplementedException();
        }
    }

以上是我对泛型的理解，如有疑问加我QQ:443069755

欢迎讨论和指教