约束解码在采样阶段就屏蔽不符合语法的 token，可靠性最高。