Feature #9118
closedIn Enumerable#to_a, use size to set array capa when possible
Description
Cross-post from https://github.com/ruby/ruby/pull/444.
Enumerable#to_a works by creating an empty array with small capacity, then populating it and expanding the capacity as it goes. For large enumerables, this causes several resizes, which can hurt performance. When an enumerable exposes a size method, we can guess that the resulting array's size will usually be equal to the enumerable's size. If we're right, we only have to set capacity once, and if we're wrong, we don't lose anything.
The attached file (or linked PR) adjusts enum.c's to_a method to take advantage of the size method when it's there. In my tests this makes Range#to_a about 10% faster, and doesn't have any significant effect on a vanilla enum with no size method. I couldn't find any existing benchmark that this consistently made better or worse.
If you like this idea, this could also be done in other classes with custom to_a, like Hash.
Files
Updated by Hanmac (Hans Mackowiak) about 11 years ago
enum.size can return Float::Infinity maybe for [1,2,3].cycle.size you need to check that too
Updated by HonoreDB (Aaron Weiner) about 11 years ago
Ah, right! This seems like an opportunity to improve on existing behavior: right now that just silently hangs forever. Do you think we should warn, then hang, or just raise? I'd lean towards the warn because it's possible size is returning the wrong thing.
Updated by mame (Yusuke Endoh) about 11 years ago
I think the proposal will break the compatibility of the following code:
class C
include Enumerable
def size
to_a.size
end
def each
end
end
C.new.size #=> expected: 0, with the proposal: stack level too deep
Examples in the wild:
- https://github.com/andreasronge/neo4j/blob/c421fb883d9de4748ef431bda9973959dda2a45c/lib/neo4j/traversal/traverser.rb#L196
- https://github.com/ActiveRDF/ActiveRDF/blob/master/lib/active_rdf/model/property.rb#L290
- https://bitbucket.org/Bounga/tooltips/src/925ccaa9e5a6/lib/pdoc/pdoc/parser/documentation_nodes.rb#cl-100
- http://pastebin.com/2Sr0UXQZ
In addition, #each and #size does not necessarily have a common semantics.
In fact, IO#each yields strings in lines, but IO#size returns a count in bytes.
--
Yusuke Endoh mame@tsg.ne.jp
Updated by HonoreDB (Aaron Weiner) about 11 years ago
It definitely breaks that usage, but that's bad usage--we're supposed to use Enumerable#count for that, not size.
In cases where size doesn't correctly predict the array, this doesn't really break anything, it just switches out one bad guess at capa for another.
Updated by Hanmac (Hans Mackowiak) about 11 years ago
Enumerable#count may not a good idea, better would be Enumerator#size
Updated by usa (Usaku NAKAMURA) over 9 years ago
- Related to Bug #11130: Re: [ruby-changes:38376] glass:r50457 (trunk): * enum.c (enum_to_a): Use size to set array capa when possible. added
Updated by Anonymous over 9 years ago
- Status changed from Open to Closed