Question

我刚刚想到operator+＆amp; co可以在this上运行rvalues;即，给定一个班级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 );
    }
};

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

这会像我期望的那样表现吗？这是一个合理的优化还是编译器会创建同样快速的代码？

Answer 1

我们假设我们只是换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);
}

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

通过ref-qualifier重载运算符以防止临时运行是否合理？

1 个答案: