Operadores de asignación

Los operadores de asignación modifican el valor del objeto.

[editar] Explicación

El operador asignación copia modifica el contenido del objeto a por una copia del contenido de b (b no se modifica). Para los tipos clase, es una función miembro especial, descrita en operador de asignación copia.

El operador “asignación de movimiento” modifica el contenido del objeto a por el contenido de b, evitando copiar si es posible (b puede ser modificado). Para tipos clase, es una función miembro especial, descrita en operador asignación de movimiento. (desde C++11)

Para los tipos no clase, la asignación de copia y movimiento son indistinguibles y se denominan asignación directa.

Los operadores de asignación compuesta modifican el contenido del objeto a con el resultado de la operación binaria entre el valor anterior de a y el valor de b.

[editar] Asignación directa integrada

Las expresiones de asignación directa tienen la forma

Para el operador integrado, lhs tiene que tener un tipo no constante escalar y rhs debe ser implicitamente convertible al tipo de lhs.

El operador de asignación directa espera un lvalue modificable como su operando izquierdo y una expresión rvalue o una lista de inicio entre paréntesis (desde C++11) como su operando derecho, y retorna un lvalue identificando el operando izquierdo después de la modificación.

Para tipos no clase, el operando derecho primero se convierte implícitamente al tipo sin cualificar del operando izquierdo, y luego su valor se copia en el objeto identificado por el operando izquierdo.

Cuando el operando izquierdo tiene tipo referencia, el operador de asignación modifica el objeto referido.

Si los operandos izquierdo y derecho identifican objetos superpuestos, el comportamiento no está definido (a menos que el solapamiento sea exacto y el tipo sea el mismo)

En una resolución de sobrecarga para operadores definidos por usuario, para cada tipo T, el siguiente modelo de función participa en la resolución de sobrecarga:

Para cada enumeración o puntero a miembro de tipo T, opcionalmente calificado volátil, el siguiente modelo de función participa en la resolución de sobrecarga:

Para cada par A1 y A2, donde A1 es un tipo aritmético (opcionalmente calificado volátil) y A2 es un tipo promocionado a aritmético, el siguiente modelo de función participa en la resolución de sobrecarga:

[editar] Ejemplo

#include <iostream>
int main()
{
    int n = 0;  // no es una asignación
    n = 1;      // asignación directa
    std::cout << n << ' ';
    n = {};     // inicialización cero, luego asignación
    std::cout << n << ' ';
    n = 'a';    // promoción a integral, luego asignación
    std::cout << n << ' ';
    n = {'b'};   // conversión explícita, luego asignación
    std::cout << n << ' ';
    n = 1.0;    // conversión de coma flotante, luego asignación
    std::cout << n << ' ';
//    n = {1.0}; // error de compilación  (narrowing conversion)
 
    int& r = n;  // no es una asignación
    int* p;
 
    r = 2;       // asignación a través de referencia
    std::cout << n << '\n';
    p = &n;      // asignación directa
    p = nullptr; // conversión de puntero nulo, luego asignación
 
    struct {int a; std::string s;} obj;
    obj = {1, "abc"}; // asignación con lista de inicio entre paréntesis
    std::cout << obj.a << ':' << obj.s << '\n';
}

1 0 97 98 1 2
1:abc

[editar] Asignación compuesta integrada

Las expresiones de asignación compuesta tienen la forma

El comportamiento de cada expresión de asignación compuesta integrada E1 op= E2 (donde E1 es una expresión lvalue modificable y E2 es una expresión rvalue o una lista de inicio entre paréntesis (desde C++11)) es exactamente el mismo que el de la expresión E1 = E1 op E2, excepto que la expresión E1 se evalúa solo una vez y se comporta como una sola operación con respecto a las llamadas de función sin secuencia determinada (por ejemplo, en f(a += b, g()), el += no se inicia o se completa como se ve desde dentro de g()).

En la resolución de sobrecarga para operadores definidos por usuario, para cada par A1 y A2, donde A1 es de tipo aritmético (opcionalmente calificado volátil) y A2 se promociona a tipo aritmético, los siguientes modelos de función participan en la resolución de sobrecarga:

Para cada par I1 y I2, donde I1 es de tipo entero (opcionalmente calificado volátil) y I2 es de tipo promocionado a entero, los siguientes modelos de función participan en la resolución de sobrecarga:

Para cada tipo de objeto opcionalmente cualificado constante-volátil T, los siguientes modelos de función participan en la resolución de sobre carga:

[editar] Ver también

Precedencia de operadores

Sobrecarga de operadores