似乎有缺陷的段落关于模板参数的演绎？

Question

省略模板参数是可能的，因为标准在17.9.1第3段中提到了temp.arg.explicit

后面的模板参数可以从default _ template _s中推导或获得-参数_s可以从显式_模板-参数_s的列表中省略。

另一方面，正如temp.deduct第2款17.9.2所示，标准有一个相互冲突的规则(强调我的意思)：

..。具体来说，在计算给定函数模板的显式指定模板参数列表时，将执行以下步骤：

• 如果指定的模板参数与模板参数不匹配(例如，类型、非类型、模板)，或者如果有比参数更多的参数，而且没有参数是模板参数包，则为，或者如果每个非包参数没有参数，则类型演绎失败。
• ..。

这一段建议，如果我们要使用一个明确的模板参数列表，那么所有的模板参数都将被指定，这显然与上面的段落相矛盾。那么，你的意图是什么？

Answer 1

第二个引号适用于“在计算显式指定的模板参数列表时”，但第一个引用显然是关于某些模板参数未显式指定的情况。没有冲突，因为他们谈论的是两种不同的情况。