约束解码在每个解码步对词表施加掩码，把违反约束的token概率置零；掩码计算本身有开销，复杂语法会拖慢解码。