C++模板类的Value()方法是否会抛异常？能否标记为noexcept？

先看原代码：

template <typename T>
struct S
{
    auto Value() const
    {
        return value;
    }

    T value;
};

1. Value()方法是否可能抛出异常？ #

有可能，完全取决于模板参数T的类型。
return value;这一步本质是创建一个T类型的临时对象作为返回值，这个过程会调用T的拷贝构造函数（如果value是左值且未触发移动优化）或者移动构造函数（C++11及以后，满足移动条件时）。如果T的拷贝/移动构造函数本身会抛出异常，那这个return操作就会抛出异常。
比如自定义一个拷贝构造会抛异常的类型：

struct ThrowingType {
    ThrowingType() = default;
    ThrowingType(const ThrowingType&) {
        throw std::runtime_error("Copy failed");
    }
};

当S<ThrowingType>的Value()被调用时，return操作就会抛出异常。

2. 将Value()标记为noexcept是否安全？ #

不安全，除非给模板加上约束，确保T的拷贝/移动构造是noexcept的。
如果强行给Value()加上noexcept，而T的拷贝/移动构造可能抛出异常，那么当异常真的发生时，程序会直接调用std::terminate()终止运行，导致程序崩溃，不符合预期的错误处理逻辑。

核心疑问解答：return value;是否可能抛出异常？ #

这个操作本身不会凭空抛出异常，异常风险完全来自T的拷贝/移动构造过程。只有当T的拷贝或移动构造函数被定义为可能抛出异常时，这个return操作才会触发异常；如果T的拷贝/移动构造是noexcept的，那这个return步骤就不会抛出异常。

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