c++ - 演绎指南可以有一个明确的( bool )说明符吗？

Question

标准的多个部分表示扣除指南不能有explicit-specifier但只能在其前面有一个显式关键字。

喜欢:

在 temp.deduct.duide

deduction-guide:

explicit_opt template-name ( parameter-declaration-clause ) -> simple-template-id ;

请注意，标准说:明确_opt 而不是explicit-specifier .

或在 dcl.fct.spec

An explicit-specifier shall be used only in the declaration of a constructor or conversion function within its class definition; ...

但标准在 over.match.class.deduct 中也有说明

If the function or function template was generated from a constructor or deduction-guide that had an explicit-specifier, each such notional constructor is considered to have that same explicit-specifier.

这句话暗示 deduction-guides 可以有 explicit-specifier .

我看不出演绎指南不能有 explicit-specifier 的任何特殊原因。 .

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

演绎指南可以有explicit(bool)说明符？

Answer 1

I do not see any particular reason why deduction guide couldn't have a explicit-specifier.

我也没有。似乎完全是我的疏忽(我是 conditional explicit 的作者之一)。我会尝试提出一个核心问题。

更新:此问题已在 P1968 中修复，在贝尔法斯特通过，作为核心问题 2422 决议的一部分。