创建特殊整数

Question

我想FOO在名称空间中定义一个Integer类似于Float::NANin 的常量Float,它本身就是一个实例Float.它将在某种程度上类似于符号,即标记特殊情况(整数).我不需要它用于计算,但我需要它具有以下属性:

• 它的类必须是Integer或者是Integer它的子类,并且它必须对与类相关的方法起作用:

  Integer::FOO.kind_of?(Integer) # => true
  

  可选(如果是这个类Integer):

  Integer::FOO.class # => Integer
  Integer === Integer::FOO # => true
  Integer::FOO.instance_of?(Integer) # => true
  

• 它必须与(理想情况下所有)其他整数不同:

  Integer::FOO == 0 # => false
  

  理想情况下,我希望它与任何其他整数不同,但如果这是不可能的,我可以忍受一个肮脏的黑客,比如使得Integer::FOO与最大或最小的整数相同,这是最不可能击中任何随机给定的整数.

最好的方法是什么？

Answer 1

Ruby 的元编程方法可以轻松地将通用对象扭曲成您想要的形状：

class Integer
  FOO = Object.new
end

Integer::FOO.define_singleton_method(:kind_of?) do |klass|
  Integer.ancestors.include? klass
end

Integer::FOO.define_singleton_method(:class) do
  Integer
end

Integer::FOO.define_singleton_method(:instance_of?) do |klass|
  klass == Integer
end

oldteq = Integer.method(:===)

Integer.define_singleton_method(:===) do |obj|
  obj == Integer::FOO ? true : oldteq.call(obj)
end

Integer::FOO.kind_of? Integer
# true
Integer::FOO.class
# Integer
Integer === Integer::FOO
# true
Integer::FOO.instance_of? Integer
# true
Integer::FOO == 0
# false

棘手的部分是确保涵盖所有用例。我的代码可以处理您列出的所有要求，但我不知道这样一个奇怪的对象会产生什么样的奇怪的副作用。