CIL解释器开发：filter块中leave指令的处理合规性困惑

先拆解ECMA-335里的两处描述：

• 一处提到leave指令可用于退出try、filter或catch块，普通分支指令仅能在块内转移控制；
• 另一处明确说明filter块的控制转出只能通过throw或endfilter，ret和leave指令均无效。

这本质是标准里“理论定义”和“实际约束”的区分，处理时可以按以下逻辑执行：

1. 代码验证层面：合法的CIL代码中，filter块内不允许出现leave指令。ECMA-335的验证规则会强制这一点——任何试图在filter块内用leave转出的代码都会被标记为无效，无法通过验证。如果你的解释器只处理经过验证的合法CIL，直接把filter块内的leave视为非法指令，抛出验证错误即可。
2. 未验证代码处理：若需支持未验证的CIL，严格遵循“控制无法转出filter块”的约束：要么忽略leave的跳转行为，要么直接抛出运行时异常，符合标准中“执行leave指令无效”的定义。实际CLR实现里，遇到filter块内的leave会直接触发验证失败，不会执行该指令。

总结处理步骤：

• 解析阶段检查filter块内的指令，发现leave直接判定为非法代码；
• 若必须执行未验证代码，执行到leave时不执行跳转，或抛出运行时异常。

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