swap ne fonctionne pas avec la fonction comme paramètre

Question

#include <bits/stdc++.h> 

using namespace std; 

vector<int> func() 
{ 
    vector<int> a(3,100); 
    return a; 
} 

int main() 
{ 
    vector<int> b(2,300); 
    //b.swap(func()); /* why is this not working? */ 
    func().swap(b); /* and why is this working? */ 
    return 0; 
} 

Dans le code ci-dessus, b.swap(func()) ne compile pas. Il donne une erreur:

no matching function for call to ‘std::vector<int, std::allocator<int> >::swap(std::vector<int, std::allocator<int> >)’
/usr/include/c++/4.4/bits/stl_vector.h:929: note: candidates are: void std::vector<_Tp, _Alloc>::swap(std::vector<_Tp, _Alloc>&) [with _Tp = int, _Alloc = std::allocator<int>]

Mais, lorsqu'il est écrit comme func().swap(b), il compile.

Quelle est exactement la différence entre eux?

Answer 1

func() renvoie un objet temporaire (un rvalue).

std::vector::swap() prend une référence non-const vector& en entrée:

void swap( vector& other ); 

Un objet temporaire ne peut pas être lié à une référence non-const (il peut à une référence const). C'est pourquoi b.swap(func()); ne compile pas.

Les méthodes peuvent être appelées sur un objet temporaire avant qu'il ne soit hors de portée, et une variable nommée (une valeur lvalue) peut être liée à une référence non-const. C'est pourquoi func().swap(b) compile.