Ruby ha undici metodi per trovare elementi in un array.
Il preferito è include?
o, per un accesso ripetuto, creare un set e quindi chiamare include?
o member?
.
Eccone tutti:
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
Restituiscono tutti un true
valore ish se l'elemento è presente.
include?
è il metodo preferito. Utilizza for
internamente un ciclo in linguaggio C che si interrompe quando un elemento corrisponde alle rb_equal_opt/rb_equal
funzioni interne . Non può essere molto più efficiente se non si crea un set per controlli di iscrizione ripetuti.
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?
non viene ridefinito nella Array
classe e utilizza un'implementazione non ottimizzata dal Enumerable
modulo che elenca letteralmente tutti gli elementi:
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;
}
Tradotto in codice Ruby, ciò comporta quanto segue:
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
Entrambi include?
e member?
hanno una complessità temporale O (n) poiché entrambi cercano nell'array la prima occorrenza del valore atteso.
Possiamo usare un Set per ottenere il tempo di accesso O (1) al costo di dover prima creare una rappresentazione Hash dell'array. Se controlli ripetutamente l'appartenenza sullo stesso array, questo investimento iniziale può ripagare rapidamente. Set
non è implementato in C ma come semplice classe Ruby, comunque il tempo di accesso O (1) del sottostante @hash
rende questo utile.
Ecco l'implementazione della classe 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
Come puoi vedere, la classe Set crea solo @hash
un'istanza interna , mappa tutti gli oggetti true
e quindi controlla l'appartenenza utilizzando il Hash#include?
quale è implementato con il tempo di accesso O (1) nella classe Hash.
Non discuterò degli altri sette metodi poiché sono tutti meno efficienti.
Esistono in realtà ancora più metodi con complessità O (n) oltre gli 11 sopra elencati, ma ho deciso di non elencarli poiché eseguono la scansione dell'intero array anziché interrompere alla prima corrispondenza.
Non usare questi:
# bad examples
array.grep(element).any?
array.select { |each| each == element }.size > 0
...