VisualBasic9.0前沿播报·静态篇（六）松弛委托和可为空类型语法增强
作者:ninputer 出处:博客堂
本期介绍的两个vb9作为数据开发辅助功能的新特性。clr在.net 2.0增加了许多关于委托的新特性（但大部分都不为任何语言所支持），其中一个叫做协变的特性允许放松委托与函数绑定时的签名检查（C# 2.0支持）。为了追求更高的灵活性，VB9决定在协变的基础上再进一步，引入松弛委托的概念。主要是按照以下规则为委托的实例指定函数：
1、函数的参数个数和返回值类型与委托的签名相同
2、函数的参数类型与委托签名相应位置上的参数类型有父子类或接口-实现关系，或Visual Basic定义的隐式转换规则。
就是说，假如我们有个委托的签名是f(integer)，那么不仅可以为他的实例指定g(integer)签名的函数，还可以指定g(double)或者g(object)签名的函数，因为int32有到double的隐式转换，而且是object的子类。举个实际的例子：
Public Delegate Sub Test()Sub Test(arg As Integer)
'在代码中
Sub Func()Sub Func(arg As Object)
Console.WriteLine(arg.ToString())
End Sub
Dim d As Test = AddressOf Func
d(13)
可为空类型在vb2005中就已经支持，而且和c#一样可以与object类型互转而不会出现语义不同问题。但是vb2005没有加入c#那些语法糖，如定义语法的简化、lifted运算符和空值判断运算符。虽然我觉得这些语法糖未必有多好吃，不过vb9最终还是添加了一些。首先是问号定义的语法。
Dim var1 As T
Dim var2 As T
以上两个定义是等价的，其意义是：当t为引用类型时，变量的类型为t；当t为值类型时，变量的类型为system.nullable(of T)。这样就将所有可为空类型的定义语法统一起来，进而可以用统一的方法判断空值。第二个引用的语法是lifted运算符：当T类型定义的运算符用于T?型时，将自动按以下规则计算：如果原运算结果类型为U，那么使用可为空类型运算的结果就是U?；参与运算的数中有任意一方为Nothing，结果就是Nothing。这样，多年阔别Visual Basic的Null传播又回来了。注意，没有以T?格式定义的引用类型，尽管可以为空引用，但是不会Null传播，只会抛出异常，这一点要注意。
vb9前沿播报的静态篇就到此结束了，从下一篇起，我们进入visual Basic语法改进的动态篇。
- 最新文章
- VisualBasic9.0前沿播报·静态..[05-23]
- VisualBasic9.0前沿播报·静态篇（四）嵌套函数..[05-23]
- VisualBasic9.0前沿播报·静态篇（三）扩展方法[05-23]
- VisualBasic9.0前沿播报·静态篇（二）对象初始..[05-23]
- VisualBasic9.0前沿播报·静态篇（一）局部变量..[05-23]
- VisualBasic9.0前沿播报·动态..[05-23]
- 相关文章
- VisualBasic9.0前沿播报·静态..[05-23]
- VisualBasic9.0前沿播报·静态篇（四）嵌套函数..[05-23]
- VisualBasic9.0前沿播报·静态篇（三）扩展方法[05-23]
- VisualBasic9.0前沿播报·静态篇（二）对象初始..[05-23]
- VisualBasic9.0前沿播报·静态篇（一）局部变量..[05-23]
- VisualBasic9.0前沿播报·动态..[05-23]
