mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-08-26 15:27:45 +07:00
GitOrigin-RevId: 8b2b63fc6db476ca0c2cfe5cadd84db6c4236d0f
15 lines
534 B
HTML
15 lines
534 B
HTML
<html>
|
|
<body>
|
|
Reports allocations of arrays with known lengths of zero.
|
|
<p>
|
|
Since array lengths in Java are non-modifiable, it is almost always possible to share zero-length arrays, rather than repeatedly
|
|
allocate new ones. Such sharing may provide useful optimizations in the program runtime or footprint.
|
|
</p>
|
|
<p>
|
|
Note that the inspection does not report zero-length arrays allocated as static final fields,
|
|
since those arrays are assumed to be used for implementing array sharing.
|
|
</p>
|
|
<!-- tooltip end -->
|
|
|
|
</body>
|
|
</html> |