一、where(C# 参考)
where 子句用于指定类型约束,这些约束可以作为泛型声明中定义的类型参数的变量。例如,可以声明一个泛型类 MyGenericClass,这样,类型参数 T 就可以实现 IComparable<T> 接口:
public class MyGenericClass<T> where T:IComparable { }
除了接口约束,where 子句还可以包括基类约束,以指出某个类型必须将指定的类作为基类(或者就是该类本身),才能用作该泛型类型的类型参数。这样的约束一经使用,就必须出现在该类型参数的所有其他约束之前。
// cs_where.cs
// compile with: /target:library
using System;
class MyClassy < T, U >
where T : class
where U : struct
{
}
where 子句还可以包括构造函数约束。可以使用 new 运算符创建类型参数的实例;但类型参数为此必须受构造函数约束 new() 的约束。new() 约束可以让编译器知道:提供的任何类型参数都必须具有可访问的无参数(或默认)构造函数。new() 约束出现在 where 子句的最后。例如:
// compile with: /target:library
using System;
public class MyGenericClass < T > where T: IComparable, new ()
{
// The following line is not possible without new() constraint:
T item = new T();
}
对于多个类型参数,每个类型参数都使用一个 where 子句,例如:
// compile with: /target:library
using System;
using System.Collections;
interface MyI
{
}
class Dictionary < TKey,TVal >
where TKey: IComparable, IEnumerable
where TVal: MyI
{
public void Add(TKey key, TVal val)
{
}
}
二、yield
在 迭代器 块中用于向枚举数对象提供值或发出迭代结束信号。它的形式为下列之一:
yield return <expression>; yield break;
计算表达式并以枚举数对象值的形式返回;expression 必须可以隐式转换为迭代器的 yield 类型。
yield 语句只能出现在 iterator 块中,该块可用作方法、运算符或访问器的体。这类方法、运算符或访问器的体受以下约束的控制:
yield 语句不能出现在匿名方法中。有关更多信息,请参见匿名方法(C# 编程指南)。
当和 expression 一起使用时,yield return 语句不能出现在 catch 块中或含有一个或多个 catch 子句的 try 块中。有关更多信息,请参见异常处理语句(C# 参考)。
在下面的示例中,迭代器块(这里是方法 Power(int number, int power))中使用了 yield 语句。当调用 Power 方法时,它返回一个包含数字幂的可枚举对象。注意 Power 方法的返回类型是 IEnumerable(一种迭代器接口类型)。
using System;
using System.Collections;
public class List
{
public static IEnumerable Power( int number, int exponent)
{
int counter = 0 ;
int result = 1 ;
while (counter ++ < exponent)
{
result = result * number;
yield return result;
}
}
static void Main()
{
// Display powers of 2 up to the exponent 8:
foreach ( int i in Power( 2 , 8 ))
{
Console.Write( " {0} " , i);
}
}
}
结果:2 4 8 16 32 64 128 256