带拷贝传参的函数能否标记为noexcept？相关技术问询

能不能给这个函数加noexcept？ #

可以，但得搞清楚两个核心点：

• noexcept约束的是函数体执行阶段是否允许抛出异常，和调用时的参数拷贝（这里的std::string拷贝构造）无关——参数拷贝的异常发生在函数调用前，不属于函数体操作范畴，不受函数的noexcept标记影响。
• 看你给出的函数代码：只要调用者传入的std::string不是空串，函数内的操作（修改字符、移动返回字符串）都不会抛出异常（C++11及以后std::string的移动构造是noexcept的）。如果能保证调用者不会传空串，这个函数完全可以安全标记为noexcept。
  要是传入空串，s[s.size()-1]属于越界访问的未定义行为，程序可能直接崩溃，但这不是标准意义上的异常抛出，noexcept不会处理这种情况。

标记noexcept后函数抛异常会怎样？ #

会直接调用std::terminate()终止程序，不会进行栈展开。
按照C++标准，被标记为noexcept（或noexcept(true)）的函数，一旦在执行过程中抛出异常，系统会立刻终止程序，不会尝试捕获或处理异常。

给自定义类加法运算符的参考建议 #

如果你要给自定义类的加法运算符标记noexcept，需要确保：

• 运算符函数体内部的所有操作（对象构造、运算逻辑、返回等）都不会抛出异常；
• 若运算符涉及参数拷贝，要明确拷贝的异常发生在函数调用前，不属于运算符本身的执行逻辑，只要运算符自身逻辑不抛异常，就可以标记。

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