即使 move-assignment 是 noexcept，std::move_if_noexcept 也会调用 copy-assignment；为什么？

Question

我试图尽可能接近强异常保证，但是在玩std::move_if_noexcept 时，我遇到了一些看似奇怪的行为。

尽管下面的类中的移动赋值操作符被标记为noexcept，复制赋值操作符在调用时被调用，返回值为有问题的函数。

struct A {
  A ()         { /* ... */ }
  A (A const&) { /* ... */ }

  A& operator= (A const&) noexcept { log ("copy-assign"); return *this; }
  A& operator= (A&&)      noexcept { log ("move-assign"); return *this; }

  static void log (char const * msg) {
    std::cerr << msg << "\n";
  }
};

int main () {
  A x, y;

  x = std::move_if_noexcept (y); // prints "copy-assign"
}

---

问题

• 为什么之前的sn-p中没有调用move-assignment operator？

Answer 1

简介

move_if_noexcept 的名称当然暗示该函数将产生一个 rvalue-reference，只要此操作是 noexcept，考虑到这一点，我们很快就会意识到两件事：

1. 从T& 到T&& 或T const& 的简单转换永远不会抛出异常，那么这样的函数的目的是什么？
2. move_if_noexcept 如何神奇地推断出使用返回值的上下文？

实现的答案(2) 既可怕又自然； move_if_noexcept 根本无法推断出这样的上下文（因为它不是读心器），这反过来意味着该功能必须按照一些静态规则来运行。

---

TL;DR

move_if_noexcept 将根据参数类型的move-构造函数，它仅用于初始化对象时（即不分配给它们时）。

template<class T>
void intended_usage () {
  T first;
  T second (std::move_if_noexcept (first));
}

更好的名字应该是move_if_move_ctor_is_noexcept_or_the_only_option；虽然打字有点乏味，但至少可以表达预期的用途。

---

move_if_noexcept的诞生

阅读产生std::move_if_noexcept的提案（n3050），我们发现以下段落（强调我的）：

我们建议不要在这些情况下使用std::move(x)，从而授予编译器使用任何可用移动构造函数的权限，这些特定操作的维护者应该使用std::move_if_noexcept(x)，它授予权限移动，除非它可以抛出并且类型是可复制的。

除非x 是仅移动类型，或者已知具有不抛出移动构造函数，否则操作将退回到复制x，就好像x 从未完全获得了移动构造函数。

---

那么，move_if_noexcept 是做什么的？

std::move_if_noexcept 将有条件地将传递的 lvalue-reference 转换为 rvalue-reference，除非；

• 潜在的 move-constructor 可能会抛出，并且；
• 类型是CopyConstructible。

// Standard Draft n4140 : [utility]p2

template<class T>
constexpr conditional_t<
  !is_nothrow_move_constructible::value && is_copy_constructible<T>::value,
  const T&, T&&
> move_if_noexcept (T& x) noexcept;

这基本上意味着它只会产生一个 rvalue-reference 如果它可以证明它是唯一可行的替代方案，或者如果它保证不会抛出异常（通过 noexcept 表示)。

---

判决

std::move 是对右值引用的无条件强制转换，而std::move_if_noexcept 取决于对象可以移动构造的方式 - 因此它应该只用于我们实际构造对象的地方，而不是我们分配对象的地方。

您的 sn-p 中的 copy-assignment 运算符 被调用，因为 move_if_noexcept 找不到标记为 noexcept 的 move-constructor，但因为它有copy-constructor 该函数将产生一个类型，A const&，它适合这种情况。

请注意 copy-constructor 有资格作为 MoveConstructible 的类型，这意味着我们可以让 move_if_noexcept 返回一个 rvalue-参考通过以下调整你的sn-p：

struct A {
  A ()                  { /* ... */ }
  A (A const&) noexcept { /* ... */ }
  
  ...
};

---

示例

struct A {
  A ();
  A (A const&);
};

A a1;
A a2 (std::move_if_noexcept (a1)); // `A const&` => copy-constructor

struct B {
  B ();
  B (B const&);
  B (B&&) noexcept;
};

B b1;
B b2 (std::move_if_noexcept (b1)); // `B&&` => move-constructor
                                   //          ^ it's `noexcept`

struct C {
  C ();
  C (C&&);
};

C c1;
C c2 (std::move_if_noexcept (c1)); // `C&&` => move-constructor
                                   //          ^ the only viable alternative

struct D {
  C ();
  C (C const&) noexcept;
};

C c1;
C c2 (std::move_if_noexcept (c1)); // C&& => copy-constructor
                                   //        ^ can be invoked with `T&&`

---

延伸阅读：

• cppreference.com - MoveConstructible
• cppreference.com - CopyConstructible
• cppreference.com - std::move_if_noexcept