6

我突然想到operator+& co 可以对右值进行操作this；即给定一个类C，可以这样做：

class C {
    // ...
    C operator-( const C& rhs ) const & {
        C result = *this;
        result -= rhs;
        return result;
    }
    C&& operator-( const C& rhs ) && {
        *this -= rhs;
        return std::move( *this );
    }
};

这将通过简单地就地修改临时值来防止复制。

这会按我的预期执行吗？这是一个合理的优化还是编译器会创建同样快的代码？

4

1 回答 1

5

假设我们只是包装std::string并做一个简化版本operator+：

struct C { 
    std::string val;

    C&& operator+(const C& rhs) && {
        val += rhs.val;
        return std::move(*this);
    }   

    std::string::iterator begin() { return val.begin(); }
    std::string::iterator end() { return val.end(); }
};

有了这个，这很好用：

for (char c : C{"hello"}) { .. }

range-for 表达式将延长临时的生命周期，所以我们没问题。但是，考虑一下：

for (char c : C{"hello"} + C{"goodbye"}) { .. }

我们有效地拥有：

auto&& __range = C{"hello"}.operator+(C{"goodbye"});

在这里，我们没有将临时对象绑定到引用。我们正在绑定一个引用。该对象没有延长其生命周期，因为......它不是一个对象。所以我们有一个悬空引用和未定义的行为。这对于希望它起作用的用户来说是非常令人惊讶的：

for (char c : std::string{"hello"} + std::string{"goodbye"}) { .. }

您必须返回一个值：

C operator+(const C& rhs) && {
    val += rhs.val;
    return std::move(*this);
}

这解决了这个问题（因为现在我们有临时扩展），如果移动你的对象比复制它们便宜，这是一个胜利。

于 2015-09-03T18:59:35.753 回答