C#2.0 锐利体验系列(1)-泛型编程

看了李建中的C#2.0 锐利体验系列(1)-泛型编程的笔记

 

 Class Stack<T>{ Private T[] store; Private int size; Public Stack() { Store = new T[10]; Size = 0; } Public void Push(T x) { Store[size++] = x; } Public T Pop() { Return store[--size]; } } Stack<int> x = new Stack<int>(); x.Push(17);

 

泛型的类型参数必须是固定的，或者是一致的。如果传入的是T类型，但是方法中又用到S类型，这就是不一致。

 

class C<U,V>{} //合法 class D: C<U,V>{}//不合法（基类参数类型不确定） class D<U,V>: C<U,V>{}//合法 class D<U,V>: C<string ,int>{}//合法

 

还可以对接口使用泛型。

Interface IList<T> { T[] GetElements(); } Interface IDictionary<K,V> { Void Add(K key,V value); } Class List<T>:IList<T>,IDictionary<int,T> { Public T[] GetElements() { Return null; } Public void Add(int index,T value) {} }

泛型委托

Delegate bool Predicate<T>(T value); Class X { Static bool F(int i){…} Static bool G(string s){…} Static void Main(){ //可以这样委托 Predicate<string> p2 = G; //也可以这样 Predicate<int> P1 = new Predicate<int>(F); } }

基类约束 （用where指定，接口也可以这样用） Class A{public void F1(){…}} Class B{public void F2(){…}} Class C<S,T>where S:A where T:B { //可以在类型为S的变量上调用F1 //可以在类型为T的变量上调用F2 }

构造器约束 Class A{public A(){}} Class B{public B(int i){ }} Class C<T> where T:new（） { //可以在其中使用T t=new T（）； 。。。 } C<A> c=new C<A>();//可以，A有无参构造器 C<B> c=new C<B>();//不可以，B是有参构造器，目前C#不支持有参构造器

值类型/引用类型约束 Public struct A{… } Public Class B{…} Class C<T> where T:struct { //T在这里是值类型； 。。。 } C<A> c=new C<A>();//可以，A是值类型 C<B> c=new C<B>();//不可以，B是引用类型

C#泛型相当于C++的模板。泛型在执行时处理，模板在编译时处理。

泛型都生成在内存中。

泛型中，类型参数是指针，则只生成一份代码，如果是值类型，则生成多份同类型的代码。

JAVA中处理泛型的话，如果是值类型，也转换成指针，然后生成一份代码，这是影响效率的地方。