演绎指南可以有一个显式(布尔）说明符吗?

Can Deduction Guide have an explicit(bool) specifier?

本文关键字：布尔 说明符 有一个 演绎      更新时间：2023-10-16

标准的多个部分表明演绎指南不能有显式说明符，而只能在它前面有一个明确的关键字。

喜欢：

在温度中扣除

演绎指南：

显式opt模板名称(参数声明子句) ->简单模板 ID;

请注意，标准说：显式选择而不是显式说明符。

或在 dcl.fct.spec 中

显式说明符应仅用于其类定义中的构造函数或转换函数的声明;

但标准也说在Over.Match.class.deduct

如果函数或函数

模板是从具有显式说明符的构造函数或演绎指南生成的，则每个此类概念构造函数都被视为具有相同的显式说明符。

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

我看不出演绎指南不能有明确说明符的任何特殊原因。

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

演绎指南可以有一个显式(布尔)说明符吗？

我没有看到任何特殊原因为什么演绎指南不能有一个明确的说明符。

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

更新：此问题已在贝尔法斯特采用的 P1968 中修复，作为核心问题 2422 解决方案的一部分。

相关文章：