Entrevista de C++: ¿Cómo cambia el diseño la capacidad fija de std::inplace_vector?

Prompt y alcance

Explique cómo std::inplace_vector<T, N> de C++26 proporciona longitud variable con almacenamiento contiguo de capacidad fija dentro del objeto. Diseñe una política de inserción segura que contemple el desbordamiento, las excepciones, los movimientos, la invalidación de iteradores y los casos en los que std::vector sigue siendo la opción adecuada.

std::inplace_vector es un contenedor contiguo de C++26 cuyo tamaño varía mientras que el almacenamiento reside dentro del objeto y la capacidad está fijada por el parámetro de plantilla sin tipo N. Se adapta a un límite superior conocido y a una ruta sin asignaciones dinámicas, pero no es std::array y no puede crecer indefinidamente. La respuesta debe centrarse en los contratos de capacidad y el ciclo de vida de los objetos más que en la sintaxis.

Qué evalúa el entrevistador

• Separación entre tamaño, capacidad, almacenamiento dentro del objeto y asignación dinámica.
• Explicación de la semántica de desbordamiento en la capacidad N y la política de errores.
• Comprensión del almacenamiento contiguo, movimientos, referencias e invalidación de iteradores.
• Análisis de las excepciones en la construcción de elementos y si es posible ofrecer una garantía fuerte.
• Reconocimiento de cómo N afecta el tamaño del objeto, la disposición en la pila (stack layout) y la ABI.
• Elección entre inplace_vector, array, vector y otros contenedores.

Preguntas de clarificación para hacer

1. ¿Es N un límite comprobable en tiempo de compilación o una configuración en tiempo de ejecución?
2. ¿El desbordamiento es un error del programador, una entrada recuperable o un mensaje que se debe descartar?
3. ¿Los elementos son movibles, copiables o pueden lanzar excepciones?
4. ¿El contenedor reside en la pila, en un pool, en memoria compartida o en un objeto de ruta crítica (hot path)?
5. ¿Los llamadores retienen referencias a elementos, punteros o iteradores?

Respuesta en 30 segundos

Convertiría N en un contrato de capacidad explícito y elegiría una política de desbordamiento (rechazar, devolver un error o aplicar contrapresión), nunca un crecimiento implícito. inplace_vector mantiene el acceso contiguo pero almacena su búfer dentro del objeto, por lo que el tamaño del objeto y el costo de movimiento crecen con N. Verifique el tamaño antes de anexar y use una ruta de construcción que coincida con las garantías de excepción del elemento. Las inserciones aún pueden invalidar referencias e iteradores incluso sin reasignación en el heap. Para límites desconocidos o crecimiento amortizado, usaría std::vector.

Análisis detallado paso a paso

1. Establecer capacidad y ciclo de vida

El tamaño de std::inplace_vector<T, N> está entre cero y N, y los elementos ocupan direcciones contiguas. N forma parte del tipo. La construcción no construye por defecto los N elementos; los elementos se construyen al insertarse y solo se destruyen los elementos activos.

2. Definir un contrato de inserción

Verifique size() == capacity() antes de anexar y asocie el desbordamiento a un error de negocio, una política de descarte o contrapresión hacia upstream. No trate reserve como una expansión ni sobrescriba silenciosamente el final. Para inserciones en lote, verifique primero la capacidad restante o defina el éxito parcial y devuelva la cantidad insertada.

template<class T, std::size_t N>
bool try_append(std::inplace_vector<T, N>& out, T value) {
  if (out.size() == out.capacity()) return false;
  out.push_back(std::move(value));
  return true;
}

El ejemplo expresa únicamente la política de capacidad. La garantía real de retorno y estado depende de si la construcción por movimiento de T puede lanzar excepciones.

3. Manejar la seguridad ante excepciones

Si la construcción o el movimiento de elementos pueden lanzar excepciones, preserve las invariantes del contenedor y especifique si la operación ofrece la garantía básica o fuerte. Un lote puede construirse en un contenedor temporal y luego moverse, pero ese movimiento también puede lanzar excepciones; el nombre del tipo no promete una confirmación transaccional.

4. Analizar referencias e iteradores

Insertar un elemento puede desplazar elementos posteriores, por lo que las referencias, punteros e iteradores guardados deben seguir las reglas estándar de invalidación. Que no haya reasignación en el heap no significa que las posiciones nunca cambien. Una API puede devolver un índice o un manejador estable en lugar de fomentar que los llamadores retengan direcciones de elementos.

5. Comparar tamaño de objeto y costo de movimiento

