结构化约束之所以有效，是因为大模型在缺乏约束时会倾向于回归训练数据中最常见的「平均风格」，即slop。