让 AI 调用搜索或日历时，它不能只“答对大意”，还得把工具名和参数填进固定结构，否则机器根本无法执行。常见担忧是：强迫模型按 JSON 等格式作答，会不会像要求人边解题边填表，反而打断思路？这篇论文重新检验了这个判断。
作者把约束分为三类：格式约束规定答案怎么写；有效性约束排除不合法答案；推理约束则限制思考路径。约束解码就是模型每生成一个词，系统都屏蔽不合规则的选项。论文在 Qwen、Gemma、Llama 和 SmolLM 四个模型家族的 11 个开源模型上测试，认为以往观察到的能力下降，很大程度来自提示词和输出格式不一致，而非解码阶段的屏蔽本身。
在提示词和预期格式保持相同的公平比较下，受约束生成始终持平或优于自由生成；其中，有效性约束带来的提升最稳定，最高达 17.4%。不过，推理约束只有在强制路径本身有益时才会改善表现。换句话说，关键不是“有没有约束”，而是约束究竟删掉了错误出口，还是堵住了正确道路；上述效果均为论文作者报告。