省略模板参数是可能的,因为标准在 17.9.1 的第 3 段 [temp.arg.explicit] ( N4700 ) 中说:



另一方面,该标准有一个相互矛盾的规则,如 17.9.2,第 2 段 [temp.deduct] 所示(强调我的):



本段建议如果我们要使用显式模板参数列表,则应指定所有模板参数,这显然与上一段相矛盾。那么,意图是什么?

最佳答案

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

关于c++ - 关于模板参数推导的看似有缺陷的段落?,我们在Stack Overflow上找到一个类似的问题:https://stackoverflow.com/questions/48401309/

10-11 18:41