Sorbet项目中关于`before`和`after`方法绑定的特殊处理机制

在Ruby类型检查工具Sorbet中，存在一个特殊的设计决策：名为before和after的方法会忽略其签名中指定的绑定类型。这一行为源于Sorbet对Minitest测试框架的特殊支持。

Sorbet团队为了实现Minitest测试用例中实例变量的声明能力，专门对before和after方法进行了特殊处理。由于Sorbet通常只允许在实例方法中声明实例变量，而测试用例中的before块需要这种能力，因此Sorbet通过重写器(rewriter)在编译阶段对这些方法进行了特殊转换。

这种处理方式带来的一个副作用是，即使用户为before和after方法明确指定了T.proc.bind类型签名，Sorbet也会忽略这些绑定信息。例如，当用户期望一个块在特定上下文(Context)中执行时，Sorbet仍会保持原始接收者(self)的类型。

对于需要强制绑定到特定上下文的情况，目前推荐的解决方案是使用this = self的变通方法：

this = self
this.before do
  # 这里的self将遵循方法签名中的绑定类型
end

这种方法利用了Ruby的方法调用机制，通过显式接收者避免了Sorbet的特殊处理。需要注意的是，当before或after是私有方法时，这种方法会失效，因为Ruby不允许对私有方法使用显式接收者。

Sorbet团队表示这一设计决策是经过深思熟虑的，主要是为了支持测试框架的关键功能，因此短期内不太可能改变这一行为。开发者在使用这些方法时需要了解这一特殊行为，并根据实际情况选择适当的变通方案。