逻辑讲解

通过逐步执行轨迹（跨过程、含名称解析与类型转换）讲解特定代码在给定输入下的实际行为。用户对行为困惑或问“为什么输出 X 而非 Y”时使用。