class Set

要約

集合を表すクラスです。要素の間に順序関係はありません。

目次

特異メソッド

• []
• new

インスタンスメソッド

• &
• +
• -
• <<
• ==
• ===
• ^
• |
• add
• add?
• classify
• clear
• clone
• collect!
• delete
• delete?
• delete_if
• difference
• disjoint?
• divide
• dup
• each
• empty?
• flatten
• flatten!
• include?
• inspect
• intersect?
• intersection
• keep_if
• length
• map!
• member?
• merge
• proper_subset?
• proper_superset?
• reject!
• replace
• reset
• select!
• size
• subset?
• subtract
• superset?
• to_a
• to_s
• union

継承しているメソッド

Enumerableから継承しているメソッド

• all?
• any?
• chunk
• chunk_while
• collect
• collect_concat
• count
• cycle
• detect
• drop
• drop_while
• each_cons
• each_entry
• each_slice
• each_with_index
• each_with_object
• entries
• find
• find_all
• find_index
• first
• flat_map
• grep
• grep_v
• group_by
• inject
• lazy
• map
• max
• max_by
• min
• min_by
• minmax
• minmax_by
• none?
• one?
• partition
• reduce
• reject
• reverse_each
• select
• slice_after
• slice_before
• slice_when
• sort
• sort_by
• sum
• take
• take_while
• to_h
• uniq
• zip

特異メソッド

self[*ary] -> Set[permalink][rdoc][edit]

与えられたオブジェクトを要素とする新しい集合を作ります。

[PARAM] ary:

新しい集合の要素を指定します。

require 'set'
p Set[1, 2] # => #<Set: {1, 2}>

new(enum = nil) -> Set[permalink][rdoc][edit]

new(enum = nil) {|o| ... } -> Set

引数 enum で与えられた要素を元に、新しい集合を作ります。

引数を指定しない場合、または引数が nil である場合には、空の集合を作ります。

引数を与えてブロックを与えない場合、enum の各要素からなる集合を作ります。

引数とブロックの両方を与えた場合、enum の各要素についてブロックを評価し、その結果を新しい集合の要素とします。

[PARAM] enum:

集合要素を格納するオブジェクトを指定します。 enum には each メソッドが定義されている必要があります。

[EXCEPTION] ArgumentError:

引数 enum が与えられて、かつ enum に each メソッドが定義されていない場合に発生します。

require 'set'
p Set.new                      # => #<Set: {}>
p Set.new([1, 2])              # => #<Set: {1, 2}>
p Set.new([1, 2]) {|o| o * 2}  # => #<Set: {2, 4}>

インスタンスメソッド

intersection(enum) -> Set[permalink][rdoc][edit]

self & enum -> Set

共通部分、すなわち、2つの集合のいずれにも属するすべての要素からなる新しい集合を作ります。

[PARAM] enum:

each メソッドが定義されたオブジェクトを指定します。

[EXCEPTION] ArgumentError:

引数 enum に each メソッドが定義されていない場合に発生します。

require 'set'
s1 = Set[10, 20, 30]
s2 = Set[10, 30, 50]
p s1 & s2 #=> #<Set: {10, 30}>

[SEE_ALSO] Array#&

union(enum) -> Set[permalink][rdoc][edit]

self + enum -> Set

self | enum -> Set

和集合、すなわち、2 つの集合の少なくともどちらか一方に属するすべての要素からなる新しい集合を作ります。

[PARAM] enum:

each メソッドが定義されたオブジェクトを指定します。

[EXCEPTION] ArgumentError:

引数 enum に each メソッドが定義されていない場合に発生します。

require 'set'
p Set[10, 20, 30] + Set[10, 20, 40]
# => #<Set: {10, 20, 30, 40}>

difference(enum) -> Set[permalink][rdoc][edit]

self - enum -> Set

差集合、すなわち、元の集合の要素のうち引数 enum に含まれる要素を取り除いた新しい集合を作ります。

[PARAM] enum:

each メソッドが定義されたオブジェクトを指定します。

[EXCEPTION] ArgumentError:

引数 enum に each メソッドが定義されていない場合に発生します。

require 'set'
p Set[10, 20, 30] - Set[10, 20, 40]
# => #<Set: {30}>

add(o) -> self[permalink][rdoc][edit]

self << o -> self

add?(o) -> self | nil

集合にオブジェクト o を加えます。

add は常に self を返します。<< は add の別名です。

add? は、集合に要素が追加された場合には self を、変化がなかった場合には nil を返します。

[PARAM] o:

追加対象のオブジェクトを指定します。

