codeconsole opened a new pull request, #3171:
URL: https://github.com/apache/groovy/pull/3171
Closure packing (GEP-27) should decline a closure literal that visibly
escapes its method: stored to a field, property or index, appended with `<<`,
returned, or placed in a collection literal. Under `@CompileStatic` it packed
two of these shapes:
```groovy
class H { Closure value }
@groovy.transform.CompileStatic def m() {
List<Closure> l = []
l << { 1 } // packed
def h = new H()
h.value = { 2 } // packed
[l[0].getClass().name, h.value.getClass().name]
}
```
With `-Dgroovy.target.closure.pack=true` this returns two
`PackedClosure$FixedIt`; dynamic Groovy and `@TypeChecked` return two closure
classes. The escape walk in `ClosureWriter` runs at class generation. Under
static compilation, `BinaryExpressionTransformer` has already turned the `<<`
into a `leftShift` call and the store into a setter call, and the walk only
recognises the binary-expression forms.
`StaticCompilationTransformer` now calls
`ClosureWriter.markEscapingClosures` before it transforms each method body.
This runs the same escape walk over the untransformed code and marks the
escaping closure literals. The escape gate honours the mark, then still runs
its own walk at class generation, which also sees the implicit `return`s the
Verifier adds later. The marking only runs when the flag or a non-DISABLED
`@PackedClosures` requests packing. Because declines go through the same gate,
WARN/STRICT report these closures with the usual "escapes its method" reason.
## Tests
`PackedClosuresTransformTest.escapingClosuresAreDeclinedTheSameUnderCompileStatic`,
`compileStaticReportsAnEscapeHiddenByARewrite` and
`compileStaticFlagPathDeclinesAnEscapeHiddenByARewrite` fail without the
change. The first runs every escape shape under dynamic, `@TypeChecked` and
`@CompileStatic`, and checks that an explicit `leftShift(...)` call and an
owner-local closure still pack. The closure-packing test classes,
`org.codehaus.groovy.classgen.asm.sc.*` and `groovy.transform.stc.*` pass. The
Checkstyle and CodeNarc gates pass.
--
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.
To unsubscribe, e-mail: [email protected]
For queries about this service, please contact Infrastructure at:
[email protected]
