c – std :: move_if_noexcept的基本原理仍在移动投掷仅移动类型？

>返回一个右值 – 促进移动 – 如果移动构造@L_607_2@是noexcept或者没有复制构造@L_607_2@(仅移动类型)
>返回左值 – 强制复制 – 否则

我发现这个相当令人惊讶,因为只有移动类型的投掷移动器仍然会有使用move_if_noexcept的代码调用此移动器.

有没有给出一个彻底的理由呢？ (可能直接或在N2983之间？)

不编码会不会更好,而不是仍然不得不面对不可恢复的移动场景？ N2983中给出的矢量示例很好：

void reserve(size_type n)
{
  ... ...
                 new ((void*)(new_begin + i)) value_type( std::move_if_noexcept( (*this)[i]) ) );
        }
        catch(...)
        {
            while (i > 0)                 // clean up new elements
               (new_begin + --i)->~value_type();

            this->deallocate( new_begin );    // release storage
            throw;
        }
*!*     // -------- irreversible mutation starts here -----------
        this->deallocate( this->begin_ );
        this->begin_ = new_begin;
        ... ...

标记线中给出的注释实际上是错误的 – 对于可以投掷移动构造的仅移动类型,当我们将旧元素移动到新位置时,实际上已经开始 – 可能失败 – 不可逆转的突变.

简要地看一下,我会说投掷移动的类型不能放入矢量中,否则它可能不应该？