假设我们有一个嵌入了另一个参数的类,它必须同时支持复制和移动。 让我们假设 - 在某些情况下 - 需要以某种方式获得内在价值。
典型的方法可以是这个:
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
应该是首选的?
答案 0 :(得分:6)
在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(); }