std::move_if_noexcept

来自cppreference.com
 
C++
 
工具库
通用工具
关系运算符 (C++20 弃用)
 
在标头 <utility> 定义 
template< class T >
/* 见下文 */ move_if_noexcept( T& x ) noexcept;
(C++11 起)
(C++14 起为 constexpr)

若实参的移动构造函数不抛异常，则 move_if_noexcept 获得到实参的右值引用，否则获得左值引用。它典型地用于组合移动语义和强异常保证。

std::move_if_noexcept 的返回类型为：

  • 如果 std::is_nothrow_move_constructible<T>::value || !std::is_copy_constructible<T>::value 为 true，则为 T&&，
  • 否则为 const T&。

参数

x - 要移动或复制的对象

返回值

为 std::move(x) 或 x，取决于异常保证。

复杂度

常数。

注解

它可为如 std::vector::resize 这些必须分配新存储然后从旧存储移动或复制元素到新存储的函数所用。若在此操作中发生异常，则 std::vector::resize 撤销直至此点它所做的全部操作，这只有在使用 std::move_if_noexcept 确定了使用移动构造还是复制构造时（除非复制构造不可用，该情况下还是会使用移动构造，且可能抛弃强异常保证）才可行。

示例

运行此代码
#include <iostream>
#include <utility>

struct Bad
{
    Bad() {}
    Bad(Bad&&) // 可能抛出
    {
        std::cout << "调用了可能抛出的移动构造函数\n";
    }
    Bad(const Bad&) // 亦可能抛出
    {
        std::cout << "调用了可能抛出的复制构造函数\n";
    }
};

struct Good
{
    Good() {}
    Good(Good&&) noexcept // 将不抛出
    {
        std::cout << "调用了无抛出的移动构造函数\n";
    }
    Good(const Good&) noexcept // 将不抛出
    {
        std::cout << "调用了无抛出的复制构造函数\n";
    }
};

int main()
{
    Good g;
    Bad b;
    [[maybe_unused]] Good g2 = std::move_if_noexcept(g);
    [[maybe_unused]] Bad b2 = std::move_if_noexcept(b);
}

输出： 

调用了无抛出的移动构造函数
调用了可能抛出的复制构造函数

参阅

(C++11)
 转发一个函数实参，并使用模板实参保留它的值类别
(函数模板) [编辑]
(C++11)
 转换实参为亡值
(函数模板) [编辑]