c++ - 是否保证 `[](std::list& list){return std::move(list)}(list)`保留 `list`为空？

Question

更具体地说:

struct A{
    std::list<int> list;
    std::list<int> foo(){
        return std::move(list);
    }
}

A a;
// insert some elements into a.list
a.foo(); // is this guaranteed to clear a.list?

是否保证上面的最后一行将 a.list留空？

Answer 1

不可以。从大多数标准库类中迁移出来会使它们处于“有效但未指定的状态” [1]。这意味着您必须明确清除a.list，以确保移动后它为空。

[1]此规则有异常(exception):最值得注意的是，移动后std::unique_ptr必须为null。