演绎指南是否需要 noexcept 说明符？

Question

出于某些原因，我一直认为推导指南必须与它们所引用的构造函数具有相同的noexcept-ness。例如：

template<typename T>
struct clazz {
    clazz(const T &) noexcept {}
};

clazz(const char &) noexcept -> clazz<int>;

也就是说，如果构造函数是 noexcept 并且我希望 const char & 也是如此，我还必须将 noexcept 说明符添加到推导指南中。

今天我在 ICC 工作了一点，发现它在演绎指南上的 noexcept 有问题。到目前为止，一切都很好。我认为这是编译器的错误，仅此而已。
但是，我查看了标准，找不到任何可以证实我最初假设的点。因此，我对 clang 进行了同样的检查，即使它没有问题，但似乎在 100% 的情况下，演绎指南上的 noexcept 都会被忽略。另一方面，构造函数上的那个会影响两者。

所以，我的问题是，它是否有意义或者是否需要在某种程度上传播（如果这有意义的话）构造函数的noexcept-ness 也适用于演绎指南还是没用，我可以把推导指南上的所有noexcept去掉？

Answer 1

演绎指南的语法在[temp.deduct.guide]/1中定义为

explicit-specifier(opt) template-name ( parameter-declaration-clause ) -> simple-template-id ;

如您所见，它不包含异常说明符。

这确实有道理。演绎指南实际上并没有构建任何东西。它只是用来告诉编译器如何从一组参数中获取模板参数。您有一个两步过程，推导指南通过重载解析来确定模板参数，然后使用推导出的模板参数枚举构造函数，并针对构造函数运行重载解析。