Ruby常量解析：包含模块方法无法找到父类定义的常量

Ruby常量解析的核心规则可以总结为：先向外遍历嵌套结构，再向上遍历祖先链。

先看这段能正常运行的代码：

module Insurable
  LIFE_INSURANCE_AMOUNT = 150_000
end

class Person
  DRIVING_LICENSE_AGE = 18
end

class BusDriver < Person
  include Insurable
  def can_drive_from
    "Can drive from #{DRIVING_LICENSE_AGE}, with life insurance of $#{LIFE_INSURANCE_AMOUNT}"
  end
end

BusDriver.new.can_drive_from
# => "Can drive from 18, with life insurance of $150000"

这里#can_drive_from方法能顺利找到DRIVING_LICENSE_AGE常量——虽然它不在当前的Module.nesting（嵌套结构）里，但Person是BusDriver的父类，所以通过“向上遍历祖先链”的规则，就能找到Person::DRIVING_LICENSE_AGE。

但如果把这个方法移到被包含的模块里，代码就会报错：

module Insurable
  LIFE_INSURANCE_AMOUNT = 150_000
  def can_drive_from
    "Can drive from #{DRIVING_LICENSE_AGE}, with life insurance of $#{LIFE_INSURANCE_AMOUNT}"
  end
end

class Person
  DRIVING_LICENSE_AGE = 18
end

class BusDriver < Person
  include Insurable
end

BusDriver.new.can_drive_from

# NameError: uninitialized constant Insurable::DRIVING_LICENSE_AGE
#     "Can drive from #{DRIVING_LICENSE_AGE}, with life insurance of $#{LIFE_INSURANCE_AMOUNT}"

我原本以为Ruby会遍历BusDriver的祖先链（其中包含Person）并找到该常量，为什么此时Ruby会忽略祖先链，抛出NameError？

问题根源：常量查找的静态上下文绑定 #

Ruby的常量查找是静态绑定的——它只关心方法定义时所在的上下文，不关心方法被调用时的上下文：

• 当方法定义在BusDriver类内部时，常量查找的起始上下文是BusDriver类。此时会先检查BusDriver的嵌套结构，再向上遍历BusDriver的祖先链（Person→Object→BasicObject），自然能找到Person中的常量。
• 当方法定义在Insurable模块中时，常量查找的起始上下文变成了Insurable模块。Ruby会先遍历Insurable的嵌套结构（无外层嵌套），再向上遍历Insurable的祖先链（Object→BasicObject），完全不会涉及BusDriver或Person的祖先链，因此找不到DRIVING_LICENSE_AGE。

解决方法 #

如果要在模块方法中找到调用者类的常量，可以：

• 显式从调用者的类上下文查找：self.class.const_get(:DRIVING_LICENSE_AGE)
• 明确指定常量的所属类：Person::DRIVING_LICENSE_AGE
• 若常量在顶级上下文，可使用全局查找：::DRIVING_LICENSE_AGE

内容的提问来源于stack exchange，提问作者sandre89