C++ std::move 指针

Question

我有一个 C++ 框架，我提供给我的用户，他们应该使用我用他们自己的实现编写的模板化包装器作为模板化类型。 包装器充当 RAII 类，它包含一个指向用户类实现的指针。 为了使用户的代码干净整洁（在我看来），我提供了一个转换运算符，它将我的包装器转换为它所持有的指针。这样（连同其他一些重载）用户可以像使用指针一样使用我的包装器（很像 shared_ptr）。

我遇到了一个极端情况，用户调用一个函数，该函数接受一个指向他的实现类的指针，在我的包装器上使用 std::move。这是它的外观示例：

#include <iostream>
using namespace std;

struct my_interface {
    virtual int bar() = 0;
};

template <typename T>
struct my_base : public my_interface {
    int bar() { return 4; }
};

struct my_impl : public my_base<int> {};

template <typename T>
struct my_wrapper {
    my_wrapper(T* t) {
        m_ptr = t;
    }

    operator T*() {
        return m_ptr;
    }

private:
    T* m_ptr;
};

void foo(my_interface* a) {
    std::cout << a->bar() << std::endl;
}


int main()
{
    my_impl* impl = new my_impl();
    my_wrapper<my_impl> wrapper(impl);
    foo(std::move(wrapper));
    //foo(wrapper);

    return 0;
}

[这当然只是案例的一个例子，包装器中还有更多方法，但我很确定在这种情况下不会在这里发挥作用]

用户和我一样，期望如果 std::move 在包装器上被调用，那么在调用 foo 之后包装器将是空的（或者至少像被移动一样被修改），但是在实际上，在foo 之前调用的唯一方法是强制转换运算符。

有没有办法使对foo 的调用可以区分对foo 的两次调用，即在使用和不使用std::move 的情况下调用？

编辑 感谢 Mooing Duck 的评论，我找到了一种方法，my_wrapper 知道需要哪个调用，但我真的不确定这是最好的方法，并且也会感谢 cmets：

使用以下两个来代替之前的强制转换运算符：

operator T*() & {
    return m_ptr;
}

operator T*() &&{
    //Do something
    return m_ptr;
}

现在operator T*() && 在使用 std::move 调用时调用，operator T*() & 在不使用它调用时调用。

Answer 1

和我一样，用户期望如果 std::move 在包装器上被调用，那么在调用 foo 之后包装器将为空（或者至少像被移动一样被修改）

你的期望是错误的。只有在发生移动时才会修改它，即，如果某种资源的所有权被转移。但是调用foo 并没有做任何类似的事情，因为它只是访问包装器内保存的指针。调用 std::move 不会做任何事情，除了将其参数转换为一个右值，这不会改变它。某些通过引用接受右值的函数可能会修改它，所以std::move 启用了它，但它本身并没有这样做。如果您不将右值传递给此类函数，则不会进行任何修改。

如果你真的想让它为空，你可以添加一个重载来做到这一点：

template<typename T>
void foo(my_wrapper<T>&& w) {
    foo(static_cast<my_interface*>(w));
    w = my_wrapper<T>{};  // leave it empty
}

但是……为什么？为什么要这样做？

如果你这样做，包装器不会留空：

my_wrapper<my_impl> w(new my_impl);
my_wrapper<my_impl> w2 = std::move(w);

并且不留空：

my_wrapper<my_impl> w(new my_impl);
my_wrapper<my_impl> w2;
w2 = std::move(w);

如果复制一个右值包装器不会让它为空，为什么要简单地访问它的成员让它为空呢？这没有任何意义。

即使你的包装器有一个移动构造函数和移动赋值运算符，所以上面的例子 do 将w 留空，但这并不意味着访问右值对象的成员应该修改物体。为什么将operator T* 转换为左值还是右值会产生逻辑上的差异？

（另外，你真的确定从包装的指针类型到 和 的隐式转换是一个好主意吗？提示：这不是一个好主意。通常更喜欢让你的转换显式，尤其是，如果您正在处理指向动态分配对象的指针。）