Ruby on Rails：能否静态限制实例方法仅调用于已持久化且未修改实例？

Ruby作为动态类型语言，本身没有原生的严格静态约束机制，但我们可以通过工具或代码设计手段，在静态层面实现类似效果，彻底去掉运行时检查的开销和错误。

以下是几个可行方案：

1. 用Sorbet实现静态类型约束 #

Sorbet是Ruby生态里的静态类型检查器，支持自定义类型来标记符合条件的实例：

• 先定义一个类型别名，专门指代"已持久化且未修改的FooBar实例"
• 给baz方法的接收者加上这个类型注解，Sorbet会在代码编写阶段就检查调用是否合法

示例代码：

# typed: strict
class FooBar < ApplicationRecord
  # 自定义类型，仅覆盖符合条件的实例
  alias_type :PersistedUnchangedFooBar, self

  def baz(_self: self)
    # 这里可以完全移除原来的运行时检查
    # 执行你的业务逻辑
  end
end

提示：需要先在项目中引入Sorbet并配置严格类型检查规则，它能在CI或本地开发时就拦截不符合条件的调用，不用等到运行时。

2. 通过代码隔离实现静态限制 #

创建专门的子类或包装类，把baz方法放在里面，只有符合条件的实例才能转换为这个类的对象：

class FooBar < ApplicationRecord
  # 只有当实例符合条件时，才返回可调用baz的子类实例
  def to_persisted_unchanged
    return nil unless persisted? && !changed?
    PersistedFooBar.new(attributes)
  end
end

# 只有这个子类才有baz方法
class PersistedFooBar < FooBar
  def baz
    # 执行你的业务逻辑
  end
end

调用方必须通过to_persisted_unchanged获取实例才能调用baz，从代码结构上直接限制了调用范围，完全不需要运行时检查。

3. 模块混合的轻量方案 #

通过动态混合模块的方式，让符合条件的实例才拥有baz方法，虽然有少量初始化时的开销，但比每次调用检查要高效：

class FooBar < ApplicationRecord
  # 封装baz方法的模块
  module PersistedUnchangedMethods
    def baz
      # 执行你的业务逻辑
    end
  end

  def initialize(*args)
    super
    # 初始化时判断是否混合模块
    extend PersistedUnchangedMethods if persisted? && !changed?
  end

  def reload(*)
    super
    # 重载后重新判断
    extend PersistedUnchangedMethods if persisted? && !changed?
  end
end

这种方式下，不符合条件的实例根本没有baz方法，调用时会直接报错，从代码结构上也能明确提醒开发者该方法的适用范围。

总结 #

如果追求真正的静态强制，Sorbet是最佳选择，能在代码编写阶段就拦截非法调用；如果不想引入额外工具，代码隔离的方式更直观，从结构上限制方法的调用范围。

内容的提问来源于stack exchange，提问作者a-lavis