Question

假设我们有一个嵌入了另一个参数的类，它必须同时支持复制和移动。让我们假设 - 在某些情况下 - 需要以某种方式获得内在价值。

典型的方法可以是这个：

template<class T>
class wrapper
{
public:
    wrapper() :val() {}
    wrapper(T s) :val(std::move(s)) {}

    wrapper(const wrapper& s) :val(s.val) {}
    wrapper(wrapper&& s) :val(std::move(s.val)) {}
    wrapper& operator=(wrapper s) { val = std::move(s.val); return *this; }

    T value() const { return val; }
private:
    T val;
};

这不是唯一的方法，可能没有必要说明复制和移动，但让它们成为。

重点是：假设T -in ceratin实例 - 本身就是一个复制/可移动类。当然，wrapper::value()会返回T的副本。

现在假设返回的T必须作为参数进入另一个调用，以及包含的包装器是暂时的。

更简单的模拟是

calledfn(wrapper<T>(someT).value());

再次：以这种方式完成是无能为力的，但更复杂的案例需要这个微不足道的工作。

从理论上讲，我们可以承认将val从其临时包装中移开以将其提供给调用者，但是...... 什么签名应该有value()方法，以便在wrapper<T>是临时的时绑定它，但是当它不是临时的时候不受约束，value() const应该是首选的？

Answer 1

在C ++ 11中你可以重载方法，而不是this - 指针是一个右值：

T value() &&; //Will only be called if the object is a mutable rvalue
T value() const &; //Will only be called if the object is an lvalue

请注意，根据标准中的13.1.2 [over.load]，如果任何重载具有引用说明符（左值或右值），则必须得到一个。所以非临时案例的重载必须是const &。我不完全确定它是否会绑定到const r值，因此您可能需要const &&重载来捕获该情况。

我不知道编译器对此功能的支持，所以如果还没有支持，这可能在某种程度上是理论上的。在这种情况下，您可以通过创建move_value方法并使用调度到正确方法的自由函数来解决此问题：

template<class T> class wrapper {
    ...    
    T value() const;
    T move_value();    
};
template<typename T> T value(wrapper<T>&& self) { return std::move(self.move_value(); }
template<typename T> T value(const wrapper<T>& self) { return std::move(self.value(); }

二年级搬家

1 个答案: