Feature #5798


Range#include? needs some optimization

Added by yimutang (Joey Zhou) almost 12 years ago. Updated over 5 years ago.

Target version:


For example:

('aa'..'az').include? 123

it seems that the procedure is:

  1. check whether 'aa' == 123 # false
  2. 'aa'.succ # 'ab'
  3. check whether 'ab' == 123 # false
  4. 'ab'.succ # 'ac'
  5. check whether 'ac' == 123 # false
    n-1. 'ay'.succ # 'az'
    n. check whether 'az' == 123 # false
    finally return false

However, 'aa' and 123 are not the same class. It's not necessary to take the whole steps of 'succ' and '=='.
Maybe it should check 'aa'.class and 123.class first, or use <=> instead of == to check, when 'aa' <=> 123 returns nil(== only returns true/false, no nil), the procedure breaks.

Actions #1

Updated by alexeymuranov (Alexey Muranov) almost 12 years ago

There is method Range#cover? for this. Range#include? is inherited from Enumerable module, so you are proposing to redefine it inside the class.

This being said, i also had a somewhat related proposal here: #5534. I suggested to basically treat Ranges as infinite sets, and define their methods accordingly. I think however that the "enumerable" part of behavior of range probably does not need to be changed.

Updated by alexeymuranov (Alexey Muranov) almost 12 years ago

I agree that the behavior you point out seems inconsistent, because

=> true

Actions #3

Updated by ko1 (Koichi Sasada) over 11 years ago

  • Tracker changed from Bug to Feature

Updated by mame (Yusuke Endoh) over 11 years ago

  • Status changed from Open to Assigned
  • Assignee set to matz (Yukihiro Matsumoto)
Actions #5

Updated by mame (Yusuke Endoh) almost 11 years ago

  • Target version set to 2.6
Actions #6

Updated by naruse (Yui NARUSE) almost 6 years ago

  • Target version deleted (2.6)

Updated by mame (Yusuke Endoh) over 5 years ago

  • Status changed from Assigned to Rejected

Joey: Please use Range#cover?, as alexeymuranov. In Ruby 2.6, Range#=== will be also equivalent to Range#cover?. [Feature #14575]

Alexey: Range is chaos. It has many inconsistencies. If you think it is really what to be fixed, please open another ticket.


Also available in: Atom PDF