G＆＃x2B;＆＃x2B; ：检测到std后使用::移动

Question

由于使用了std :: vector，我刚刚在代码中发现了一个错误。该代码类似于：

std::vector<SomeObject> v1;
//fill v1;
this->v2=std::move(v1);
for(unsigned int i=0; i<v1.size(); i++)
{
    //the code in the for loop was not executed
}

行为不足为奇（V1的状态是未定义的，只要有效；因此空置向量似乎是合乎逻辑的选择）。

我的问题是：在移动变量后使用变量时，是否有可能让我警告我？如果是这样，我应该添加哪个标志？

NB：我认为无法确保检测到这种警告（我认为这等同于停止问题，这是无法解决的）。但是，如果我在示例（例如，可以证明又一次使用后使用）警告，或者如果G ++无法证明它是安全的，那将非常有用。

非常感谢

Answer 1

我认为GCC对此没有诊断。

但是，Clang静态分析仪和Clang-Tidy做到了。如果您在此类代码上运行它们（两者），并启用了所有诊断，则获得（摘录）：

<source>:7:34: warning: 'v1' used after it was moved [bugprone-use-after-move,hicpp-invalid-access-moved]
    for (unsigned int i = 0; i < v1.size(); i++) {
                                 ^
<source>:6:15: note: move occurred here
    auto v2 = std::move(v1);

/*...*/

<source>:7:34: warning: Method called on moved-from object 'v1' of type 'std::vector' [clang-analyzer-cplusplus.Move]
    for (unsigned int i = 0; i < v1.size(); i++) {
                                 ^~~~~~~~~
<source>:6:15: note: Object 'v1' of type 'std::vector' is left in a valid but unspecified state after move
    auto v2 = std::move(v1);
              ^~~~~~~~~~~~~
<source>:7:34: note: Method called on moved-from object 'v1' of type 'std::vector'
    for (unsigned int i = 0; i < v1.size(); i++) {
                                 ^~~~~~~~~

请参阅

其他衬里和静态分析仪可能已经实施了类似的诊断。 GCC现在还具有静态分析仪（使用-Fanalyzer启用），但似乎还没有实现的诊断。

---

但是，此类诊断可能很容易是错误的阳性（这可能是编译器不作为直接编译器警告实施它们的原因）。

例如，std :: simolor_ptr从移动时具有非常清晰的行为。最终的状态是一个空的std :: simolor_ptr。如果是稍后检查是否为空，则没有问题。

同样，搬迁后可以重复使用所有行为良好类型的对象。移动后立即可以简单地指定。但是例如，分配新状态应该很好。

Answer 2

我认为这不可能。移动语义并未指定已移动的对象的状态。这取决于实施。

例如，对向量分配的移动分配非常合理的实现是在两个向量之间交换数据。因此，在您的代码中，v1.size（）将是移动分配之前的v2的大小。谁说班级没有指定语义？使用后使用是完全合理的。

显然，在STL中，移动构造函数使移动的容器空移动。但这仍然具有完全有效的v1.size（）的0。

每个移动的对象都有一些有效使用的方法。至少应始终允许分配。对于STL容器，我希望大小（）在所有情况下也有效，但也许不会返回您的期望。但是，编译器应该如何知道哪些方法可以保存在移动对象上？

为了使编译器发出感官警告，我认为编译器（或C ++）需要引入一些新属性，并且STL需要注释它的移动构造函数 /移动分配。这样，编译器可以知道移动构造函数 /分配是否遵循有效但未指定状态的某个语义< / em>。