C++推导指南是否需要noexcept说明符？是否需与关联构造函数保持一致的noexcept属性？

好问题！这其实是C++推导指南里一个很容易被误解的细节——结论先给你：推导指南上的noexcept说明符完全没有实际作用，你可以放心移除所有推导指南中的noexcept。下面给你掰扯清楚为什么：

1. 标准层面的核心规定 #

C++标准允许推导指南的语法中写noexcept，但没有任何条款规定这个noexcept会影响类型推导过程，或者传递给最终调用的构造函数。推导指南的唯一作用是为模板类的重载决议提供额外的推导上下文，帮助编译器确定模板参数的类型。一旦推导完成，实际执行构造的是类模板实例化后的构造函数，此时只有构造函数本身的noexcept才会生效。

2. 编译器行为的验证逻辑 #

你测试Clang和ICC的结果其实都符合标准的隐含逻辑：

• Clang直接忽略推导指南的noexcept，不管你写没写，最终构造调用的异常属性完全由构造函数决定；
• ICC的“处理问题”本质上是因为标准没给推导指南的noexcept分配任何功能，所以它的实现也没考虑这个场景，这算不上严格意义的bug，只是因为这个语法本身就是个“摆设”。

3. 纠正你的初始直觉误区 #

你之前觉得推导指南需要和构造函数同noexcept，其实是混淆了推导指南的角色——它不是构造函数的“代理”或者“重载版本”，只是一个推导规则。拿你的示例代码来说：

template<typename T> struct clazz { clazz(const T &) noexcept {} };
clazz(const char &) noexcept -> clazz<int>; // 这里的noexcept完全无用

当你写clazz c('a');时，编译器通过推导指南确定T=int，然后调用clazz<int>::clazz(const int&)，这个构造函数的noexcept才会决定这个调用是否是noexcept的，推导指南上的noexcept对这个过程没有任何影响。

最终结论 #

推导指南的noexcept既不是强制要求，也没有实际意义，完全可以从所有推导指南中移除这个说明符，不会影响程序的任何行为——包括异常安全性。

内容的提问来源于stack exchange，提问作者skypjack