Visual Basic 15语言新特性
对于C#的两个重要特性元组和Ref返回值,Visual Basic 15提供了对等的实现。这两个特性都是“不完全的”,但已经可以提供足够的变通方案,让VB应用程序可以消费使用了这些特性的C#库。
元组
在VB中,从单个函数调用直接返回多个值是一个人们期待已久的特性。虽然开发人员可以使用ByRef参数获得同样的结果,但与函数式编程语言相比,其语法相当笨拙。
你可能不熟悉这个术语,“元组”就是一组相关的值。从.NET 4.0开始,Visual Basic就提供了一个标准的Tuple类,但用户体验不那么令人满意。开发人员必须手动解包来获得Tuple的值,而且要使用Item1、Item2等不能提供什么帮助的属性名。
七年之后,VB 15终于为元组提供了语法支持。更确切地说,与堆分配Tuple对象相比,ValueTuple结构提供了更好的性能。下面是一个例子,TryParse方法是使用新的风格编写的:
Public Function TryParse(s As String) As (Boolean, Integer) Try Dim numericValue = Integer.Parse(s) Return (True, numericValue) Catch Return (False, Nothing) End Try End Function Dim result = TryParse(s) If result.Item1 Then WriteLine(result.Item2) End If
在这个例子中,TryParse的返回值是ValueTuple。这使得函数更简洁了一些,因为你不必再显式说明ValueTuple类型。但是,如你所见,调用它的代码没有任何不同。因此,让我们稍微改进一下,但保持返回类型的字段不变:
Public Function TryParse(s As String) As (IsInteger As Boolean, Value As Integer) … End Function Dim result = TryParse(s) If result.IsInteger Then WriteLine(result.Value) End If
你可以使用下面的语法创建带有命名字段的元组:
Dim kvPair = (Key := 5, Value := "Five")
遗憾的是,VB没有提供一种可以将元组“解包”到多个变量的方法。因此,将下面这行C#代码翻译成VB时,每个变量需要一行:
var (key, value) = kvPair;
(By)Ref返回值
Ref返回值,也就是VB中的ByRef返回值,有严格的限制。你可以消费将一个引用(即托管指针)返回给一个字段或数组索引的C#函数,但你无法自己创建,你也无法创建局部ByRef变量。
你所能做的是采用一个相当复杂的变通方法。虽然你无法创建局部ByRef变量,但你可以创建ByRef参数。考虑下下面的C#函数和它在VB中的等价实现:
public ref string FindNext(string startWithString, ref bool found) ByRef Function FindNext(startWithString as string, ByRef found as Boolean) As String
要使用这个函数,Klaus Löffelmann告诉我们,我们需要一个辅助函数:
Private Function VbByRefHelper(Of t)(ByRef byRefValue As t,byRefSetter As Func(Of t, t)) As t Dim orgValue = byRefValue byRefValue = byRefSetter(byRefValue) Return orgValue End Function
接下来,你可以将返回ref的函数的结果作为参数传递给辅助函数,同时,你希望将其作为一个单独的匿名函数。
Dim didFind As Boolean '版本#2: 借助一个简单的泛型辅助类: aSentence = New NewInCS2017.Sentence("Adrian is going to marry Adriana, because Adrian loves Adriana.") Do VbByRefHelper(aSentence.FindNext("Adr", didFind), Function(stringFound) As String If stringFound = "Adrian" Then stringFound = "Klaus" Return stringFound End If Return stringFound End Function) Loop While didfind
以下是VB完全实现Ref返回值后的样子,仅供参考:
'THIS DOES NOT WORK IN VB!!! Dim aSentence = New Sentence("Adrian is going to marry Adriana, because Adrian loves Adriana.") Dim found = False Do ' !!In C# we can declare a local variable as ref - in VB we cannot.!! ' This variable could take the result... Dim ByRef foundString = aSentence.FindNext("Adr", found) If foundString = "Adrian" Then ' but via the reference, so writing would be possible as well, ' and we had a neat find and replace! foundString = "Klaus" End If Loop While found
那么,VB为什么没有实现ref局部变量呢?
从根本上说是因为还没有东西使用它们。在.NET API中,目前没有任何东西需要使用它们,这个特性最终可能还是会走进死胡同。这以前发生过;几乎没有人使用不安全块,即使在使用原生C程序库时。栈分配数组的情况也一样。
Anthony Green写道:
坦白说,VB2017提供消费ref-returning函数的功能是为了对冲未来的不确定性,而不是为了让那个特性成为主流(即使在C#中也是如此)。
[…]
如果你看一下C#的这个版本,该特性带来了另一个特性,即ref局部变量。关于ref局部变量,也有一些考虑,ref再赋值(将一个局部变量“指向”另一个位置)以及ref局部变量默认只读,如何在所有可以引入变量的地方指定ref,区分普通赋值和ref赋值,类似这样的决策都需要在VB中解决,以便获得同样的生产能力。有大量的工作要做。
在VB中,工作量会更大,因为VB有额外的功能使用了ByRef,比如传递ByRef属性。VB编译器开发负责人Jared Parsons有一篇不错的博文,列举了许多在VB中使用ByRef的案例,可以说明这一点。返回一个ByRef属性,并在一个后期绑定的上下文中处理ByRef真得没有任何意义,因此, 与令人费解的ByRef参数相比,该语言对ByRef返回值的处理方式有所不同(而Jared现在得将更多的案例补充到那篇博文了)。那会给VB带来大量的困惑、语法和概念负担,因为C#增加了一项某一天可能用于编写一个集合类型的特性。
相反,我们采用一种不同的方法。简而言之,我们仅仅实现消费场景所需的特性,让你使用Slice(或者类似的返回ref的东西)就刚好可以完成你可以对数组进行的操作,除此之外,不提供任何额外的特性。当你使用索引指定一个数组元素时,你可以直接给它赋值,但你不能将数组元素的引用赋值给ref局部变量,并稍后再赋值给数组,你可以在那个索引指定的位置对值进行修改,你可以传递那个ByRef元素,但不能返回ByRef。也就是说,没有新语法,VB得到了保护。如果在VS2017发布之后,该语言的下一个版本发布之前,我们增加了Slice,而它作为一个集合类型,成了所有集合类型的终结者,一夜之间出现了数百万计的API返回ByRef类型。如果这个可能性微乎其微的噩梦永远不会发生,那么该语言就不会受此损害。这就是为什么它要那样设计。
(感兴趣的读者可以通过上面的链接阅读完整解释)
VB不是唯一一门这样做的语言。同样的考虑使得C#没有包含对XML库的支持,许多ASP.NET MVC开发人员都会希望它有这个特性。