vector <T> :: swap和临时对象

Question

代码如下:

#include <vector>

int main()
{
    vector<int> v1(5,1);
    v1.swap(vector<int> ());  //try to swap v1 with a temporary vector object
}

上面的代码无法编译,错误:

error: no matching function for call to ‘std::vector<int, std::allocator<int> >::swap(std::vector<int, std::allocator<int> >)’

但是,如果我将代码更改为类似的东西,它可以编译:

int main()
{
    vector<int> v1(5,1);
    vector<int> ().swap(v1);
}

为什么？

Answer 1

因为vector<int>()是一个rvalue(一个临时的,粗略地说),并且你不能将非const引用绑定到rvalue.因此,在这种情况下,您无法将其传递给采用非const引用的函数.

但是,在temporaries上调用成员函数是完全可以的,这就是你的第二个例子编译的原因.

Answer 2

该调用v1.swap(std::vector<int>())尝试将临时(即std::vector<int>())绑定到非const引用.这是非法的并且失败了.另一方面,std::vector<int>().swap(v1)在[non-const]临时允许的情况下使用非const函数调用.

在C++ 2011中,我会认为声明会被更改为std::vector<T>::swap(T&&),因此可以使用swap()temporaries(但显然,仍然没有const对象).正如GMan所指出的那样并非如此.