Jared here again. For previous articles in this series please see<\/p>\n
Thus far in the series we’ve only lifted variables that are declared in the same block\/scope. What happens if we lift variables in different scope? The answer is that one closure class will be created for every unique scope where a lifted variable is declared and all of the variables in that scope that are lifted will be placed in that closure. Once again, examples speak best<\/p>\n
Sub<\/span> Scope1()\n Dim<\/span> x = 5<\/span>\n Dim<\/span> f1 = Function<\/span>(ByVal<\/span> z As<\/span> Integer<\/span>) x + z\n Console.WriteLine(f1(5<\/span>))\n If<\/span> x > 2<\/span> Then<\/span>\n Dim<\/span> y = 6<\/span>\n Dim<\/span> g = 7<\/span>\n Dim<\/span> f2 = Function<\/span>(ByVal<\/span> z As<\/span> Integer<\/span>) z + y + g\n Console.WriteLine(f2(4<\/span>))\n End<\/span> If<\/span>\n End<\/span> Sub<\/span><\/pre>\nThe code will end up looking like so …<\/p>\n
Class<\/span> Closure1\n Public<\/span> x As<\/span> Integer<\/span>\n Function<\/span> Lambda_f1(ByVal<\/span> z As<\/span> Integer<\/span>)\n Return<\/span> x + z\n End<\/span> Function<\/span>\n End<\/span> Class<\/span>\n Class<\/span> Closure2\n Public<\/span> y As<\/span> Integer<\/span>\n Public<\/span> g As<\/span> Integer<\/span>\n Function<\/span> Lambda_f2(ByVal<\/span> z As<\/span> Integer<\/span>)\n Return<\/span> y + z + g\n End<\/span> Function<\/span>\n End<\/span> Class<\/span>\n Sub<\/span> Scope1()\n Dim<\/span> c1 As<\/span> New<\/span> Closure1()\n c1.x = 5<\/span>\n Console.WriteLine(c1.Lambda_f1(5<\/span>))\n If<\/span> c1.x > 2<\/span> Then<\/span>\n Dim<\/span> c2 As<\/span> New<\/span> Closure2()\n c2.y = 6<\/span>\n c2.g = 7<\/span>\n Console.WriteLine(c2.Lambda_f2(4<\/span>))\n End<\/span> If<\/span>\n End<\/span> Sub<\/span><\/pre>\nThere are a couple of items to take away from this example. <\/p>\n
\n- Only two closure classes were created even though three variables were lifted. The number of closures only depends on the number of scopes of all of the lifted declared variables.\n
- The closures are created at the begining of the scope they are associated and not at the begining of the method. This will be more important in the next part of the series.\n
- Each lambda instance is attached to the closure associated with the scope the lambda is declared in. <\/li>\n<\/ol>\n
The next twist is what were to happen if the lambda “f2” were to also use the variable “x”. As it’s currently written there is no association between Closure1 and Closure2 therefore there is no way for it to access the lifted variable. The answer is two fold. Firstly to reduce clutter I pasted the closure classes as if they were separate entries. In fact Closure2 would appear as a nested class of Closure1 in the real generated code. <\/p>\n
Secondly if x were used inside of “f2”, the real use would be “c1.x”. That’s (almost) no different than “someOtherVar.x”. Therefore the instance of c1 will be lifted into Closure2. <\/p>\n
Dim<\/span> f2 = Function<\/span>(ByVal<\/span> z As<\/span> Integer<\/span>) z + y + g + x<\/pre>\nWoud result in the following definition of Closure2 …<\/p>\n
Class<\/span> Closure2\n Public<\/span> y As<\/span> Integer<\/span>\n Public<\/span> g As<\/span> Integer<\/span>\n Public<\/span> c1 As<\/span> Closure1\n Function<\/span> Lambda_f2(ByVal<\/span> z As<\/span> Integer<\/span>)\n Return<\/span> y + z + g + c1.x\n End<\/span> Function<\/span>\n End<\/span> Class<\/span><\/pre>\nIn deeply nested lambdas and scopes this type of lifting will continue recursively. <\/p>\n
That’s it for this entry, the next article will talk about looping structures and possibly variable lifetime.<\/p>\n","protected":false},"excerpt":{"rendered":"
Jared here again. For previous articles in this series please see Part 1: Introduction Part 2: Method Calls Thus far in the series we’ve only lifted variables that are declared in the same block\/scope. What happens if we lift variables in different scope? The answer is that one closure class will be created for every unique […]<\/p>\n","protected":false},"author":260,"featured_media":8818,"comment_status":"open","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"_acf_changed":false,"footnotes":""},"categories":[192,195],"tags":[78,94,117],"class_list":["post-6053","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-featured","category-visual-basic","tag-jared-parsons","tag-linqvb9","tag-orcas"],"acf":[],"blog_post_summary":"
Jared here again. For previous articles in this series please see Part 1: Introduction Part 2: Method Calls Thus far in the series we’ve only lifted variables that are declared in the same block\/scope. What happens if we lift variables in different scope? The answer is that one closure class will be created for every unique […]<\/p>\n","_links":{"self":[{"href":"https:\/\/devblogs.microsoft.com\/vbteam\/wp-json\/wp\/v2\/posts\/6053","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/devblogs.microsoft.com\/vbteam\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/devblogs.microsoft.com\/vbteam\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/devblogs.microsoft.com\/vbteam\/wp-json\/wp\/v2\/users\/260"}],"replies":[{"embeddable":true,"href":"https:\/\/devblogs.microsoft.com\/vbteam\/wp-json\/wp\/v2\/comments?post=6053"}],"version-history":[{"count":0,"href":"https:\/\/devblogs.microsoft.com\/vbteam\/wp-json\/wp\/v2\/posts\/6053\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/devblogs.microsoft.com\/vbteam\/wp-json\/wp\/v2\/media\/8818"}],"wp:attachment":[{"href":"https:\/\/devblogs.microsoft.com\/vbteam\/wp-json\/wp\/v2\/media?parent=6053"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/devblogs.microsoft.com\/vbteam\/wp-json\/wp\/v2\/categories?post=6053"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/devblogs.microsoft.com\/vbteam\/wp-json\/wp\/v2\/tags?post=6053"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}