Middle C++ — Preguntas de entrevista C++

¿Qué es la regla de cinco, y qué genera el compilador por ti?

Si una clase necesita un destructor, constructor de copia o asignación de copia personalizados, casi seguro necesita los cinco más el constructor de movimiento y la asignación de movimiento — porque posee un recurso. El compilador los genera implícitamente, pero declarar cualquiera de ellos suprime algunos de los otros: escribir un destructor detiene la generación de las operaciones de movimiento, y las copias toman silenciosamente su lugar. La regla de cero es aún mejor — poseer recursos a través de miembros que ya se gestionan a sí mismos.

¿Qué hace realmente `std::move`?

Nada en runtime. Es un cast incondicional a una referencia rvalue, que cambia la resolución de sobrecarga para que se pueda seleccionar un constructor o asignación de movimiento. Si el tipo no tiene operaciones de movimiento, se elige la copia y el código sigue copiando silenciosamente. Después de un move, el origen queda válido pero no especificado — puedes asignarle o destruirlo, pero no asumir su contenido.

¿Qué es copy elision y RVO?

El compilador construyendo un objeto retornado directamente en el almacenamiento del llamador en lugar de construirlo y luego copiarlo o moverlo. RVO nombrado y sin nombre fueron optimizaciones de larga data a las que se les permitía eliminar efectos secundarios observables; desde C++17 la elision es obligatoria al retornar un prvalue. La consecuencia práctica es que retornar por valor no es la pesimización que la gente sigue asumiendo, y return std::move(x) suele empeorar las cosas al bloquear el NRVO.

¿Cuándo se invalidan los iteradores?

Depende del contenedor y vale la pena saberlo con exactitud. vector invalida todo al reasignar y todo desde el punto de erase en adelante; deque invalida todos los iteradores al insertar en el medio; list y los contenedores asociativos mantienen los iteradores válidos excepto al elemento eliminado. El bug clásico es hacer erase dentro de un loop, por eso erase devuelve el siguiente iterador válido y por eso existe el idiom erase-remove.

`std::map` vs `std::unordered_map` — ¿cómo eliges?

map es un árbol balanceado: iteración ordenada, búsqueda O(log n), iteradores estables, predecible. unordered_map es una tabla hash: O(1) en promedio pero O(n) en el peor caso, sin orden, el rehashing invalida iteradores, y depende de la calidad del hash. Elige map cuando necesitas orden o un peor caso acotado, unordered_map cuando las búsquedas dominan y el orden no importa.

¿Cuáles son las garantías de seguridad ante excepciones?

Cuatro niveles: no-throw, fuerte (la operación se completa o deja el estado sin cambios), básica (los invariantes se mantienen y nada se filtra, pero el estado puede haber cambiado), y ninguna. La garantía fuerte usualmente se implementa haciendo el trabajo sobre una copia e intercambiando al final. Los destructores no deben lanzar — durante el desenrollado del stack una segunda excepción llama a std::terminate, por eso los destructores son noexcept por defecto.