mirror of
https://github.com/ruby/ruby.git
synced 2022-11-09 12:17:21 -05:00

[Feature #13884] Reduce number of memory allocations for "and", "or" and "diff" operations on small arrays Very often, arrays are used to filter parameters and to select interesting items from 2 collections and very often these collections are small enough, for example: ```ruby SAFE_COLUMNS = [:id, :title, :created_at] def columns @all_columns & SAFE_COLUMNS end ``` In this patch, I got rid of unnecessary memory allocations for small arrays when "and", "or" and "diff" operations are performed. name | HEAD | PATCH -----------------+------:+------: array_small_and | 0.615 | 0.263 array_small_diff | 0.676 | 0.282 array_small_or | 0.953 | 0.463 name | PATCH -----------------+------: array_small_and | 2.343 array_small_diff | 2.392 array_small_or | 2.056 name | HEAD | PATCH -----------------+------:+------: array_small_and | 1.429 | 1.005 array_small_diff | 1.493 | 0.878 array_small_or | 1.672 | 1.152 name | PATCH -----------------+------: array_small_and | 1.422 array_small_diff | 1.700 array_small_or | 1.452 Author: Dmitry Bochkarev <dimabochkarev@gmail.com> git-svn-id: svn+ssh://ci.ruby-lang.org/ruby/trunk@60057 b2dd03c8-39d4-4d8f-98ff-823fe69b080e
87 lines
2.8 KiB
Ruby
87 lines
2.8 KiB
Ruby
require File.expand_path('../../../spec_helper', __FILE__)
|
|
require File.expand_path('../fixtures/classes', __FILE__)
|
|
|
|
describe "Array#&" do
|
|
it "creates an array with elements common to both arrays (intersection)" do
|
|
([] & []).should == []
|
|
([1, 2] & []).should == []
|
|
([] & [1, 2]).should == []
|
|
([ 1, 3, 5 ] & [ 1, 2, 3 ]).should == [1, 3]
|
|
end
|
|
|
|
it "creates an array with no duplicates" do
|
|
([ 1, 1, 3, 5 ] & [ 1, 2, 3 ]).uniq!.should == nil
|
|
end
|
|
|
|
it "creates an array with elements in order they are first encountered" do
|
|
([ 1, 2, 3, 2, 5 ] & [ 5, 2, 3, 4 ]).should == [2, 3, 5]
|
|
end
|
|
|
|
it "does not modify the original Array" do
|
|
a = [1, 1, 3, 5]
|
|
a & [1, 2, 3]
|
|
a.should == [1, 1, 3, 5]
|
|
end
|
|
|
|
it "properly handles recursive arrays" do
|
|
empty = ArraySpecs.empty_recursive_array
|
|
(empty & empty).should == empty
|
|
|
|
(ArraySpecs.recursive_array & []).should == []
|
|
([] & ArraySpecs.recursive_array).should == []
|
|
|
|
(ArraySpecs.recursive_array & ArraySpecs.recursive_array).should == [1, 'two', 3.0, ArraySpecs.recursive_array]
|
|
end
|
|
|
|
it "tries to convert the passed argument to an Array using #to_ary" do
|
|
obj = mock('[1,2,3]')
|
|
obj.should_receive(:to_ary).and_return([1, 2, 3])
|
|
([1, 2] & obj).should == ([1, 2])
|
|
end
|
|
|
|
it "determines equivalence between elements in the sense of eql?" do
|
|
not_supported_on :opal do
|
|
([5.0, 4.0] & [5, 4]).should == []
|
|
end
|
|
|
|
str = "x"
|
|
([str] & [str.dup]).should == [str]
|
|
|
|
obj1 = mock('1')
|
|
obj2 = mock('2')
|
|
obj1.stub!(:hash).and_return(0)
|
|
obj2.stub!(:hash).and_return(0)
|
|
obj1.should_receive(:eql?).at_least(1).and_return(true)
|
|
obj2.should_receive(:eql?).at_least(1).and_return(true)
|
|
|
|
([obj1] & [obj2]).should == [obj1]
|
|
([obj1, obj1, obj2, obj2] & [obj2]).should == [obj1]
|
|
|
|
obj1 = mock('3')
|
|
obj2 = mock('4')
|
|
obj1.stub!(:hash).and_return(0)
|
|
obj2.stub!(:hash).and_return(0)
|
|
obj1.should_receive(:eql?).at_least(1).and_return(false)
|
|
|
|
([obj1] & [obj2]).should == []
|
|
([obj1, obj1, obj2, obj2] & [obj2]).should == [obj2]
|
|
end
|
|
|
|
it "does return subclass instances for Array subclasses" do
|
|
(ArraySpecs::MyArray[1, 2, 3] & []).should be_an_instance_of(Array)
|
|
(ArraySpecs::MyArray[1, 2, 3] & ArraySpecs::MyArray[1, 2, 3]).should be_an_instance_of(Array)
|
|
([] & ArraySpecs::MyArray[1, 2, 3]).should be_an_instance_of(Array)
|
|
end
|
|
|
|
it "does not call to_ary on array subclasses" do
|
|
([5, 6] & ArraySpecs::ToAryArray[1, 2, 5, 6]).should == [5, 6]
|
|
end
|
|
|
|
it "properly handles an identical item even when its #eql? isn't reflexive" do
|
|
x = mock('x')
|
|
x.stub!(:hash).and_return(42)
|
|
x.stub!(:eql?).and_return(false) # Stubbed for clarity and latitude in implementation; not actually sent by MRI.
|
|
|
|
([x] & [x]).should == [x]
|
|
end
|
|
end
|