El búfer dentro del objeto implica que sizeof(inplace_vector<T, N>) generalmente crece con N y la alineación de los elementos. Colocar una capacidad grande en un marco de pila, un objeto de mensaje o una estructura copiada con frecuencia puede aumentar los costos de pila, caché y movimiento. Mida la disposición en memoria antes de afirmar que evitar la asignación siempre es más rápido.

6. Elegir alternativas

Elija inplace_vector para un límite conocido, acceso contiguo y una ruta deseada sin asignación. Use std::array para un número fijo de elementos, std::vector para límites desconocidos o crecimiento, y otro contenedor cuando las direcciones de nodo estables sean prioritarias. La capacidad, el ciclo de vida, la localidad y la semántica de errores deciden.

7. Probar y observar

Pruebe casos vacíos, exactamente llenos, sobrecapacidad, elementos que lanzan excepciones, movimientos y copias, objetos anidados y valores grandes de N. Registre el recuento de desbordamientos, el éxito parcial de lotes, el tamaño del objeto y la latencia en la ruta crítica; use sanitizers para errores de ciclo de vida. Cuando el compilador y la biblioteca admitan C++26, verifique las macros de prueba de características y las diferencias de implementación.

Respuesta de muestra de alta calidad

Trataría a N como un contrato de capacidad en tiempo de compilación: el tamaño varía pero no puede exceder N, y los elementos son contiguos dentro del objeto. Verifique la capacidad restante antes de anexar y asocie el desbordamiento a un error o contrapresión en lugar de sobrescribir. Defina la garantía básica o fuerte para elementos que puedan lanzar excepciones y especifique si un lote puede completarse parcialmente con éxito. Las referencias y los iteradores no son automáticamente estables solo porque no hay crecimiento en el heap.

También mediría el tamaño del objeto, la presión en la pila y la caché, el costo de movimiento y la ABI. Con un límite conocido y acceso contiguo en rutas críticas, inplace_vector puede encajar; con límites desconocidos o crecimiento amortizado, use std::vector, y use std::array para un conteo fijo. Pruebe los límites de capacidad y de excepciones y observe los desbordamientos y la latencia.

Errores comunes

• Tratarlo como un vector que crece → se detiene en N → especificar la semántica de desbordamiento.
• Asumir que el almacenamiento dentro del objeto mantiene estables las referencias → el movimiento de elementos cambia las posiciones → seguir las reglas de invalidación.
• Asumir que todos los elementos están construidos → solo el tamaño actual está activo → separar almacenamiento de ciclo de vida.
• Enfocarse en la ausencia de asignaciones ignorando el tamaño del objeto → un N grande presiona la pila y la caché → medir la disposición y los movimientos.
• Asumir que las excepciones en lote revierten automáticamente → los movimientos de elementos pueden lanzar excepciones → especificar y probar la garantía.
• Forzarlo en un límite desconocido → la entrada de negocio se rechaza o se trunca → elegir vector u otro contenedor.

Preguntas de seguimiento y respuestas

¿En qué se diferencia inplace_vector<T, N> de std::array<T, N>?

Su tamaño varía de cero a N y los elementos se construyen según se necesitan; un arreglo siempre contiene N elementos. Ambos usan almacenamiento dentro del objeto, pero sus contratos de ciclo de vida y de API difieren.

¿Debería lanzar una excepción al alcanzar la capacidad máxima?

Es una decisión de negocio. La entrada recuperable generalmente devuelve un error o aplica contrapresión; un error del programador puede usar una aserción o una excepción. La sobrescritura silenciosa no es aceptable, y la semántica de éxito parcial en lotes debe ser explícita.

¿Qué sucede cuando se mueve un inplace_vector?

Los elementos se mueven o copian en el búfer del objeto de destino, con un costo ligado al tamaño y al tipo de elemento. No se trata simplemente de intercambiar un puntero del heap.

¿Por qué no elegir un N muy grande?

El búfer incrementa los costos del objeto, la pila, la copia y la caché. Elija N a partir de la distribución real, la capacidad de cola (tail capacity) y el costo de desbordamiento.

¿Qué ocurre si la biblioteca estándar no admite C++26?

Verifique las macros de prueba de características y la documentación de implementación, establezca un requisito de compilación claro o elija una alternativa. No trate silenciosamente una implementación experimental como comportamiento estándar.

¿Cómo mantener seguras las referencias a elementos?

Limite el ciclo de vida de las referencias, prefiera índices o manejadores estables y prohíba referencias antiguas después de inserciones, movimientos o destrucciones. Valide con sanitizers y pruebas de límites.