“移动后使用[移动后易出错使用]”是否警告此处存在真正的问题?

我正在修改CPPCon2016中讨论的失效的PTR Herb Sutter的想法,以便能够以更安全的方式管理以ID表示的外部资源。

因此,我创建了一个不可复制且只能移动的类,其中包含 id 资源应该表示。像一个 unique_ptr 这个 身份证件 应该成为 0 如果对象移动到另一个对象。

据我所知,即使在被调用函数没有任何前提条件的情况下,也应该允许您使用对象,因此据我所知,这应该是有效的:

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”[移动后易出错使用]

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

所以我的问题是:

1. 我可以打电话吗 SRC 后 std::move(src)
2. 我可以假设一下 SRC 收益率 零 后 std::move .
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)); }