.net有了泛型后,不用再像object类型那样由于“拆箱”或“装箱”等操作带来性能上的损失了,它有一个让人振奋的功能就是:可以在编译语法检测阶段即可实时检测出传入或传出类型是否符合特定条件。
不过,.net泛型自身类型的不确定,也会引发一些问题:无法进行运算符重载。
假如要写一个函数(一个通用的选择排序算法,使用泛型T),应该如何编写?
c#实现的简单代码:
//从小到大,改进型选择排序算法
public static void Sort<T>(T[] array)
{
bool flag = false; //标记是否已经排序
for(int i=0;i<array.Length-1;++i)
{
flag = false; //每次假定都已经排序,无须再排序
for(int j=i+1;i<array.Length;++j)
{
if(array[i]>array[j])
{
int temp = array[i];
array[i]=array[j];
array[j]=templ
flag = true; //已经排序
}
}
if(!flag)
{
break;
}
}
}
编译后,很快发现提示“运算符‘>'无法作用于T”一类的提示。
为何如此呢?
我们知道,凡是可以进行大于、小于比较的类型肯定都定义了运算符重载。一般类必须为此定义方可进行比较,不然大于号或者小于号(或者其它运算符)无法知道如何比较而发生错误。那么泛型因为事先都不知道什么类型?编译器检查器自然无法推断你运行时动态传入的这个类型一定保证是实现了运算符重载,严格语法检查情况下就自然报错。
怎么办呢?强制规定泛型T必须实现比较器(强制T必须实现IComparable,或者类似接口)。
public static void Sort<T>(T[] array)where T:IComparable
{
bool flag = false; //标记是否已经排序
for(int i=0;i<array.Length-1;++i)
{
flag = false; //每次假定都已经排序,无须再排序
for(int j=i+1;i<array.Length;++j)
{
if(array[i].Compare(array[j])>0)
{
int temp = array[i];
array[i]=array[j];
array[j]=templ
flag = true; //已经排序
}
}
if(!flag)
{
break;
}
}
}
一旦对泛型进行约束,那么泛型必然是实现该接口的类,必然拥有此方法(Compare方法返回结果int类型,如果大于0表示前面一个数字大于后面一个)。
当然,微软类库中有一个Comparer静态类,已经实现了此接口可以直接进行比较(http://msdn.microsoft.com/zh-cn/library/system.collections.comparer.comparer.aspx),因此我们也可以选择直接使用这个静态类中的Compare方法得到结果。
例2,实现一个通用的“+”——即如果传入的字符串,则自动按照字符串进行字符拼接;如果传入的是其它基本类型(int,double等),则返回相加结果。
微软没有为“+”预定义接口,因此无法直接使用接口的方式来做(当然你自己强制定义一个,也可以如法炮制)。我们现在换一个方法——使用表达式树(C#代码如下):
public static T Add<T>(T a, T b)
{
Expression left = Expression.Constant(a);
Expression right = Expression.Constant(b);
Type t = typeof(T);
Expression value;
if (t == typeof(string))
{
value = Expression.Constant(a.ToString()+b.ToString());
}
else
{
value = Expression.Add(left, right);
}
Expression<Func<T>> addExp = Expression.Lambda<Func<T>>(value);
Func<T> addFunc = addExp.Compile();
return addFunc();
}
动态判断T是string还是其它基本类型,然后调用不同的方法组合成为表达式树,动态编译成为一个Func表达式,返回结果即可。
通过以上的学习,相信你对.net 泛型通用函数的特殊问题有了一个更清晰的认识,希望本文对你有所帮助。