Opérateur d'adresse double en C++ ? (&&)

Question

Je lis le code source de la STL et je n'ai aucune idée de ce que && l'opérateur d'adresse est censé faire. Voici un exemple de code tiré de stl_vector.h :

vector&
operator=(vector&& __x) // <-- Note double ampersands here
{
    // NB: DR 675.
    this->clear();
    this->swap(__x); 
    return *this;
}

L'expression "adresse de l'adresse" a-t-elle un sens ? Pourquoi y a-t-il deux opérateurs d'adresse au lieu d'un seul ?

Answer 1

&& est nouveau dans C++11. int&& a signifie que "a" est une référence de valeur r. && n'est normalement utilisé que pour déclarer un paramètre d'une fonction. Et il seulement prend une expression de valeur r. Si vous ne savez pas ce qu'est une valeur r, l'explication simple est qu'elle n'a pas d'adresse mémoire. Par exemple, le chiffre 6 et le caractère 'v' sont tous deux des valeurs r. int a , a est une valeur l, cependant (a+2) est une valeur r. Par exemple :

void foo(int&& a)
{
    //Some magical code...
}

int main()
{
    int b;
    foo(b); //Error. An rValue reference cannot be pointed to a lValue.
    foo(5); //Compiles with no error.
    foo(b+3); //Compiles with no error.

    int&& c = b; //Error. An rValue reference cannot be pointed to a lValue.
    int&& d = 5; //Compiles with no error.
}

J'espère que c'est instructif.

Answer 2

C'est C++11 code. En C++11, le && peut être utilisé pour signifier une "référence à une valeur réelle".

Answer 3

&& est nouveau en C++11, et il signifie que la fonction accepte un fichier RValue-Référence -- c'est-à-dire une référence à un argument qui est sur le point d'être détruit.

Answer 4

Comme d'autres réponses l'ont mentionné, le && Dans ce contexte, les jetons sont nouveaux pour C++0x (la prochaine norme C++) et représentent une "référence rvalue".

Les références Rvalue sont l'une des nouveautés les plus importantes de la prochaine norme ; elles permettent de prendre en charge la sémantique de "déplacement" des objets et de transférer parfaitement les appels de fonction.

C'est un sujet assez complexe - l'une des meilleures introductions (qui ne soit pas simplement superficielle) est un article de Stephan T. Lavavej, "Références Rvalue : Caractéristiques de C++0x dans la VC10, partie 2 "

Notez que l'article est encore assez lourd à lire, mais qu'il en vaut la peine. Et même s'il se trouve sur un blog Microsoft VC++, toutes (ou presque toutes) les informations sont applicables à n'importe quel compilateur C++0x.

Answer 5

Je crois que c'est un opérateur de déménagement. operator= est l'opérateur d'affectation, disons vector x = vector y . El clear() semble effacer le contenu du vecteur pour éviter une fuite de mémoire. L'opérateur renvoie un pointeur vers le nouveau vecteur.

Par ici,

std::vector<int> a(100, 10);
std::vector<int> b = a;
for(unsigned int i = 0; i < b.size(); i++)
{
    std::cout << b[i] << ' ';
}

Même si nous avons donné des valeurs au vecteur a, le vecteur b a les valeurs. C'est la magie du operator=() !

MSDN -- Comment créer un constructeur de mouvement