std::expected<T,E>:: operator=

为现有的 expected 对象赋予新值。

参数

效果

主模板赋值运算符

void partial specialization assignment operators

辅助函数模板

仅用于阐述的函数模板 reinit-expected 按如下方式“定义”：

template<class NewType, class OldType, class... Args>
constexpr void reinit-expected(NewType& new_val, OldType& old_val, Args&&... args)
{
    // 情况1：当“new_val”的构造不会抛出异常时：
    // 在销毁“old_val”后可以直接构造“new_val”
    if constexpr (std::is_nothrow_constructible_v<NewType, Args...>)
    {
        std::destroy_at(std::addressof(old_val));
        std::construct_at(std::addressof(new_val), std::forward<Args>(args)...);
    }
    // 情况2：当“new_val”的移动构造不会抛出异常时：
    // 先构造一个临时的NewType对象
    //（如果此构造过程抛出异常，“old_val”将保持原状）
    else if constexpr (std::is_nothrow_move_constructible_v<NewType>)
    {
        NewType temp(std::forward<Args>(args)...); // 可能抛出异常
        std::destroy_at(std::addressof(old_val));
        std::construct_at(std::addressof(new_val), std::move(temp));
    }
    // 情况3：当“new_val”的构造可能抛出异常时：
    // 需要备份“old_val”以便在发生异常时进行恢复
    else
    {
        OldType temp(std::move(old_val)); // 可能抛出异常
        std::destroy_at(std::addressof(old_val));
        try
        {
            std::construct_at(std::addressof(new_val),
                              std::forward<Args>(args)...); // 可能抛出异常
        }
        catch (...)
        {
            std::construct_at(std::addressof(old_val), std::move(temp));
            throw;
        }
    }
}

该函数模板在赋值操作将使 * this 持有备选值（即从期望值转为非期望值，或从非期望值转为期望值）时被调用。

在此情况下，旧值 oldval 需要在新值 newval 构造前被销毁。然而， newval 的构造过程可能抛出异常。为了提供 强异常安全保证 ，需要在重新抛出异常前恢复旧值，以确保 * this 在异常处理期间保持有效状态。

返回值

约束条件与补充信息

主模板赋值运算符

void 部分特化赋值运算符

异常

示例

缺陷报告

下列行为变更缺陷报告被追溯应用于先前发布的C++标准。

参见