我正在审查一些这样的代码，其中A是可移动类型://ReturnstrueexactlywhenownershipofaistakenboolMaybeConsume(A&&a){if(somecondition){Consume(std::move(a));//???returntrue;}returnfalse;}//...elsewhere...Aa;if(!MaybeConsume(std::move(a))){a.DoSomething();//!!!}我们的静态分析工具提示a在被移动后被使用(在!!!处)。IIUCstd::move只是一个static_cast，对象a直到调

我正在审查一些这样的代码，其中A是可移动类型://ReturnstrueexactlywhenownershipofaistakenboolMaybeConsume(A&&a){if(somecondition){Consume(std::move(a));//???returntrue;}returnfalse;}//...elsewhere...Aa;if(!MaybeConsume(std::move(a))){a.DoSomething();//!!!}我们的静态分析工具提示a在被移动后被使用(在!!!处)。IIUCstd::move只是一个static_cast，对象a直到调