require 'set'
s = Set[1, 2]
s << 10
p s           # => #<Set: {1, 2, 10}>
p s.add?(20)  # => #<Set: {1, 2, 10, 20}>
p s.add?(2)   # => nil

self == set -> bool[permalink][rdoc][edit]

2 つの集合が等しいときに true を返します。

より厳密には、引数 set が Set オブジェクトであり、self と set が同数の要素を持ち、かつそれらの要素がすべて等しい場合に true となります。それ以外の場合には、false を返します。要素の等しさは Object#eql? により判定されます。

[PARAM] set:

比較対象のオブジェクトを指定します。

require 'set'
s1 = Set[10, 20, 30]
s2 = Set[10, 30, 40]
s3 = Set[30, 10, 30, 20]
p s1 == s2 # => false
p s1 == s3 # => true

include?(o) -> bool[permalink][rdoc][edit]

member?(o) -> bool

self === o -> bool

オブジェクト o がその集合に属する場合に true を返します。

[PARAM] o:

オブジェクトを指定します。

require 'set'
set = Set['hello', 'world']
p set.include?('world') # => true
p set.include?('bye')   # => false

self ^ enum -> Set[permalink][rdoc][edit]

対称差、すなわち、2 つの集合のいずれか一方にだけ属するすべての要素からなる新しい集合を作ります。

[PARAM] enum:

each メソッドが定義されたオブジェクトを指定します。

[EXCEPTION] ArgumentError:

引数 enum に each メソッドが定義されていない場合に発生します。

require 'set'
s1 = Set[10, 20, 30]
s2 = Set[10, 30, 50]
p s1 ^ s2 # => #<Set: {50, 20}>

classify {|o| ... } -> Hash[permalink][rdoc][edit]

集合をブロックの値によって分類し、結果をハッシュとして返します。

ブロックは集合の各要素について実行され、引数 o にはその要素が渡されます。

生成されるハッシュのキーはブロックの実行結果、値は分類された集合となります。

require 'set'
numbers = Set[10, 4.5, 20, 30, 31.2]
p numbers.classify {|o| o.class}
# => {Integer=>#<Set: {10, 20, 30}>, Float=>#<Set: {4.5, 31.2}>}

clear -> self[permalink][rdoc][edit]

集合の要素をすべて削除し、空にした後の self を返します。

require 'set'
p s = Set[10, 20, 30] # => #<Set: {10, 20, 30}>
s.clear
p s # => #<Set: {}>

clone -> Set[permalink][rdoc][edit]

dup -> Set

集合を複製して返します。

dup は、集合の内容と taint 情報のみコピーします。 clone は、それに加えて、freeze 情報と特異メソッドをコピーします。いずれも共通して、内部記憶として保持するハッシュもコピーしますが、集合の要素そのものはコピーしません。

Set クラスでは、dup と clone に共通して、内部記憶として用いるハッシュも含めて taint 情報をコピーします。ただし、clone では内部記憶の freeze 情報はコピーされません。このため、freeze された集合を clone した場合、生成された集合の要素は変更可能である点に注意してください。

require 'set'
s1 = Set[10, 20]
s2 = s1.dup
s2 << 30
p s1 # => #<Set: {10, 20}>
p s2 # => #<Set: {10, 20, 30}>

[SEE_ALSO] Object#clone

collect! {|o| ...} -> self[permalink][rdoc][edit]

map! {|o| ...} -> self

集合の各要素についてブロックを評価し、その結果で元の集合を置き換えます。

require 'set'
set = Set['hello', 'world']
set.map! {|str| str.capitalize}
p set  # => #<Set: {"Hello", "World"}>

[SEE_ALSO] Enumerable#collect

delete(o) -> self[permalink][rdoc][edit]

delete?(o) -> self | nil

集合からオブジェクト o を削除します。

delete は常に self を返します。

delete? は、集合の要素が削除された場合には self を、変化がなかった場合には nil を返します。

[PARAM] o:

削除対象のオブジェクトを指定します。

require 'set'
s = Set[10, 20, 30]
s.delete(10)
p s              # => #<Set: {20, 30}>
p s.delete?(20)  # => #<Set: {30}>
p s.delete?(10)  # => nil

delete_if {|o| ... } -> self[permalink][rdoc][edit]

reject! {|o| ... } -> self | nil

集合の各要素に対してブロックを実行し、その結果が真であるようなすべての要素を削除します。

delete_if は常に self を返します。

reject! は、要素が 1 つ以上削除されれば self を、1 つも削除されなければ nil を返します。

