"used after it was moved [bugprone-use-after-move]"警告在这里是一个真正的问题吗？

我正在调整Herb Sutter在2016年cppcon中谈到的deffered ptr的想法，以便能够以更安全的方式管理由id表示的外部资源。

因此，我创建了一个不可复制且只能移动的类，该类包含资源应该表示的id。与unique_ptr一样，如果对象移动到另一个对象，则id应变为0。

根据我的理解，即使在被调用的函数没有任何先决条件的情况下，即使在移动了is之后，你仍然应该被允许使用该对象，所以根据我的了解，这应该是有效的：

int main() {
resource src = make_resource(10);
resource dst;
std::cout << "src " << src.get() << std::endl;
std::cout << "dst " << dst.get() << std::endl;
dst = std::move(src);
std::cout << "src " << src.get() << std::endl; // (*)
std::cout << "dst " << dst.get() << std::endl;
src = make_resource(40);
std::cout << "src " << src.get() << std::endl;
std::cout << "dst " << dst.get() << std::endl;
return 0;
}

但clang-tidy给了我这个警告：

警告："src"在移动后使用[移动后使用容易出错]

对于dst = std::move(src)之后的src.get()(上面标记)。

所以我的问题是：

1. 是否允许我在std::move(src)之后调用src.get()
2. 我可以假设src.get()在std::move之后返回0
3. 如果1.和2.有效，那么有没有办法更改代码，让部落整洁知道这是有效的。如果没有，有没有办法改变代码的有效性

下面是类的实现：

struct resource {
resource() = default;
// no two objects are allowed to have the same id (prevent double free, only 0 is allowed multiple times as it represents nullptr)
resource(const resource&) = delete;
resource& operator=(const resource& other) = delete;
// set the id of the object we move from back to 0 (prevent double free)
resource(resource&& other) noexcept : id(std::exchange(other.id, 0)) {}
resource& operator=(resource&& other) noexcept {
id = std::exchange(other.id, 0);
return *this;
}
// will free the external resource if id not 0
~resource() = default;
// returns the id representing the external resource
int get() const noexcept { return id; }
protected:
// only allow the make function to call the constructor with an id
friend resource make_resource(int id);
explicit resource(int id) : id(id) {}
protected:
int id = 0; // 0 = no resource referenced
};
// in the final version the id should be retrieved by from the external ip
resource make_resource(int id) { return std::move(resource(id)); }