Ruby a onze méthodes pour rechercher des éléments dans un tableau.
La préférence est include?
ou, pour les accès répétés, créez un ensemble, puis appelez include?
ou member?
.
Voici tous:
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
Ils renvoient tous une true
valeur ish si l'élément est présent.
include?
est la méthode préférée. Il utilise une for
boucle de langage C en interne qui se casse lorsqu'un élément correspond aux rb_equal_opt/rb_equal
fonctions internes . Il ne peut être beaucoup plus efficace que si vous créez un ensemble pour les vérifications d'appartenance répétées.
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?
n'est pas redéfini dans la Array
classe et utilise une implémentation non optimisée du Enumerable
module qui énumère littéralement tous les éléments:
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;
}
Traduit en code Ruby, cela permet:
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
Les deux include?
et member?
ont une complexité temporelle O (n) car les deux recherchent dans le tableau la première occurrence de la valeur attendue.
Nous pouvons utiliser un ensemble pour obtenir le temps d'accès O (1) au prix d'avoir à créer d'abord une représentation de hachage du tableau. Si vous vérifiez à plusieurs reprises l'appartenance à la même gamme, cet investissement initial peut être rentable rapidement. Set
n'est pas implémenté en C mais en tant que classe Ruby simple, le temps d'accès O (1) du sous-jacent en @hash
vaut la peine.
Voici l'implémentation de la 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
Comme vous pouvez le voir, la classe Set crée simplement une @hash
instance interne , mappe tous les objets true
et vérifie ensuite l'appartenance en utilisant Hash#include?
ce qui est implémenté avec le temps d'accès O (1) dans la classe Hash.
Je ne discuterai pas des sept autres méthodes car elles sont toutes moins efficaces.
Il existe en fait encore plus de méthodes avec une complexité O (n) au-delà des 11 énumérées ci-dessus, mais j'ai décidé de ne pas les répertorier car elles analysent l'intégralité du tableau plutôt que de les casser lors de la première correspondance.
Ne les utilisez pas:
# bad examples
array.grep(element).any?
array.select { |each| each == element }.size > 0
...