c++ - 完美转发和临时对象的范围

Question

为了实现* 运算符的完美转发，我构建了以下示例。

#include <string>
#include <iostream>

class A {
public:
    std::string name;
    A(const A& _other)  : name(_other.name) {
        std::cout << "Copy-Construct with name: " << name << std::endl;
    }
    A(A&& _other)       : name(std::move(_other.name)) {
        std::cout << "Move-Construct with name: " << name << std::endl;
    }
    A(std::string _name): name(_name) { }
};

A operator*(const A& _lhs, const A& _rhs) {
    std::cout << "Start Operator Copy with: " << _lhs.name << " " << _rhs.name << std::endl;
    A bla(_lhs.name+" "+_rhs.name);
    return bla;
}

A&& operator*(A&& _lhs, const A& _rhs) {
    std::cout << "Start Operator Move with: " << _lhs.name << " " << _rhs.name << std::endl;
    _lhs.name += " "+_rhs.name;
    return std::move(_lhs);
}

int main() {
    A a("a");
    A b("b");
    A c("c");
    A d("d");

    A x = a*b*A("t1")*c*A("t2")*A("t3")*d; 

    std::cout << "Final result is: " << x.name << std::endl;
}

结果如我所愿，特别是只调用了一个 move 构造函数，没有调用复制构造函数。

Start Operator Copy with: a b
Start Operator Move with: a b t1
Start Operator Move with: a b t1 c
Start Operator Move with: a b t1 c t2
Start Operator Move with: a b t1 c t2 t3
Start Operator Move with: a b t1 c t2 t3 d
Move-Construct with name: a b t1 c t2 t3 d
Final result is: a b t1 c t2 t3 d

现在我的问题是:这是合法的 C++11 代码吗？特别是我是否可以依赖第一个临时对象(由 a 和 b 构造)在分号处而不是在此之前离开其范围这一事实？并且将作为 move 引用获得的对象返回作为 move 引用的构造是否完全合法？

Answer 1

A&& operator*(const A& _lhs, const A& _rhs) {
    std::cout << "Start Operator Copy with: " << _lhs.name << " " << _rhs.name << std::endl;
    A* bla = new A(_lhs.name+" "+_rhs.name);
    return std::move(*bla);
}

这创建了一个动态分配的对象，因此调用者负责删除它。您的示例无法做到这一点，因此会泄漏内存。这是一个糟糕的功能。它应该按值返回，这样会更快，因为您没有在堆上分配对象。

A&& operator*(A&& _lhs, const A& _rhs) {
    std::cout << "Start Operator Move with: " << _lhs.name << " " << _rhs.name << std::endl;
    _lhs.name += " "+_rhs.name;
    return std::move(_lhs);
}

这不会导致内存泄漏，所以不像第一个那样明显是完全错误的，但它仍然是错误的。如果您使用临时对象调用它，它会返回对同一临时对象的引用，但这可能会导致悬空引用:

A&& c = A("a") * A("b");

引用 c 绑定(bind)到由 A("a") 创建的临时对象，但它在语句末尾超出了范围。任何使用 c 的尝试都有未定义的行为。

两个重载都应该按值返回。

对于左侧是左值而右侧是右值的情况，您可能还需要重载，因为这样您就可以重复使用右侧的对象。如果你补充说，你还需要一个重载来处理两个操作数都是右值的情况。基本上，看看 std::string 如何定义 operator+