C#泛型

    泛型方法是使用类型参数声明的方法,如下所示:  
        ///   <summary>
        ///   (NO)でリストの取得
        ///   </summary>
        ///   <param name ="tags","NO"> </param>
        private T getNO<T>(List<T> tags, int NO)where T:Tag
        {
            if (NO >= tags.Count)
            {
                Type type = typeof(T);
                return (T)Activator.CreateInstance(type, true);   
            }
            return tags[NO];
        }

下面的代码示例演示一种使用 int 作为类型参数的方法调用方式:

        public static void TestSwap()
        {
            int a = 1;
            int b = 2;
            Swap<int>(ref a, ref b);
            System.Console.WriteLine(a + " " + b);
        }

也可以省略类型参数,编译器将推断出该参数。下面对 Swap 的调用等效于前面的调用:

Swap(ref a, ref b);

相同的类型推断规则也适用于静态方法以及实例方法。编译器能够根据传入的方法参数推断类型参数;它无法仅从约束或返回值推断类型参数。因此,类型推断不适用于没有参数的方法。类型推断在编译时、编译器尝试解析任何重载方法签名之前进行。编译器向共享相同名称的所有泛型方法应用类型推断逻辑。在重载解析步骤中,编译器仅包括类型推断取得成功的那些泛型方法。

在泛型类中,非泛型方法可以访问类级别类型参数,如下所示:

        class SampleClass<T>
        {
            void Swap(ref T lhs, ref T rhs) { }
        }

如果定义的泛型方法接受与包含类相同的类型参数,编译器将生成警告 CS0693,因为在方法范围内,为内部 T 提供的参数将隐藏为外部 T 提供的参数。除了类初始化时提供的类型参数之外,如果需要灵活调用具有类型参数的泛型类方法,请考虑为方法的类型参数提供其他标识符,如下面示例中的 GenericList2<T> 所示。
 
        class GenericList<T>
        {
            // CS0693
            void SampleMethod<T>() { }
        }
        class GenericList2<T>
        {
            //No warning
            void SampleMethod<U>() { }
        }

使用约束对方法中的类型参数启用更专门的操作。此版本的 Swap<T> 现在称为 SwapIfGreater<T>,它只能与实现 IComparable<T> 的类型参数一起使用。
 

        void SwapIfGreater<T>(ref T lhs, ref T rhs) where T : System.IComparable<T>
        {
            T temp;
            if (lhs.CompareTo(rhs) > 0)
            {
                temp = lhs;
                lhs = rhs;
                rhs = temp;
            }
        }

泛型方法可以使用许多类型参数进行重载。例如,下列方法可以全部存在于同一个类中:

void DoWork() { }
void DoWork<T>() { }

posted @ 2009-09-29 17:38 435银狐 阅读(...) 评论(...) 编辑 收藏