如何理解移动语义"move not usable"的情形?

asker160

Scott Meyers的Effective Modern C++第29条款里面谈到:

There are thus several scenarios in which C++11's move semantics do you no good:
第三条的原文是:
Move not usable: The context in which the moving would take place requires a move operation that emits no exceptions, but that operation isn't declared noexcept.

我没有看明白这个条款是什么含义，我理解成: 如果move构造函数里面有抛出异常，那么这个move就不可用----意思move里面throw了异常就是不能编译通过?
可是我在下面的代码也能编译通过啊:

1. 
   
2. struct S{
   
3.     S(){}
   
4.     S(S&&)noexcept{throw 1;}
   
5. };
   
6. int main() {
   
7.     try{
   
8.     S obj;
   
9.     S obj2(move(obj));
   
10.     }catch(...){}
    
11.     return 0;
    
12. }
    

复制代码

如果noexcept是个君子协定，让编译器不要生成异常处理函数，我可以理解上面的代码，catch不到exception，所以程序异常中止。
但是Scott的这个条款似乎是在说，这样的代码就应该能编译通过?

到底怎么理解呢?

bruceteen

看不懂洋文，我猜这句话的意思是：某个地方因为种种原因要求不能有异常，但倒霉的是这个move没有声明为noexcept，因此这个地方就不能用这个move了。
更简单的说就是：你不能将一个可能抛出异常的move，用在一个要求不能抛出异常的地方。
这句话看起来是一个人人皆知的废话，但结合上下文，可知作者就是在列举几种不应该用move的场合。

lxyscls

throw是运行期的，跟编译有什么关系勒？编译还能管得了身后事？

windoze

不要管有没有throw，编译器不看这个，它只看函数声明里有没有noexcept。

1. 
   
2. struct S {
   
3.     S()=default;
   
4.     S(const S&)=default;
   
5.     S(S&&s)noexcept(false){...}
   
6. };
   
7. void f() noexcept(true) {
   
8.     // 下面就是个move not usable context，f要求noexcept(true)，但S(S&&)是noexcept(false)
   
9.     S s(move(some_other_S_instance));
   
10. }
    

复制代码

上面这段代码编译器可以把它编译成用copy construct而不是move construct，因为move constructor不满足noexcept(true)的需求，但这并不是强制的。

bruceteen

回复 4# windoze
请教一下，“但这并不是强制的”是什么意思？
我用gcc4.8.1尝试了一下，调用的是 move构造函数，这是否就是你说的“但这并不是强制的”的诠释？

windoze

回复 5# bruceteen

标准没规定在这种情况下编译器一定不能用move constructor，也就是说用copy或move constructor都是可以的。
但标准要求在noexcept(true) block里抛出的异常不能被catch，要直接terminate，但这个要求现在的编译器不一定遵从，至少之前某个版本的clang没有。

bruceteen

回复 6# windoze

谢谢！