演绎指南可以有一个明确的（布尔）说明符吗？

Question

标准的多个部分表明，推导指南不能具有显式说明符，而只能在其前面具有显式关键字。

喜欢：

在temp.deduct.duide

演绎指南：

显式_opt 模板名称（parameter-declaration-clause）-> simple-template-id ;

请注意，该标准说：显式_opt而不显式-说明符。

或在dcl.fct.spec中

的显式说明符，应仅在其类定义内的构造或转换函数的声明被使用; ...

但该标准还在over.match.class.deduct中指出

如果函数或函数模板是从具有显式说明符的构造函数或推导中生成的，则每个这样的概念性构造函数均被视为具有相同的显式说明符。

这句话暗示推导指南可以有一个明确的说明符。

我没有看到为什么推理指南没有显式说明符的任何特殊原因。

是我对标准的理解还是标准本身的问题？

演绎指南可以有一个明确的（布尔）说明符吗？

Answer 1

我没有看到为什么推理指南没有显式说明符的任何特殊原因。

我也不。我似乎完全受到了监督（我是有条件explicit的作者之一）。我将尝试提出一个核心问题。