Visual Basic 中的闭包限制

  • Jonathan Allen
  • 霍泰稳

2007 年 8 月 23 日

话题:.NET函数式编程语言 & 开发架构

在 Jared Parsons 关于闭包介绍系列的第六篇章里,他谈到在 Visual Basic 中闭包限制问题。虽然没有明确说明,这儿的许多限制对 C# 同样适用。

要了解闭包,首先需要了解匿名函数。匿名函数通常通过分配到一个代理变量,来在其他函数的上下文中定义。

为了在匿名函数和包含它们的函数中共享数据,常用的方法就是使用闭包。当一个闭包“捕获”一个变量时,它就会将这个变量提取出它的本地范围,移到一个匿名对象里。对于成员变量,一般而言是被保留在包含它的对象里。虽然大多数本地和成员变量可以被提取,但有一些限制。

第一个限制是不能提取 ByRef 参数变量。在 ByVal 参数为本地变量时,ByRef 变量必须将自己的值复制回所有环境下的调用方法里。对于普通的参数来说,这样做没有什么必要,它也很难通过闭包来确保可用性。

第二个限制是结构的成员变量不能被提取。因为结构,也就是通常所说的值类型,可以被用在堆栈里,并不能总是为它们创建一个指针。最好地方法是为结构的副本创建指针,以替代闭包的使用。

需要注意的是包含全局结构的变量可以被捕捉到。只有在通过“Me”关键字访问的结构里的成员变量才不可用。

常见的限制类型,如 System.TypedReference、System.ArgIterator 和 System.RuntimeArgumentHandle 是不能被捕捉的。因为在大多数程序里不会用到它们,所以也不会影响到任何人。

因为闭包的范围规则,开发时不能使用 goto 语句进入包含闭包的代码块。最后,关于 Error GoTo 的继承声明也根本不能在包含闭包的方法里使用。

查看英文原文:Limitations of Closures in Visual Basic

.NET函数式编程语言 & 开发架构