欢迎您访问程序员文章站本站旨在为大家提供分享程序员计算机编程知识!
您现在的位置是: 首页  >  IT编程

浅析c#范型中的特殊关键字where & default

程序员文章站 2024-02-17 10:48:46
在看源码的时候看见了where和default,虽说default很常见,但是它的用法我却是第一次看到,哎,基础不扎实啊! 下面介绍下这两个特殊的关键字:一、where关...

在看源码的时候看见了where和default,虽说default很常见,但是它的用法我却是第一次看到,哎,基础不扎实啊!

下面介绍下这两个特殊的关键字:
一、where关键字
where 子句用于指定类型约束,这些约束可以作为泛型声明中定义的类型参数的变量。
1.接口约束。
例如,可以声明一个泛型类 mygenericclass,这样,类型参数 t 就可以实现 icomparable<t> 接口:

复制代码 代码如下:

publicclassmygenericclass<t>wheret:icomparable{}

2.基类约束:指出某个类型必须将指定的类作为基类(或者就是该类本身),才能用作该泛型类型的类型参数。
这样的约束一经使用,就必须出现在该类型参数的所有其他约束之前。
复制代码 代码如下:

class myclassy<t,u>
wheret:class03.whereu:struct04.{
}

3.where 子句还可以包括构造函数约束。
可以使用 new 运算符创建类型参数的实例;但类型参数为此必须受构造函数约束 new() 的约束。new() 约束可以让编译器知道:提供的任何类型参数都必须具有可访问的无参数(或默认)构造函数。例如:
复制代码 代码如下:

publicclassmygenericclass<t>wheret:icomparable,new()
{
//thefollowinglineisnotpossiblewithoutnew()constraint:04.titem=newt();
}

new() 约束出现在 where 子句的最后。

4.对于多个类型参数,每个类型参数都使用一个 where 子句
例如:

复制代码 代码如下:

interface myi{}
class dictionary<tkey,tval>
wheretkey:icomparable,ienumerable
wheretval:myi
{
publicvoidadd(tkeykey,tvalval)
{
}
}

5.还可以将约束附加到泛型方法的类型参数,例如:
复制代码 代码如下:

public bool mymethod<t>(tt)wheret:imyinterface{}

请注意,对于委托和方法两者来说,描述类型参数约束的语法是一样的:
复制代码 代码如下:

delegatetmydelegate<t>()wheret:new()

总之,where就是为范型指定类型约束。

二、default关键字
在泛型类和泛型方法中产生的一个问题是,在预先未知以下情况时,如何将默认值分配给参数化类型 t:

t 是引用类型还是值类型。
如果 t 为值类型,则它是数值还是结构。
给定参数化类型 t 的一个变量 t,只有当 t 为引用类型时,语句 t = null 才有效;只有当 t 为数值类型而不是结构时,语句 t = 0 才能正常使用。

解决方案是使用 default 关键字,此关键字对于引用类型会返回空,对于数值类型会返回零。对于结构,此关键字将返回初始化为零或空的每个结构成员,具体取决于这些结构是值类型还是引用类型。以下来自 genericlist<t> 类的示例显示了如何使用 default 关键字。

复制代码 代码如下:

public class genericlist<t>
{
    private class node
    {
        //...06.07.        public node next;
        public t data;
    }
    private node head;
    //...14.15.    public t getnext()
    {
        t temp = default(t);
        node current = head;
        if (current != null)
        {
            temp = current.data;
            current = current.next;
        }
        return temp;
    }
}

2.  default 另一种用法
在switch语句中,如果没有任何 case 表达式与开关值匹配,则控制传递给跟在可选 default 标签后的语句。如果没有 default 标签,则控制传递到 switch 以外。     
复制代码 代码如下:

int id = int32.parse(console.readline());    
switch (id)
      {
          case 1:
              console.writeline("lee");
              break;
          case 2:
              console.writeline("tang");
              break;
          default:
              console.writeline("sorry, no one match this id!");
              break;
      }

where 子句还可以包括构造函数约束。可以使用 new 运算符创建类型参数的实例;但类型参数为此必须受构造函数约束 new() 的约束。

new() 约束可以让编译器知道:提供的任何类型参数都必须具有可访问的无参数(或默认)构造函数。

new() 约束出现在 where 子句的最后。

对于多个类型参数,每个类型参数都使用一个 where 子句

还可以将约束附加到泛型方法的类型参数

请注意,对于委托和方法两者来说,描述类型参数约束的语法是一样的