Range 类
Range 对象表示给定开始值和结束值之间的值集合。
您可以使用以下方法显式创建 Range 对象:
-
一个 范围字面量
# Ranges that use '..' to include the given end value. (1..4).to_a # => [1, 2, 3, 4] ('a'..'d').to_a # => ["a", "b", "c", "d"] # Ranges that use '...' to exclude the given end value. (1...4).to_a # => [1, 2, 3] ('a'...'d').to_a # => ["a", "b", "c"]
可以使用方法 Range.new
创建范围。
# Ranges that by default include the given end value. Range.new(1, 4).to_a # => [1, 2, 3, 4] Range.new('a', 'd').to_a # => ["a", "b", "c", "d"] # Ranges that use third argument +exclude_end+ to exclude the given end value. Range.new(1, 4, true).to_a # => [1, 2, 3] Range.new('a', 'd', true).to_a # => ["a", "b", "c"]
无始范围¶ ↑
无始 范围 具有确定的结束值,但 nil
开始值。此类范围包括所有直到结束值的值。
r = (..4) # => nil..4 r.begin # => nil r.include?(-50) # => true r.include?(4) # => true r = (...4) # => nil...4 r.include?(4) # => false Range.new(nil, 4) # => nil..4 Range.new(nil, 4, true) # => nil...4
无始范围可用于切片数组
a = [1, 2, 3, 4] r = (..2) # => nil...2 a[r] # => [1, 2]
无始范围的 each
方法会引发异常。
无终范围¶ ↑
无终 范围 具有确定的开始值,但 nil
结束值。此类范围包括从开始值开始的所有值。
r = (1..) # => 1.. r.end # => nil r.include?(50) # => true Range.new(1, nil) # => 1..
无终范围的字面量可以使用两个点或三个点来编写。无论哪种方式,范围都具有相同的元素。但请注意,两者并不相等
r0 = (1..) # => 1.. r1 = (1...) # => 1... r0.begin == r1.begin # => true r0.end == r1.end # => true r0 == r1 # => false
无终范围可用于切片数组
a = [1, 2, 3, 4] r = (2..) # => 2.. a[r] # => [3, 4]
无终范围的 each
方法会无限期地调用给定的块
a = [] r = (1..) r.each do |i| a.push(i) if i.even? break if i > 10 end a # => [2, 4, 6, 8, 10]
范围可以既是无始又是无终的。对于字面量无始、无终范围,至少必须将范围的开始或结束指定为显式 nil 值。建议使用显式 nil 开始和隐式 nil 结束,因为这是 Ruby 用于 Range#inspect
的方式
(nil..) # => (nil..) (..nil) # => (nil..) (nil..nil) # => (nil..)
范围和其他类¶ ↑
如果对象的类实现了实例方法 <=>
,则可以将该对象放入范围中。实现此方法的 Ruby 核心类包括 Array
、Complex
、File::Stat
、Float
、Integer
、Kernel
、Module
、Numeric
、Rational
、String
、Symbol
和 Time
。
示例
t0 = Time.now # => 2021-09-19 09:22:48.4854986 -0500 t1 = Time.now # => 2021-09-19 09:22:56.0365079 -0500 t2 = Time.now # => 2021-09-19 09:23:08.5263283 -0500 (t0..t2).include?(t1) # => true (t0..t1).include?(t2) # => false
只有当范围的元素实现了实例方法 succ
时,才能对其进行迭代。Ruby 核心类中实现此方法的类包括 Integer
、String
和 Symbol
(但不包括上面提到的其他类)。
迭代器方法包括
-
从模块 Enumerable 中包含:
each_entry
、each_with_index
、each_with_object
、each_slice
、each_cons
和reverse_each
。
示例
a = [] (1..4).each {|i| a.push(i) } a # => [1, 2, 3, 4]
范围和用户定义类¶ ↑
要在一个范围内使用用户定义的类,必须实现实例 <=>
;请参见 Integer#<=>。为了使迭代可用,它还必须实现实例方法 succ
;请参见 Integer#succ
。
下面的类同时实现了 <=>
和 succ
,因此既可以用来构造范围,也可以用来迭代它们。请注意,包含了 Comparable
模块,因此 ==
方法是根据 <=>
定义的。
# Represent a string of 'X' characters. class Xs include Comparable attr_accessor :length def initialize(n) @length = n end def succ Xs.new(@length + 1) end def <=>(other) @length <=> other.length end def to_s sprintf "%2d #{inspect}", @length end def inspect 'X' * @length end end r = Xs.new(3)..Xs.new(6) #=> XXX..XXXXXX r.to_a #=> [XXX, XXXX, XXXXX, XXXXXX] r.include?(Xs.new(5)) #=> true r.include?(Xs.new(7)) #=> false
这里有什么¶ ↑
首先,其他地方有什么。类 Range
-
继承自 类 Object。
-
包含 模块 Enumerable,它提供了数十种其他方法。
这里,类 Range 提供了对以下方面有用的方法
创建范围的方法¶ ↑
-
::new
:返回一个新的范围。
查询方法¶ ↑
-
begin
:返回为self
给出的开始值。 -
bsearch
:返回self
中通过二分查找选择的元素。 -
count
:返回self
中元素的数量。 -
end
:返回为self
给出的结束值。 -
exclude_end?
:返回结束对象是否被排除。 -
first
:返回self
的第一个元素。 -
hash
:返回整数哈希码。 -
last
:返回self
的最后一个元素。 -
max
:返回self
中的最大值。 -
min
: 返回self
中的最小值。 -
minmax
: 返回self
中的最小值和最大值。 -
size
: 返回self
中元素的数量。
比较方法¶ ↑
迭代方法¶ ↑
转换方法¶ ↑
用于处理 JSON 的方法¶ ↑
-
::json_create: 返回一个从给定对象构造的新 Range 对象。
-
as_json: 返回一个表示
self
的 2 元素哈希。 -
to_json: 返回一个表示
self
的 JSON 字符串。
使这些方法可用
require 'json/add/range'
公共类方法
根据给定的对象begin
和end
返回一个新的范围。可选参数exclude_end
决定对象end
是否包含在范围的最后一个对象中。
Range.new(2, 5).to_a # => [2, 3, 4, 5] Range.new(2, 5, true).to_a # => [2, 3, 4] Range.new('a', 'd').to_a # => ["a", "b", "c", "d"] Range.new('a', 'd', true).to_a # => ["a", "b", "c"]
static VALUE range_initialize(int argc, VALUE *argv, VALUE range) { VALUE beg, end, flags; rb_scan_args(argc, argv, "21", &beg, &end, &flags); range_modify(range); range_init(range, beg, end, RBOOL(RTEST(flags))); return Qnil; }
公共实例方法
迭代self
中的元素。
如果给定一个代码块,则使用范围中的选定元素调用代码块;返回self
。
a = [] (1..5).%(2) {|element| a.push(element) } # => 1..5 a # => [1, 3, 5] a = [] ('a'..'e').%(2) {|element| a.push(element) } # => "a".."e" a # => ["a", "c", "e"]
如果没有给定代码块,则返回一个枚举器,如果self
是数字,则枚举器将是Enumerator::ArithmeticSequence
类;否则是Enumerator类。
e = (1..5) % 2 # => ((1..5).%(2)) e.class # => Enumerator::ArithmeticSequence ('a'..'e') % 2 # => #<Enumerator: ...>
相关:Range#step
.
static VALUE range_percent_step(VALUE range, VALUE step) { return range_step(1, &step, range); }
当且仅当以下条件满足时,返回true
:
-
other
是一个范围。 -
other.begin == self.begin
. -
other.end == self.end
. -
other.exclude_end? == self.exclude_end?
.
否则返回false
。
r = (1..5) r == (1..5) # => true r = Range.new(1, 5) r == 'foo' # => false r == (2..5) # => false r == (1..4) # => false r == (1...5) # => false r == Range.new(1, 5, true) # => false
请注意,即使使用相同的参数,==
和eql?
的返回值可能不同。
(1..2) == (1..2.0) # => true (1..2).eql? (1..2.0) # => false
相关:Range#eql?
.
static VALUE range_eq(VALUE range, VALUE obj) { if (range == obj) return Qtrue; if (!rb_obj_is_kind_of(obj, rb_cRange)) return Qfalse; return rb_exec_recursive_paired(recursive_equal, range, obj, obj); }
如果object
介于self.begin
和self.end
之间,则返回true
。否则返回false
。
(1..4) === 2 # => true (1..4) === 5 # => false (1..4) === 'a' # => false (1..4) === 4 # => true (1...4) === 4 # => false ('a'..'d') === 'c' # => true ('a'..'d') === 'e' # => false
case 语句使用===
方法,因此
case 79 when (1..50) "low" when (51..75) "medium" when (76..100) "high" end # => "high" case "2.6.5" when ..."2.4" "EOL" when "2.4"..."2.5" "maintenance" when "2.5"..."3.0" "stable" when "3.1".. "upcoming" end # => "stable"
static VALUE range_eqq(VALUE range, VALUE val) { return r_cover_p(range, RANGE_BEG(range), RANGE_END(range), val); }
返回定义self
开始的对象。
(1..4).begin # => 1 (..2).begin # => nil
相关:Range#first
, Range#end
.
static VALUE range_begin(VALUE range) { return RANGE_BEG(range); }
通过二分查找从self
中选择一个元素。
参见 二分查找.
static VALUE range_bsearch(VALUE range) { VALUE beg, end, satisfied = Qnil; int smaller; /* Implementation notes: * Floats are handled by mapping them to 64 bits integers. * Apart from sign issues, floats and their 64 bits integer have the * same order, assuming they are represented as exponent followed * by the mantissa. This is true with or without implicit bit. * * Finding the average of two ints needs to be careful about * potential overflow (since float to long can use 64 bits). * * The half-open interval (low, high] indicates where the target is located. * The loop continues until low and high are adjacent. * * -1/2 can be either 0 or -1 in C89. However, when low and high are not adjacent, * the rounding direction of mid = (low + high) / 2 does not affect the result of * the binary search. * * Note that -0.0 is mapped to the same int as 0.0 as we don't want * (-1...0.0).bsearch to yield -0.0. */ #define BSEARCH(conv, excl) \ do { \ RETURN_ENUMERATOR(range, 0, 0); \ if (!(excl)) high++; \ low--; \ while (low + 1 < high) { \ mid = ((high < 0) == (low < 0)) ? low + ((high - low) / 2) \ : (low + high) / 2; \ BSEARCH_CHECK(conv(mid)); \ if (smaller) { \ high = mid; \ } \ else { \ low = mid; \ } \ } \ return satisfied; \ } while (0) #define BSEARCH_FIXNUM(beg, end, excl) \ do { \ long low = FIX2LONG(beg); \ long high = FIX2LONG(end); \ long mid; \ BSEARCH(INT2FIX, (excl)); \ } while (0) beg = RANGE_BEG(range); end = RANGE_END(range); if (FIXNUM_P(beg) && FIXNUM_P(end)) { BSEARCH_FIXNUM(beg, end, EXCL(range)); } #if SIZEOF_DOUBLE == 8 && defined(HAVE_INT64_T) else if (RB_FLOAT_TYPE_P(beg) || RB_FLOAT_TYPE_P(end)) { int64_t low = double_as_int64(NIL_P(beg) ? -HUGE_VAL : RFLOAT_VALUE(rb_Float(beg))); int64_t high = double_as_int64(NIL_P(end) ? HUGE_VAL : RFLOAT_VALUE(rb_Float(end))); int64_t mid; BSEARCH(int64_as_double_to_num, EXCL(range)); } #endif else if (is_integer_p(beg) && is_integer_p(end)) { RETURN_ENUMERATOR(range, 0, 0); return bsearch_integer_range(beg, end, EXCL(range)); } else if (is_integer_p(beg) && NIL_P(end)) { VALUE diff = LONG2FIX(1); RETURN_ENUMERATOR(range, 0, 0); while (1) { VALUE mid = rb_funcall(beg, '+', 1, diff); BSEARCH_CHECK(mid); if (smaller) { if (FIXNUM_P(beg) && FIXNUM_P(mid)) { BSEARCH_FIXNUM(beg, mid, false); } else { return bsearch_integer_range(beg, mid, false); } } diff = rb_funcall(diff, '*', 1, LONG2FIX(2)); beg = mid; } } else if (NIL_P(beg) && is_integer_p(end)) { VALUE diff = LONG2FIX(-1); RETURN_ENUMERATOR(range, 0, 0); while (1) { VALUE mid = rb_funcall(end, '+', 1, diff); BSEARCH_CHECK(mid); if (!smaller) { if (FIXNUM_P(mid) && FIXNUM_P(end)) { BSEARCH_FIXNUM(mid, end, false); } else { return bsearch_integer_range(mid, end, false); } } diff = rb_funcall(diff, '*', 1, LONG2FIX(2)); end = mid; } } else { rb_raise(rb_eTypeError, "can't do binary search for %s", rb_obj_classname(beg)); } return range; }
返回元素的数量,基于给定的参数或块条件。
如果没有参数和块,则返回元素的数量。
(1..4).count # => 4 (1...4).count # => 3 ('a'..'d').count # => 4 ('a'...'d').count # => 3 (1..).count # => Infinity (..4).count # => Infinity
如果给定参数object
,则返回self
中找到的object
的数量,通常为零或一。
(1..4).count(2) # => 1 (1..4).count(5) # => 0 (1..4).count('a') # => 0
如果给定块,则用每个元素调用块;返回块返回真值的元素数量。
(1..4).count {|element| element < 3 } # => 2
相关:Range#size
.
static VALUE range_count(int argc, VALUE *argv, VALUE range) { if (argc != 0) { /* It is odd for instance (1...).count(0) to return Infinity. Just let * it loop. */ return rb_call_super(argc, argv); } else if (rb_block_given_p()) { /* Likewise it is odd for instance (1...).count {|x| x == 0 } to return * Infinity. Just let it loop. */ return rb_call_super(argc, argv); } VALUE beg = RANGE_BEG(range), end = RANGE_END(range); if (NIL_P(beg) || NIL_P(end)) { /* We are confident that the answer is Infinity. */ return DBL2NUM(HUGE_VAL); } if (is_integer_p(beg)) { VALUE size = range_size(range); if (!NIL_P(size)) { return size; } } return rb_call_super(argc, argv); }
如果给定参数在self
中,则返回true
,否则返回false
。
对于非范围参数object
,使用<=
和<
进行评估。
对于包含结束值的范围self
(#exclude_end? == false
),评估如下
self.begin <= object <= self.end
示例
r = (1..4) r.cover?(1) # => true r.cover?(4) # => true r.cover?(0) # => false r.cover?(5) # => false r.cover?('foo') # => false r = ('a'..'d') r.cover?('a') # => true r.cover?('d') # => true r.cover?(' ') # => false r.cover?('e') # => false r.cover?(0) # => false
对于排除结束值的范围r
(#exclude_end? == true
),评估如下
r.begin <= object < r.end
示例
r = (1...4) r.cover?(1) # => true r.cover?(3) # => true r.cover?(0) # => false r.cover?(4) # => false r.cover?('foo') # => false r = ('a'...'d') r.cover?('a') # => true r.cover?('c') # => true r.cover?(' ') # => false r.cover?('d') # => false r.cover?(0) # => false
对于范围参数range
,比较self
和range
的第一个和最后一个元素。
r = (1..4) r.cover?(1..4) # => true r.cover?(0..4) # => false r.cover?(1..5) # => false r.cover?('a'..'d') # => false r = (1...4) r.cover?(1..3) # => true r.cover?(1..4) # => false
如果开始和结束是数字,cover?
的行为类似于include?
(1..3).cover?(1.5) # => true (1..3).include?(1.5) # => true
但如果不是数字,这两种方法可能会有所不同。
('a'..'d').cover?('cc') # => true ('a'..'d').include?('cc') # => false
如果以下任一情况,则返回false
。
-
self
的开始值大于其结束值。 -
对
<=>
的内部调用返回nil
;也就是说,操作数不可比较。
无开始范围涵盖相同类型的所有值,直到结束,对于排他范围,不包括结束。无开始范围涵盖在无开始范围结束之前结束的范围,或者对于包含范围,在无开始范围结束时结束。
(..2).cover?(1) # => true (..2).cover?(2) # => true (..2).cover?(3) # => false (...2).cover?(2) # => false (..2).cover?("2") # => false (..2).cover?(..2) # => true (..2).cover?(...2) # => true (..2).cover?(.."2") # => false (...2).cover?(..2) # => false
无结束范围涵盖相同类型的所有值,直到开始之后。无结束排他范围不涵盖无结束包含范围。
(2..).cover?(1) # => false (2..).cover?(3) # => true (2...).cover?(3) # => true (2..).cover?(2) # => true (2..).cover?("2") # => false (2..).cover?(2..) # => true (2..).cover?(2...) # => true (2..).cover?("2"..) # => false (2...).cover?(2..) # => false (2...).cover?(3...) # => true (2...).cover?(3..) # => false (3..).cover?(2..) # => false
既无开始又无结束的范围涵盖所有值和范围,并对所有参数返回 true,除了无开始和无结束的排他范围不涵盖无结束的包含范围。
(nil...).cover?(Object.new) # => true (nil...).cover?(nil...) # => true (nil..).cover?(nil...) # => true (nil...).cover?(nil..) # => false (nil...).cover?(1..) # => false
相关:Range#include?
.
static VALUE range_cover(VALUE range, VALUE val) { VALUE beg, end; beg = RANGE_BEG(range); end = RANGE_END(range); if (rb_obj_is_kind_of(val, rb_cRange)) { return RBOOL(r_cover_range_p(range, beg, end, val)); } return r_cover_p(range, beg, end, val); }
如果给定块,则将self
的每个元素传递给块。
a = [] (1..4).each {|element| a.push(element) } # => 1..4 a # => [1, 2, 3, 4]
除非self.first.respond_to?(:succ)
,否则会引发异常。
如果没有给定块,则返回一个枚举器。
static VALUE range_each(VALUE range) { VALUE beg, end; long i; RETURN_SIZED_ENUMERATOR(range, 0, 0, range_enum_size); beg = RANGE_BEG(range); end = RANGE_END(range); if (FIXNUM_P(beg) && NIL_P(end)) { range_each_fixnum_endless(beg); } else if (FIXNUM_P(beg) && FIXNUM_P(end)) { /* fixnums are special */ return range_each_fixnum_loop(beg, end, range); } else if (RB_INTEGER_TYPE_P(beg) && (NIL_P(end) || RB_INTEGER_TYPE_P(end))) { if (SPECIAL_CONST_P(end) || RBIGNUM_POSITIVE_P(end)) { /* end >= FIXNUM_MIN */ if (!FIXNUM_P(beg)) { if (RBIGNUM_NEGATIVE_P(beg)) { do { rb_yield(beg); } while (!FIXNUM_P(beg = rb_big_plus(beg, INT2FIX(1)))); if (NIL_P(end)) range_each_fixnum_endless(beg); if (FIXNUM_P(end)) return range_each_fixnum_loop(beg, end, range); } else { if (NIL_P(end)) range_each_bignum_endless(beg); if (FIXNUM_P(end)) return range; } } if (FIXNUM_P(beg)) { i = FIX2LONG(beg); do { rb_yield(LONG2FIX(i)); } while (POSFIXABLE(++i)); beg = LONG2NUM(i); } ASSUME(!FIXNUM_P(beg)); ASSUME(!SPECIAL_CONST_P(end)); } if (!FIXNUM_P(beg) && RBIGNUM_SIGN(beg) == RBIGNUM_SIGN(end)) { if (EXCL(range)) { while (rb_big_cmp(beg, end) == INT2FIX(-1)) { rb_yield(beg); beg = rb_big_plus(beg, INT2FIX(1)); } } else { VALUE c; while ((c = rb_big_cmp(beg, end)) != INT2FIX(1)) { rb_yield(beg); if (c == INT2FIX(0)) break; beg = rb_big_plus(beg, INT2FIX(1)); } } } } else if (SYMBOL_P(beg) && (NIL_P(end) || SYMBOL_P(end))) { /* symbols are special */ beg = rb_sym2str(beg); if (NIL_P(end)) { rb_str_upto_endless_each(beg, sym_each_i, 0); } else { rb_str_upto_each(beg, rb_sym2str(end), EXCL(range), sym_each_i, 0); } } else { VALUE tmp = rb_check_string_type(beg); if (!NIL_P(tmp)) { if (!NIL_P(end)) { rb_str_upto_each(tmp, end, EXCL(range), each_i, 0); } else { rb_str_upto_endless_each(tmp, each_i, 0); } } else { if (!discrete_object_p(beg)) { rb_raise(rb_eTypeError, "can't iterate from %s", rb_obj_classname(beg)); } if (!NIL_P(end)) range_each_func(range, each_i, 0); else for (;; beg = rb_funcallv(beg, id_succ, 0, 0)) rb_yield(beg); } } return range; }
返回定义self
结束的对象。
(1..4).end # => 4 (1...4).end # => 4 (1..).end # => nil
相关:Range#begin
, Range#last
.
static VALUE range_end(VALUE range) { return RANGE_END(range); }
如果是一个有限集合,则返回包含self
中元素的数组;否则抛出异常。
(1..4).to_a # => [1, 2, 3, 4] (1...4).to_a # => [1, 2, 3] ('a'..'d').to_a # => ["a", "b", "c", "d"]
当且仅当以下条件满足时,返回true
:
-
other
是一个范围。 -
other.begin eql? self.begin
. -
other.end eql? self.end
. -
other.exclude_end? == self.exclude_end?
.
否则返回false
。
r = (1..5) r.eql?(1..5) # => true r = Range.new(1, 5) r.eql?('foo') # => false r.eql?(2..5) # => false r.eql?(1..4) # => false r.eql?(1...5) # => false r.eql?(Range.new(1, 5, true)) # => false
请注意,即使使用相同的参数,==
和eql?
的返回值可能不同。
(1..2) == (1..2.0) # => true (1..2).eql? (1..2.0) # => false
相关:Range#==
.
static VALUE range_eql(VALUE range, VALUE obj) { if (range == obj) return Qtrue; if (!rb_obj_is_kind_of(obj, rb_cRange)) return Qfalse; return rb_exec_recursive_paired(recursive_eql, range, obj, obj); }
如果self
不包含其结束值,则返回true
;否则返回false
Range.new(2, 5).exclude_end? # => false Range.new(2, 5, true).exclude_end? # => true (2..5).exclude_end? # => false (2...5).exclude_end? # => true
static VALUE range_exclude_end_p(VALUE range) { return RBOOL(EXCL(range)); }
如果没有参数,则返回self
的第一个元素(如果存在)。
(1..4).first # => 1 ('a'..'d').first # => "a"
如果给出了非负整数参数n
,则返回一个包含前n
个元素的数组。
(1..10).first(3) # => [1, 2, 3] (1..10).first(0) # => [] (1..4).first(50) # => [1, 2, 3, 4]
如果不存在第一个元素,则抛出异常。
(..4).first # Raises RangeError
static VALUE range_first(int argc, VALUE *argv, VALUE range) { VALUE n, ary[2]; if (NIL_P(RANGE_BEG(range))) { rb_raise(rb_eRangeError, "cannot get the first element of beginless range"); } if (argc == 0) return RANGE_BEG(range); rb_scan_args(argc, argv, "1", &n); ary[0] = n; ary[1] = rb_ary_new2(NUM2LONG(n)); rb_block_call(range, idEach, 0, 0, first_i, (VALUE)ary); return ary[1]; }
返回self
的整数哈希值。两个范围对象r0
和r1
具有相同的哈希值,当且仅当r0.eql?(r1)
。
相关:Range#eql?
, Object#hash
.
static VALUE range_hash(VALUE range) { st_index_t hash = EXCL(range); VALUE v; hash = rb_hash_start(hash); v = rb_hash(RANGE_BEG(range)); hash = rb_hash_uint(hash, NUM2LONG(v)); v = rb_hash(RANGE_END(range)); hash = rb_hash_uint(hash, NUM2LONG(v)); hash = rb_hash_uint(hash, EXCL(range) << 24); hash = rb_hash_end(hash); return ST2FIX(hash); }
如果object
是self
的元素,则返回true
,否则返回false
。
(1..4).include?(2) # => true (1..4).include?(5) # => false (1..4).include?(4) # => true (1...4).include?(4) # => false ('a'..'d').include?('b') # => true ('a'..'d').include?('e') # => false ('a'..'d').include?('B') # => false ('a'..'d').include?('d') # => true ('a'...'d').include?('d') # => false
如果begin和end是数字,则include?
的行为类似于cover?
(1..3).include?(1.5) # => true (1..3).cover?(1.5) # => true
但如果不是数字,这两种方法可能会有所不同。
('a'..'d').include?('cc') # => false ('a'..'d').cover?('cc') # => true
相关:Range#cover?
.
返回self
的字符串表示形式,包括begin.inspect
和end.inspect
。
(1..4).inspect # => "1..4" (1...4).inspect # => "1...4" (1..).inspect # => "1.." (..4).inspect # => "..4"
('a'..'d').to_s # => "a..d" ('a'..'d').inspect # => "\"a\"..\"d\""
相关:Range#to_s
.
static VALUE range_inspect(VALUE range) { return rb_exec_recursive(inspect_range, range, 0); }
如果没有参数,则返回self
的最后一个元素(如果存在)。
(1..4).last # => 4 ('a'..'d').last # => "d"
请注意,即使exclude_end?
为true
,没有参数的last
也会返回self
的结束元素。
(1...4).last # => 4 ('a'...'d').last # => "d"
如果给出了非负整数参数n
,则返回一个包含最后n
个元素的数组。
(1..10).last(3) # => [8, 9, 10] (1..10).last(0) # => [] (1..4).last(50) # => [1, 2, 3, 4]
请注意,如果exclude_end?
为true
,则带参数的last
不会返回self
的结束元素。
(1...4).last(3) # => [1, 2, 3] ('a'...'d').last(3) # => ["a", "b", "c"]
如果不存在最后一个元素,则抛出异常。
(1..).last # Raises RangeError
static VALUE range_last(int argc, VALUE *argv, VALUE range) { VALUE b, e; if (NIL_P(RANGE_END(range))) { rb_raise(rb_eRangeError, "cannot get the last element of endless range"); } if (argc == 0) return RANGE_END(range); b = RANGE_BEG(range); e = RANGE_END(range); if (RB_INTEGER_TYPE_P(b) && RB_INTEGER_TYPE_P(e) && RB_LIKELY(rb_method_basic_definition_p(rb_cRange, idEach))) { return rb_int_range_last(argc, argv, range); } return rb_ary_last(argc, argv, rb_Array(range)); }
返回 self
中的最大值,使用 <=>
方法或给定的代码块进行比较。
如果没有参数且没有给出代码块,则返回 self
中最大值的元素。
(1..4).max # => 4 ('a'..'d').max # => "d" (-4..-1).max # => -1
如果给出了非负整数参数 n
,并且没有给出代码块,则返回 self
中 n
个最大值的元素,以数组形式。
(1..4).max(2) # => [4, 3] ('a'..'d').max(2) # => ["d", "c"] (-4..-1).max(2) # => [-1, -2] (1..4).max(50) # => [4, 3, 2, 1]
如果给出了代码块,则调用它
-
首先,使用
self
的前两个元素。 -
然后,依次使用到目前为止的最大值和
self
的下一个元素。
为了说明
(1..4).max {|a, b| p [a, b]; a <=> b } # => 4
输出
[2, 1] [3, 2] [4, 3]
如果没有参数且给出了代码块,则返回对代码块的最后一次调用的返回值。
(1..4).max {|a, b| -(a <=> b) } # => 1
如果给出了非负整数参数 n
,并且给出了代码块,则返回对代码块的最后 n
次调用的返回值,以数组形式。
(1..4).max(2) {|a, b| -(a <=> b) } # => [1, 2] (1..4).max(50) {|a, b| -(a <=> b) } # => [1, 2, 3, 4]
如果 n
为零,则返回空数组。
(1..4).max(0) # => [] (1..4).max(0) {|a, b| -(a <=> b) } # => []
如果返回 nil
或空数组,则
-
范围的起始值大于结束值。
(4..1).max # => nil (4..1).max(2) # => [] (4..1).max {|a, b| -(a <=> b) } # => nil (4..1).max(2) {|a, b| -(a <=> b) } # => []
-
独占范围的起始值等于结束值。
(1...1).max # => nil (1...1).max(2) # => [] (1...1).max {|a, b| -(a <=> b) } # => nil (1...1).max(2) {|a, b| -(a <=> b) } # => []
如果以下任一情况,则引发异常:
-
self
是一个无限范围:(1..)
。 -
给出了代码块,并且
self
是一个无起始范围。
static VALUE range_max(int argc, VALUE *argv, VALUE range) { VALUE e = RANGE_END(range); int nm = FIXNUM_P(e) || rb_obj_is_kind_of(e, rb_cNumeric); if (NIL_P(RANGE_END(range))) { rb_raise(rb_eRangeError, "cannot get the maximum of endless range"); } VALUE b = RANGE_BEG(range); if (rb_block_given_p() || (EXCL(range) && !nm) || argc) { if (NIL_P(b)) { rb_raise(rb_eRangeError, "cannot get the maximum of beginless range with custom comparison method"); } return rb_call_super(argc, argv); } else { int c = NIL_P(b) ? -1 : OPTIMIZED_CMP(b, e); if (c > 0) return Qnil; if (EXCL(range)) { if (!RB_INTEGER_TYPE_P(e)) { rb_raise(rb_eTypeError, "cannot exclude non Integer end value"); } if (c == 0) return Qnil; if (!RB_INTEGER_TYPE_P(b)) { rb_raise(rb_eTypeError, "cannot exclude end value with non Integer begin value"); } if (FIXNUM_P(e)) { return LONG2NUM(FIX2LONG(e) - 1); } return rb_funcall(e, '-', 1, INT2FIX(1)); } return e; } }
如果object
是self
的元素,则返回true
,否则返回false
。
(1..4).include?(2) # => true (1..4).include?(5) # => false (1..4).include?(4) # => true (1...4).include?(4) # => false ('a'..'d').include?('b') # => true ('a'..'d').include?('e') # => false ('a'..'d').include?('B') # => false ('a'..'d').include?('d') # => true ('a'...'d').include?('d') # => false
如果begin和end是数字,则include?
的行为类似于cover?
(1..3).include?(1.5) # => true (1..3).cover?(1.5) # => true
但如果不是数字,这两种方法可能会有所不同。
('a'..'d').include?('cc') # => false ('a'..'d').cover?('cc') # => true
相关:Range#cover?
.
static VALUE range_include(VALUE range, VALUE val) { VALUE ret = range_include_internal(range, val); if (!UNDEF_P(ret)) return ret; return rb_call_super(1, &val); }
返回 self
中的最小值,使用 <=>
方法或给定的代码块进行比较。
如果没有参数且没有给出代码块,则返回 self
中最小值的元素。
(1..4).min # => 1 ('a'..'d').min # => "a" (-4..-1).min # => -4
如果给出了非负整数参数 n
,并且没有给出代码块,则返回 self
中 n
个最小值的元素,以数组形式。
(1..4).min(2) # => [1, 2] ('a'..'d').min(2) # => ["a", "b"] (-4..-1).min(2) # => [-4, -3] (1..4).min(50) # => [1, 2, 3, 4]
如果给出了代码块,则调用它
-
首先,使用
self
的前两个元素。 -
然后,依次使用迄今为止的最小值和
self
的下一个元素。
为了说明
(1..4).min {|a, b| p [a, b]; a <=> b } # => 1
输出
[2, 1] [3, 1] [4, 1]
如果没有参数且给出了代码块,则返回对代码块的最后一次调用的返回值。
(1..4).min {|a, b| -(a <=> b) } # => 4
如果给出了非负整数参数 n
,并且给出了代码块,则返回对代码块的最后 n
次调用的返回值,以数组形式。
(1..4).min(2) {|a, b| -(a <=> b) } # => [4, 3] (1..4).min(50) {|a, b| -(a <=> b) } # => [4, 3, 2, 1]
如果 n
为零,则返回空数组。
(1..4).min(0) # => [] (1..4).min(0) {|a, b| -(a <=> b) } # => []
如果返回 nil
或空数组,则
-
范围的起始值大于结束值。
(4..1).min # => nil (4..1).min(2) # => [] (4..1).min {|a, b| -(a <=> b) } # => nil (4..1).min(2) {|a, b| -(a <=> b) } # => []
-
独占范围的起始值等于结束值。
(1...1).min # => nil (1...1).min(2) # => [] (1...1).min {|a, b| -(a <=> b) } # => nil (1...1).min(2) {|a, b| -(a <=> b) } # => []
如果以下任一情况,则引发异常:
-
self
是一个无始范围:(..4)
。 -
给定一个块,
self
是一个无穷范围。
static VALUE range_min(int argc, VALUE *argv, VALUE range) { if (NIL_P(RANGE_BEG(range))) { rb_raise(rb_eRangeError, "cannot get the minimum of beginless range"); } if (rb_block_given_p()) { if (NIL_P(RANGE_END(range))) { rb_raise(rb_eRangeError, "cannot get the minimum of endless range with custom comparison method"); } return rb_call_super(argc, argv); } else if (argc != 0) { return range_first(argc, argv, range); } else { VALUE b = RANGE_BEG(range); VALUE e = RANGE_END(range); int c = NIL_P(e) ? -1 : OPTIMIZED_CMP(b, e); if (c > 0 || (c == 0 && EXCL(range))) return Qnil; return b; } }
返回一个包含self
中最小值和最大值的 2 元素数组,可以根据比较方法<=>
或给定的块进行比较。
如果没有给出块,则返回最小值和最大值,使用<=>
进行比较
(1..4).minmax # => [1, 4] (1...4).minmax # => [1, 3] ('a'..'d').minmax # => ["a", "d"] (-4..-1).minmax # => [-4, -1]
如果给定一个块,该块必须返回一个整数
-
如果
a
小于b
,则为负数。 -
如果
a
和b
相等,则为零。 -
如果
a
大于b
,则为正数。
该块被调用self.size
次以比较元素;返回一个包含self
中最小值和最大值的 2 元素Array
,根据块进行比较
(1..4).minmax {|a, b| -(a <=> b) } # => [4, 1]
如果返回[nil, nil]
-
范围的起始值大于结束值。
(4..1).minmax # => [nil, nil] (4..1).minmax {|a, b| -(a <=> b) } # => [nil, nil]
-
独占范围的起始值等于结束值。
(1...1).minmax # => [nil, nil] (1...1).minmax {|a, b| -(a <=> b) } # => [nil, nil]
如果self
是无始范围或无穷范围,则抛出异常。
static VALUE range_minmax(VALUE range) { if (rb_block_given_p()) { return rb_call_super(0, NULL); } return rb_assoc_new( rb_funcall(range, id_min, 0), rb_funcall(range, id_max, 0) ); }
如果range
与self
重叠,则返回true
,否则返回false
(0..2).overlap?(1..3) #=> true (0..2).overlap?(3..4) #=> false (0..).overlap?(..0) #=> true
对于非范围参数,会抛出TypeError
。
(1..3).overlap?(1) # TypeError
如果对<=>
的内部调用返回nil
,则返回false
;也就是说,操作数不可比较。
(1..3).overlap?('a'..'d') # => false
如果self
或range
为空,则返回false
。“空范围”意味着其起始值大于或等于(对于排他范围)其结束值。
(4..1).overlap?(2..3) # => false (4..1).overlap?(..3) # => false (4..1).overlap?(2..) # => false (2...2).overlap?(1..2) # => false (1..4).overlap?(3..2) # => false (..4).overlap?(3..2) # => false (1..).overlap?(3..2) # => false (1..2).overlap?(2...2) # => false
如果self
和range
之一的起始值大于或等于(如果另一个是排他范围)另一个的结束值,则返回false
(4..5).overlap?(2..3) # => false (4..5).overlap?(2...4) # => false (1..2).overlap?(3..4) # => false (1...3).overlap?(3..4) # => false
如果self
和range
之一的结束值大于或等于(对于排他范围)另一个的结束值,则返回false
(4..5).overlap?(2..3) # => false (4..5).overlap?(2...4) # => false (1..2).overlap?(3..4) # => false (1...3).overlap?(3..4) # => false
请注意,即使无始范围的上限是其类型的最小可能值,该方法也不会对无始范围是否实际上为空做出任何假设,因此所有这些都会返回true
(...-Float::INFINITY).overlap?(...-Float::INFINITY) # => true (..."").overlap?(..."") # => true (...[]).overlap?(...[]) # => true
即使这些范围实际上是空的(没有数字可以小于-Float::INFINITY
),它们仍然被认为是与自身重叠的。
相关:Range#cover?
.
static VALUE range_overlap(VALUE range, VALUE other) { if (!rb_obj_is_kind_of(other, rb_cRange)) { rb_raise(rb_eTypeError, "wrong argument type %"PRIsVALUE" (expected Range)", rb_class_name(rb_obj_class(other))); } VALUE self_beg = RANGE_BEG(range); VALUE self_end = RANGE_END(range); int self_excl = EXCL(range); VALUE other_beg = RANGE_BEG(other); VALUE other_end = RANGE_END(other); int other_excl = EXCL(other); if (empty_region_p(self_beg, other_end, other_excl)) return Qfalse; if (empty_region_p(other_beg, self_end, self_excl)) return Qfalse; /* if both begin values are equal, no more comparisons needed */ if (rb_equal(self_beg, other_beg)) return Qtrue; if (empty_region_p(self_beg, self_end, self_excl)) return Qfalse; if (empty_region_p(other_beg, other_end, other_excl)) return Qfalse; return Qtrue; }
如果给定一个代码块,则以相反的顺序将self
的每个元素传递给代码块。
a = [] (1..4).reverse_each {|element| a.push(element) } # => 1..4 a # => [4, 3, 2, 1] a = [] (1...4).reverse_each {|element| a.push(element) } # => 1...4 a # => [3, 2, 1]
如果没有给定块,则返回一个枚举器。
static VALUE range_reverse_each(VALUE range) { RETURN_SIZED_ENUMERATOR(range, 0, 0, range_enum_size); VALUE beg = RANGE_BEG(range); VALUE end = RANGE_END(range); int excl = EXCL(range); if (NIL_P(end)) { rb_raise(rb_eTypeError, "can't iterate from %s", rb_obj_classname(end)); } if (FIXNUM_P(beg) && FIXNUM_P(end)) { if (excl) { if (end == LONG2FIX(FIXNUM_MIN)) return range; end = rb_int_minus(end, INT2FIX(1)); } range_reverse_each_fixnum_section(beg, end); } else if ((NIL_P(beg) || RB_INTEGER_TYPE_P(beg)) && RB_INTEGER_TYPE_P(end)) { if (excl) { end = rb_int_minus(end, INT2FIX(1)); } range_reverse_each_positive_bignum_section(beg, end); range_reverse_each_fixnum_section(beg, end); range_reverse_each_negative_bignum_section(beg, end); } else { return rb_call_super(0, NULL); } return range; }
如果self
的开始和结束值都是数字,则返回self
中元素的数量;否则,返回nil
。
(1..4).size # => 4 (1...4).size # => 3 (1..).size # => Infinity ('a'..'z').size #=> nil
相关:Range#count
.
static VALUE range_size(VALUE range) { VALUE b = RANGE_BEG(range), e = RANGE_END(range); if (rb_obj_is_kind_of(b, rb_cNumeric)) { if (rb_obj_is_kind_of(e, rb_cNumeric)) { return ruby_num_interval_step_size(b, e, INT2FIX(1), EXCL(range)); } if (NIL_P(e)) { return DBL2NUM(HUGE_VAL); } } else if (NIL_P(b)) { if (rb_obj_is_kind_of(e, rb_cNumeric)) { return DBL2NUM(HUGE_VAL); } } return Qnil; }
迭代self
中的元素。
如果给定一个代码块且没有参数,则对范围的每个元素调用代码块;返回self
。
a = [] (1..5).step {|element| a.push(element) } # => 1..5 a # => [1, 2, 3, 4, 5] a = [] ('a'..'e').step {|element| a.push(element) } # => "a".."e" a # => ["a", "b", "c", "d", "e"]
如果给定一个代码块和一个正整数参数n
,则使用元素0
、元素n
、元素2n
等调用代码块。
a = [] (1..5).step(2) {|element| a.push(element) } # => 1..5 a # => [1, 3, 5] a = [] ('a'..'e').step(2) {|element| a.push(element) } # => "a".."e" a # => ["a", "c", "e"]
如果没有给定代码块,则返回一个枚举器,如果self
是数字,则枚举器将是Enumerator::ArithmeticSequence
类;否则是Enumerator类。
e = (1..5).step(2) # => ((1..5).step(2)) e.class # => Enumerator::ArithmeticSequence ('a'..'e').step # => #<Enumerator: ...>
相关:Range#%
.
static VALUE range_step(int argc, VALUE *argv, VALUE range) { VALUE b, e, step, tmp; b = RANGE_BEG(range); e = RANGE_END(range); step = (!rb_check_arity(argc, 0, 1) ? INT2FIX(1) : argv[0]); if (!rb_block_given_p()) { if (!rb_obj_is_kind_of(step, rb_cNumeric)) { step = rb_to_int(step); } if (rb_equal(step, INT2FIX(0))) { rb_raise(rb_eArgError, "step can't be 0"); } const VALUE b_num_p = rb_obj_is_kind_of(b, rb_cNumeric); const VALUE e_num_p = rb_obj_is_kind_of(e, rb_cNumeric); if ((b_num_p && (NIL_P(e) || e_num_p)) || (NIL_P(b) && e_num_p)) { return rb_arith_seq_new(range, ID2SYM(rb_frame_this_func()), argc, argv, range_step_size, b, e, step, EXCL(range)); } RETURN_SIZED_ENUMERATOR(range, argc, argv, range_step_size); } step = check_step_domain(step); VALUE iter[2] = {INT2FIX(1), step}; if (FIXNUM_P(b) && NIL_P(e) && FIXNUM_P(step)) { long i = FIX2LONG(b), unit = FIX2LONG(step); do { rb_yield(LONG2FIX(i)); i += unit; /* FIXABLE+FIXABLE never overflow */ } while (FIXABLE(i)); b = LONG2NUM(i); for (;; b = rb_big_plus(b, step)) rb_yield(b); } else if (FIXNUM_P(b) && FIXNUM_P(e) && FIXNUM_P(step)) { /* fixnums are special */ long end = FIX2LONG(e); long i, unit = FIX2LONG(step); if (!EXCL(range)) end += 1; i = FIX2LONG(b); while (i < end) { rb_yield(LONG2NUM(i)); if (i + unit < i) break; i += unit; } } else if (SYMBOL_P(b) && (NIL_P(e) || SYMBOL_P(e))) { /* symbols are special */ b = rb_sym2str(b); if (NIL_P(e)) { rb_str_upto_endless_each(b, sym_step_i, (VALUE)iter); } else { rb_str_upto_each(b, rb_sym2str(e), EXCL(range), sym_step_i, (VALUE)iter); } } else if (ruby_float_step(b, e, step, EXCL(range), TRUE)) { /* done */ } else if (rb_obj_is_kind_of(b, rb_cNumeric) || !NIL_P(rb_check_to_integer(b, "to_int")) || !NIL_P(rb_check_to_integer(e, "to_int"))) { ID op = EXCL(range) ? '<' : idLE; VALUE v = b; int i = 0; while (NIL_P(e) || RTEST(rb_funcall(v, op, 1, e))) { rb_yield(v); i++; v = rb_funcall(b, '+', 1, rb_funcall(INT2NUM(i), '*', 1, step)); } } else { tmp = rb_check_string_type(b); if (!NIL_P(tmp)) { b = tmp; if (NIL_P(e)) { rb_str_upto_endless_each(b, step_i, (VALUE)iter); } else { rb_str_upto_each(b, e, EXCL(range), step_i, (VALUE)iter); } } else { if (!discrete_object_p(b)) { rb_raise(rb_eTypeError, "can't iterate from %s", rb_obj_classname(b)); } if (!NIL_P(e)) range_each_func(range, step_i, (VALUE)iter); else for (;; b = rb_funcallv(b, id_succ, 0, 0)) step_i(b, (VALUE)iter); } } return range; }
如果是一个有限集合,则返回包含self
中元素的数组;否则抛出异常。
(1..4).to_a # => [1, 2, 3, 4] (1...4).to_a # => [1, 2, 3] ('a'..'d').to_a # => ["a", "b", "c", "d"]
static VALUE range_to_a(VALUE range) { if (NIL_P(RANGE_END(range))) { rb_raise(rb_eRangeError, "cannot convert endless range to an array"); } return rb_call_super(0, 0); }
返回self
的字符串表示形式,包括begin.to_s
和end.to_s
。
(1..4).to_s # => "1..4" (1...4).to_s # => "1...4" (1..).to_s # => "1.." (..4).to_s # => "..4"
('a'..'d').to_s # => "a..d" ('a'..'d').inspect # => "\"a\"..\"d\""
相关:Range#inspect
.
static VALUE range_to_s(VALUE range) { VALUE str, str2; str = rb_obj_as_string(RANGE_BEG(range)); str2 = rb_obj_as_string(RANGE_END(range)); str = rb_str_dup(str); rb_str_cat(str, "...", EXCL(range) ? 3 : 2); rb_str_append(str, str2); return str; }