1.泛型的概念
C#中的泛型与C++中的模板类似,泛型是实例化过程中提供的类型或类建立的。泛型并不限于类,还可以创建泛型接口、泛型方法,甚至泛型委托。这将极大提高代码的灵活性,正确使用泛型可以显著缩短开发时间。与C++不同的是,C#中所有操作都是在运行期间进行的。
2.使用泛型
- 可空类型
值类型必须包含一个值,它们可以在声明之后,赋值之前,在未赋值状态下存在,但不能以任何方式使用,而引用类型可以为null。有时让值类型为空是很有用的,泛型提供了使用System.Nullable<T>使值类型为空的一种方式。如下代码:
private Nullable<int> _nullableInt;
则可以为_nullableInt赋为null,如下:
_nullableInt = null;
可空类型非常有用,以致于C#中加入了语法:
int? _nullableIntSecond;
- System.Collections.Generic 名称空间
这个名称空间用于处理集合的泛型类型,使用的非常频繁。将以List<T>和Dictionary<K,V>为例介绍这些类,以及和它们配合使用的接口和方法。
1.List<T>
List<T>泛型集合类更加快捷,更易于使用,创建T类型对象的集合需要一下方法:
List<string> _myCollection = new List<string>();
将创建T为String的List集合。
可以在代码中去查看List<T>所支持的方法,这里不再赘述。
2.对泛型列表进行排序和搜索
对泛型列表进行排序和搜索与和其它列表进行排序和搜索是一样的,如下为实例代码:
public class NumberCollection : List<int>
{
public NumberCollection(IEnumerable<int> initialNums)
{
foreach (var num in initialNums)
{
Add(num);
}
} public NumberCollection()
{
for (int i=;i < ;++i)
{
Add(i);
}
} public void Print()
{
foreach (var num in this)
{
Console.WriteLine(num);
} Console.Read();
}
}
public static class NumberCollectionDelegate
{
public static int Compare(int i,int j)
{
if (i > j)
{
return -;
}
else if (i < j)
{
return ;
}
return ;
} public static bool Find(int i)
{
if (i % == )
{
return true;
} return false;
}
public static Comparison<int> CopmareDelegate = new Comparison<int>(Compare);
public static Predicate<int> Predicate = new Predicate<int>(Find);
}
var numColleciton = new NumberCollection();
numColleciton.Print();
numColleciton.Sort(NumberCollectionDelegate.CopmareDelegate);
numColleciton.Print();
var newNumCollection = new NumberCollection(numColleciton.FindAll(NumberCollectionDelegate.Predicate));
newNumCollection.Print();
Console.ReadLine();
如上代码,首先定义了NumberCollection继承自List<int>,定义了Print方法用来输出集合中所有的值,类NumberCollectionDelegate中定义了Compare方法,以及Find方法,Compare方法用于对集合进行降序排序(为什么这么写是降序排序请关注另一篇文章),Find方法用于选择集合中为偶数的值。在实例的使用中,首先对集合中的元素进行了降序排序,后选择集合中为偶数的值组成新的集合,当然上述比较与查找用法可以简化为以下用法:
numColleciton.Sort(NumberCollectionDelegate.Compare);
var newNumCollection = new NumberCollection(numColleciton.FindAll(NumberCollectionDelegate.Find));
这样就不需要显示引用Comparison<int>类型了,但是在使用时仍然会隐式创建Comparison<int>实例,对于比较也是同样的。在许多情况下,都可以使用方法组以这种方式隐式的创建委托,使代码变的更容易读取。
3.Dictionary<K,V>
这个类型可以定义键值对的集合,这个类型需要实例化两个类型,分别用于键和值,以表示集合中的各个项。可以使用强类型化的Add方法添加键值对,如下。
Dictionary<string, int> stringIntDictionary = new Dictionary<string, int>();
stringIntDictionary.Add("Tom", 1);
stringIntDictionary.Add("Lucy", 2);
stringIntDictionary.Add("Lily", 3);
可以直接访问Dicitionary中的keys和Values属性值:
foreach (var key in stringIntDictionary.Keys)
{
Console.WriteLine(key);
}
foreach (var value in stringIntDictionary.Values)
{
Console.WriteLine(value);
}
同样可以迭代集合中每一项,如下:
foreach (KeyValuePair<string,int> item in stringIntDictionary)
{
Console.WriteLine("{0} = {1}", item.Key, item.Value);
}
对于Dictionary<K,V>需要注意的一点是,每个项的键都必须式唯一的。如果要添加的项与已存在的项的键值相同,则会抛出异常。
3.定义泛型
1.定义泛型类
要创建泛型类,只需在类定义中包括尖括号:
class MyGenericClass<T>
{
}
其中T可以是任意标识符,只需要遵循C#命名规则即可,但一般只使用T。
泛型类可以在其定义中包含任意多个类型,它们用逗号分开,例如:
class MyGenericClass<T1,T2,T3>
{
}
定义了这些类型之后,就可以在类定义中像使用其它类型那样使用它们,如下
class MyGenericClass<T1,T2,T3>
{
private T1 _object; public MyGenericClass(T1 item)
{
_object = item;
} public T1 InnerT1Object
{
get
{
return _object;
}
}
}
注意不能假定使用了什么类型,例如:
_object = new T1();
因为此刻不知道T1是什么,也就不能使用它的构造函数,可能T1就没有构造函数,或者没有可公共访问的构造函数。因此要对泛型进行实际的操作需要更多了解其使用的类型。
- default关键字
要确定用于创建泛型类型的实例,需要了解一个最基本的情况,它是引用类型还是值类型,若不了解这个情况就不能直接对变量赋予null值。此时default关键字就派上了用场:
_object = default(T1);
如果_object是引用类型就给引用类型赋为null值,如果为值类型就给它赋为默认值。对于数字类型默认值为0,对于结构,按照相同的规则对它们进行赋值。default关键字允许对必须使用的类型进行更多的操作,为了进行更多的操作,必须对使用的类型进行更多的约束。
- 约束类型
前面使用的类型称为无绑定类型,因为没有对它们进行任何约束,而通过约束可以限定用于泛型的类型。在类定义中,可以使用where关键字,来限定用于泛型的类型,如下:
class MyGenericClass<T1,T2,T3> where T1 : constraint
其中constraint定义了约束,可以用这种能方式定义很多约束,每个约束之间用逗号分开。还可以使用多个where语句,定义泛型类型需要的任意类型或所有类型上的约束,约束必须出现在类型说明符的后面。
- 从泛型类中继承
类可以从泛型中继承,如
class Farm<T> : IEnumerable<T> where T : Animal
{
}
如上代码Farm<T>是一个接口类型,同样对于T的约束也会在IEnumerable中使用的T上添加一个额外的约束,这可以用于限制用于约束的类型,但是需要遵守一些规则。
首先,如果某个类型所继承的基类型中受到了约束,该类型就不能接触约束,即类型T在基类中使用时所受到的约束,必须扩展到子类中,至少于基类的约束相同。
- 泛型运算符
泛型类也支持运算符的重写。
- 泛型结构
结构与类相同,只是有一些细微的差别,而且结构是值类型,不是引用类型,所以可以创建泛型结构,如:
struct MyGenericStruct<T1, T2>
{
}
2.定义泛型接口
定义泛型接口于定义泛型类所用的技术相同,例如:
interface IGeneric<T> where T : Object
{
void Sum(T x, T y);
}
3.定义泛型方法
可以使用泛型方法以达到泛型方法的更一般形式,在泛型方法中,参数类型或返回类型由泛型类型参数所决定。
,例如:
T GetDefault<T>()
{
return default(T);
}
可以使用非泛型类,实现泛型方法:
public class Defaulter
{
public T GetDefault<T>()
{
return default(T);
}
}
如果类是泛型的,那么需要为类中的泛型方法提供不同的标示符。如下代码会提示泛型方法:
public class Defaulter<T>
{
public T GetDefault<T>()
{
return default(T);
}
}
会提示内部泛型参数与外部泛型参数相同,此时应该更改泛型标示符。
本篇内容参考C#入门经典。