函数返回值的 auto vs auto&&

Question

您能否告诉我，使用 auto&& 作为函数返回值总是比使用 auto 更好的选择是否正确。例如，在

auto val = someObj.getVal();

如果 getVal() 返回一个引用，则 val 将是一个副本。但是，使用通用引用 auto&& 没有这样的缺点吗？我需要知道的唯一信息是 getVal() 是否为 const。

Answer 1

但是，使用通用引用 auto&& 没有这样的缺点吗？

不，它不会复制返回值。

问题

但是，有时复制是必要的，并且将auto&& 用于prvalue 和引用可能会创建悬空引用。考虑这种情况：

struct A {
    // A: Another programmer changed it from:
    // int getVal() { return mInteger; }

    // B
    int &getVal() { return mInteger; }

private:
    int mInteger;
};

int main() {
    A *a = new A;

    auto   integerCopy = a->getVal();

    // int& on case B, int&& on case A.
    auto&& integerRvalueRef  = a->getVal();

    delete a;

    // Ok, no matter what getVal returns.
    std::cout << integerCopy;
    // Dangling Reference dereference if getVal returns a reference. 
    std::cout << integerRvalueRef;
}

如您所见，使用auto，更改此返回值没有问题。但是，对于 auto&&，它创建了一个悬空引用。

结论

像常规参考一样使用auto&&：谨慎对待。将它用于prvalue 和参考值返回值可能会导致意外。