返回值copy elision与noexcept：函数模板noexcept有效性及异常位置问询

好问题！咱们分两个部分来拆解你的疑问：

答案是否定的，返回值拷贝消除（copy elision）并不会让这个函数的noexcept声明“自动生效”。

首先得明确两个核心点：

• noexcept是函数的异常承诺：它告诉编译器“这个函数不会抛出任何未被捕获的异常”。但这个承诺能不能兑现，完全取决于函数内部的操作，和返回值优化没有直接关联。
• 返回值拷贝消除只是消除了临时对象到返回值的拷贝/移动操作，但T{}的默认构造过程，本质上还是属于myfunc函数执行逻辑的一部分——哪怕优化后对象直接在调用方栈帧上构造，构造的动作依然是myfunc的return语句触发的。

换句话说，如果T的默认构造函数本身不是noexcept的（比如构造时可能抛出异常），那myfunc的noexcept声明就是一个“虚假承诺”。当构造真的抛出异常时，因为函数声明了noexcept，程序会直接调用std::terminate终止，而不是让异常传播到调用方。

举个直观的例子：

#include <stdexcept>

struct BadT {
    BadT() { throw std::runtime_error("构造失败！"); }
};

int main() {
    // 调用这个函数会直接触发std::terminate，因为myfunc承诺了noexcept，但内部构造抛出了异常
    auto val = myfunc<BadT>();
    return 0;
}

异常是发生在函数内部的。

哪怕返回值拷贝消除让T的对象直接在调用方的栈空间里构造，构造操作本身是myfunc的return语句的一部分，属于myfunc的执行阶段。所以这个异常是在myfunc函数体内抛出的——而因为函数声明了noexcept，这个异常无法被调用方捕获，会直接触发终止逻辑。

如果myfunc没有声明noexcept，那这个异常会正常传播到调用方，允许调用方用try-catch捕获。

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