require 'set'
s1 = Set['hello.rb', 'test.rb', 'hello.rb.bak']
s1.delete_if {|str| str =~ /\.bak\z/}
p s1 # => #<Set: {"hello.rb", "test.rb"}>

s2 = Set['hello.rb', 'test.rb', 'hello.rb.bak']
p s2.reject! {|str| str =~ /\.bak\z/} # => #<Set: {"hello.rb", "test.rb"}>
p s2.reject! {|str| str =~ /\.o\z/}   # => nil

[SEE_ALSO] Enumerable#reject

disjoint?(set) -> bool[permalink][rdoc][edit]

self と set が互いに素な集合である場合に true を返します。

逆に self と set の共通集合かを確認する場合には Set#intersect? を使用します。

[PARAM] self:

Set オブジェクトを指定します。

[EXCEPTION] ArgumentError:

引数が Set オブジェクトでない場合に発生します。

require 'set'
p Set[1, 2, 3].disjoint? Set[3, 4] # => false
p Set[1, 2, 3].disjoint? Set[4, 5] # => true

[SEE_ALSO] Set#intersect?

divide {|o| ... } -> Set[permalink][rdoc][edit]

divide {|o1, o2| ... } -> Set

元の集合をブロックで定義される関係で分割し、その結果を集合として返します。

ブロックパラメータが 1 個の場合、block.call(o1) == block.call(o2) が真ならば、o1 と o2 は同じ分割に属します。

ブロックパラメータが 2 個の場合、block.call(o1, o2) が真ならば、 o1 と o2 は同じ分割に属します。この場合、block.call(o1, o2) == block.call(o2, o1) が成立しないブロックを与えると期待通りの結果が得られません。

例1

require 'set'
numbers = Set.new(1..6)
set = numbers.divide {|i| i % 3}
p set
# => #<Set: {#<Set: {1, 4}>, #<Set: {2, 5}>, #<Set: {3, 6}>}>

例2

require 'set'
numbers = Set[1, 3, 4, 6, 9, 10, 11]
set = numbers.divide {|i, j| (i - j).abs == 1}
p set     # => #<Set: {#<Set: {1}>,
          #            #<Set: {3, 4}>,
          #            #<Set: {6}>,
          #            #<Set: {9, 10, 11}>}>

応用例: 8x2 のチェス盤上で、ナイトが到達できる位置に関する分類を作成します。

require 'set'

board = Set.new
m, n = 8, 2
for i in 1..m
  for j in 1..n
    board << [i,j]
  end
end
knight_move = Set[1,2]
p board.divide { |i,j|
  Set[(i[0] - j[0]).abs, (i[1] - j[1]).abs] == knight_move
}
# => #<Set: {#<Set: {[1, 1], [3, 2], [5, 1], [7, 2]}>,
#            #<Set: {[1, 2], [3, 1], [5, 2], [7, 1]}>,
#            #<Set: {[2, 1], [4, 2], [6, 1], [8, 2]}>,
#            #<Set: {[2, 2], [4, 1], [6, 2], [8, 1]}>}>

each {|o| ... } -> self[permalink][rdoc][edit]

集合の各要素についてブロックを実行します。

require 'set'
s = Set[10, 20]
ary = []
s.each {|num| ary << num + 1}
p ary # => [11, 21]

empty? -> bool[permalink][rdoc][edit]

集合が要素を 1 つも持たないときに true を返します。

require 'set'
p Set[10, 20].empty? # => false
p Set[].empty?       # => true

flatten -> Set[permalink][rdoc][edit]

flatten! -> self | nil

集合を再帰的に平坦化します。

flatten は、平坦化した集合を新しく作成し、それを返します。

flatten! は、元の集合を破壊的に平坦化します。集合の要素に変更が発生した場合には self を、そうでない場合には nil を返します。

[EXCEPTION] ArgumentError:

集合の要素として self が再帰的に現れた場合に発生します。

require 'set'
s = Set[Set[1,2], 3]
p s.flatten # => #<Set: {1, 2, 3}>
p s         # => #<Set: {#<Set: {1, 2}>, 3}>
s.flatten!
p s         # => #<Set: {1, 2, 3}>

[SEE_ALSO] Array#flatten

inspect -> String[permalink][rdoc][edit]

to_s -> String

人間の読みやすい形に表現した文字列を返します。

require 'set'
puts Set.new(['element1', 'element2']).inspect
# => #<Set: {"element1", "element2"}>

intersect?(set) -> bool[permalink][rdoc][edit]

self と set の共通要素がある場合に true を返します。

[PARAM] self:

Set オブジェクトを指定します。

[EXCEPTION] ArgumentError:

