В Ruby есть одиннадцать методов поиска элементов в массиве.
Предпочтительным является include?
или, для повторного доступа, создать набор, а затем вызвать include?
илиmember?
.
Вот все из них:
array.include?(element) # preferred method
array.member?(element)
array.to_set.include?(element)
array.to_set.member?(element)
array.index(element) > 0
array.find_index(element) > 0
array.index { |each| each == element } > 0
array.find_index { |each| each == element } > 0
array.any? { |each| each == element }
array.find { |each| each == element } != nil
array.detect { |each| each == element } != nil
Все они возвращают true
значение ish, если элемент присутствует.
include?
является предпочтительным методом. Он использует for
внутренний цикл языка Си, который прерывается, когда элемент соответствует внутренним rb_equal_opt/rb_equal
функциям. Он не может стать намного более эффективным, если вы не создадите Набор для повторных проверок членства.
VALUE
rb_ary_includes(VALUE ary, VALUE item)
{
long i;
VALUE e;
for (i=0; i<RARRAY_LEN(ary); i++) {
e = RARRAY_AREF(ary, i);
switch (rb_equal_opt(e, item)) {
case Qundef:
if (rb_equal(e, item)) return Qtrue;
break;
case Qtrue:
return Qtrue;
}
}
return Qfalse;
}
member?
не переопределяется в Array
классе и использует неоптимизированную реализацию из Enumerable
модуля, который буквально перечисляет все элементы:
static VALUE
member_i(RB_BLOCK_CALL_FUNC_ARGLIST(iter, args))
{
struct MEMO *memo = MEMO_CAST(args);
if (rb_equal(rb_enum_values_pack(argc, argv), memo->v1)) {
MEMO_V2_SET(memo, Qtrue);
rb_iter_break();
}
return Qnil;
}
static VALUE
enum_member(VALUE obj, VALUE val)
{
struct MEMO *memo = MEMO_NEW(val, Qfalse, 0);
rb_block_call(obj, id_each, 0, 0, member_i, (VALUE)memo);
return memo->v2;
}
В переводе на код Ruby это касается следующего:
def member?(value)
memo = [value, false, 0]
each_with_object(memo) do |each, memo|
if each == memo[0]
memo[1] = true
break
end
memo[1]
end
Оба include?
иmember?
имеют O (n) временную сложность, поскольку оба ищут в массиве первое вхождение ожидаемого значения.
Мы можем использовать Set, чтобы получить O (1) время доступа за счет необходимости сначала создать хеш-представление массива. Если вы неоднократно проверяете членство в одном и том же массиве, первоначальные инвестиции могут быстро окупиться. Set
не реализован в C, но является простым классом Ruby, однако время доступа O (1) базового@hash
делает это полезным.
Вот реализация класса Set:
module Enumerable
def to_set(klass = Set, *args, &block)
klass.new(self, *args, &block)
end
end
class Set
def initialize(enum = nil, &block) # :yields: o
@hash ||= Hash.new
enum.nil? and return
if block
do_with_enum(enum) { |o| add(block[o]) }
else
merge(enum)
end
end
def merge(enum)
if enum.instance_of?(self.class)
@hash.update(enum.instance_variable_get(:@hash))
else
do_with_enum(enum) { |o| add(o) }
end
self
end
def add(o)
@hash[o] = true
self
end
def include?(o)
@hash.include?(o)
end
alias member? include?
...
end
Как вы можете видеть, класс Set просто создает внутренний @hash
экземпляр, сопоставляет все объекты true
и затем проверяет членство, используяHash#include?
который реализован с временем доступа O (1) в классе Hash.
Я не буду обсуждать другие семь методов, поскольку они все менее эффективны.
На самом деле существует еще больше методов со сложностью O (n), кроме перечисленных выше 11, но я решил не перечислять их, так как они сканируют весь массив, а не разбиваются при первом совпадении.
Не используйте это:
# bad examples
array.grep(element).any?
array.select { |each| each == element }.size > 0
...