clang(版本14)对这段代码的“易出错-使用后-移动”错误是否正确？
clang(版本14)对这段代码的“易出错-使用后-移动”错误是否正确？
提问于 2022-09-15 10:28:20
struct test {
test& foo(std::vector<int> const& v) {
assert(v.size() == 1); return *this;
}
void bar(std::vector<int> v) {}
};
void do_test() {
std::vector<int> v = { 42 };
return test{}.foo(v).bar(std::move(v)); // <-- here
}clang在“这里”字符串上给出一个错误bugprone-use-after-move。
为什么它是在移动后使用？
Stack Overflow用户
发布于 2022-09-15 11:02:25
在……里面
foo(v).bar(std::move(v))没有任何保证(请参阅注释，预C++17)，即foo(v)中的std::move(v)将在bar(std::move(v))中的std::move(v)之前进行评估。
整洁的文档提供了一个这方面的例子。
取消顺序的移动、使用和重新初始化 在许多情况下，C++不保证计算语句的子表达式的顺序。这意味着，在如下代码中，不能保证在移动之前还是之后使用： 空f(int i，std：：向量v)；std：：向量v={ 1，2，3 }；f(v1，std::move(v))； 在这种情况下，检查会注意到使用和移动是没有顺序的。 当在与移动或使用相同的语句中重新初始化时，检查还将考虑排序规则。只有保证在移动后和使用之前重新初始化变量时，才会考虑重新初始化。
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接：
https://stackoverflow.com/questions/73729536
复制相关文章
相似问题
腾讯云开发者