引数が Set オブジェクトでない場合に発生します。

require 'set'
p Set[1, 2, 3].intersect?(Set[3, 4])  # => true
p Set[1, 2, 3].intersect?(Set[4, 5])  # => false

[SEE_ALSO] Set#intersection, Set#disjoint?

keep_if {|element| ... } -> self[permalink][rdoc][edit]

各要素に対してブロックを評価し、その結果が偽であった要素を self から削除します。

[RETURN]

常に self を返します。

size -> Integer[permalink][rdoc][edit]

length -> Integer

集合の要素数を返します。

require 'set'
p Set[10, 20, 30, 10].size # => 3

merge(enum) -> self[permalink][rdoc][edit]

元の集合に enum で与えられた要素を追加します。

引数 enum には each メソッドが定義されている必要があります。

[PARAM] enum:

追加対象の要素を格納したオブジェクトを指定します。

[EXCEPTION] ArgumentError:

引数 enum に each メソッドが定義されていない場合に発生します。

require 'set'
set = Set[10, 20]
set.merge([10, 30])
p set # => #<Set: {10, 20, 30}>

subset?(set) -> bool[permalink][rdoc][edit]

proper_subset?(set) -> bool

self が集合 set の部分集合である場合に true を返します。

subset? は、2 つの集合が等しい場合にも true となります。

proper_subset? は、2 つの集合が等しい場合には false を返します。

[PARAM] set:

比較対象の Set オブジェクトを指定します。

[EXCEPTION] ArgumentError:

引数が Set オブジェクトでない場合に発生します。

require 'set'
s = Set[1, 2]
p s.subset?(Set[1, 2, 3])         # => true
p s.subset?(Set[1, 4])            # => false
p s.subset?(Set[1, 2])            # => true
p s.proper_subset?(Set[1, 2, 3])  # => true
p s.proper_subset?(Set[1, 4])     # => false
p s.proper_subset?(Set[1, 2])     # => false

[SEE_ALSO] Set#superset?

superset?(set) -> bool[permalink][rdoc][edit]

proper_superset?(set) -> bool

self が集合 set の上位集合 (スーパーセット) である場合に true を返します。

superset? は、2 つの集合が等しい場合にも true となります。

proper_superset? は、2 つの集合が等しい場合には false を返します。

[PARAM] set:

比較対象の Set オブジェクトを指定します。

[EXCEPTION] ArgumentError:

引数が Set オブジェクトでない場合に発生します。

require 'set'
s = Set[1, 2, 3]
p s.superset?(Set[1, 2])            # => true
p s.superset?(Set[1, 4])            # => false
p s.superset?(Set[1, 2, 3])         # => true
p s.proper_superset?(Set[1, 2])     # => true
p s.proper_superset?(Set[1, 4])     # => false
p s.proper_superset?(Set[1, 2, 3])  # => false

[SEE_ALSO] Set#subset?

replace(enum) -> self[permalink][rdoc][edit]

集合の要素をすべて削除し、enum で与えられた要素に置き換えます。

引数 enum には each メソッドが定義されている必要があります。

[PARAM] enum:

置き換え後の集合要素を格納するオブジェクトを指定します。

[EXCEPTION] ArgumentError:

引数 enum に each メソッドが定義されていない場合に発生します。

require 'set'
p s = Set[10, 20, 30] # => #<Set: {10, 20, 30}>
s.replace([15, 25])
p s # => #<Set: {15, 25}>

reset -> self[permalink][rdoc][edit]

キーのハッシュ値を再計算します。

既存の要素の変更後、内部状態をリセットして self を返します。

要素はインデックスし直され、重複削除されます。

[SEE_ALSO] Hash#rehash

select! {|element| ... } -> self | nil[permalink][rdoc][edit]

各要素に対してブロックを評価し、その結果が偽であった要素を self から削除します。

[RETURN]

変更があった場合は self を、変更がなかった場合は nil を返します。

subtract(enum) -> self[permalink][rdoc][edit]

元の集合から、enum で与えられた要素を削除します。

引数 enum には each メソッドが定義されている必要があります。

[PARAM] enum:

削除対象の要素を格納したオブジェクトを指定します。

[EXCEPTION] ArgumentError:

引数 enum に each メソッドが定義されていない場合に発生します。

require 'set'
set = Set[10, 20, 40]
set.subtract([10, 20, 30])
p set # => #<Set: {40}>

to_a -> Array[permalink][rdoc][edit]

self を配列に変換します。要素の順序は不定です。

require 'set'
set = Set['hello', 'world']
p set.to_a # => ["hello", "world"]