c++ - 将临时对象作为 LValues 传递

Question

我想使用以下我认为不标准的成语。我有利用返回值优化返回 vector 的函数:

vector<T> some_func()
{
    ...
    return vector<T>( /* something */ );
}

那么，我想用

vector<T>& some_reference;
std::swap(some_reference, some_func());

但是 some_func 不返回左值。上面的代码是有道理的，我发现这个成语非常有用。但是，它是非标准的。 VC8 仅在最高警告级别发出警告，但我怀疑其他编译器可能会拒绝它。

我的问题是:是否有某种方法可以实现我想做的完全相同的事情(即构造一个 vector ，分配给另一个 vector ，然后销毁旧的 vector )并且兼容(并且不使用赋值运算符，见下文)？

对于我写的类，我通常将赋值实现为

class T
{
    T(T const&);
    void swap(T&);
    T& operator=(T x) { this->swap(x); return *this; }
};

它利用复制省略，解决了我的问题。然而，对于标准类型，我真的很想使用 swap，因为我不想要一个无用的临时拷贝。

而且由于我必须使用 VC8 并生成标准 C++，所以我不想听到有关 C++0x 及其右值引用的消息。

编辑:最后，我想出了

typedef <typename T>
void assign(T &x, T y)
{
    std::swap(x, y);
}

当我使用左值时，因为如果 y 是临时的，编译器可以自由地优化对复制构造函数的调用，并且当我有左值时使用 std::swap。我使用的所有类都是“必需的”来实现 std::swap 的非愚蠢版本。

Answer 1

因为 std::vector 是一个类类型并且可以在右值上调用成员函数:

some_func().swap(some_reference);