Respuesta.

El operador de acceso por índice operator[] es un operador sobrecargable en C++ que proporciona la sintaxis de indexación de objetos de contenedores personalizados (por ejemplo, como en arreglos).

Historia del tema:

En el lenguaje C, y más tarde en C++, el operador [] permitía acceder de manera rápida y conveniente a los elementos del arreglo por índice. Sin embargo, con el crecimiento de la popularidad de las clases de contenedores, surgió la necesidad de trasladar la misma sintaxis a tipos de datos personalizados.

Problema:

El diseño correcto de operadores de acceso por índice está relacionado con cuestiones de constancia, seguridad de acceso fuera de límites, elección de tipo de retorno y garantía de validez de la referencia o puntero.

Solución:

En C++, se puede sobrecargar operator[] para clases, permitiendo el acceso a los elementos por índice y realizando "comportamiento como un arreglo". Se deben implementar ambas versiones del operador: la normal (para objetos no constantes) y la constante (para objetos constantes).

Ejemplo de código:

class MyArray {
  int data[10];
public:
  int& operator[](size_t index) { return data[index]; }
  const int& operator[](size_t index) const { return data[index]; }
};

MyArray arr;
arr[3] = 42;     // OK
const MyArray& const_arr = arr;
int val = const_arr[3]; // OK

Características clave:

Siempre implemente tanto la versión const como la no const del operador para un funcionamiento correcto con objetos constantes
No realiza verificaciones de salida de límites (a diferencia de .at() en contenedores estándar)
Es importante elegir el tipo de retorno (referencia, puntero, valor) de manera consciente

Preguntas trampa.

¿Es obligatorio devolver una referencia desde operator[]?

No, pero si se devuelve un valor, la sintaxis arr[i] = x; no funcionará (estarás copiando en lugar de asignar). Para mantener la semántica habitual del contenedor, generalmente se devuelve una referencia. Si se devuelve un valor, no se podrá realizar una asignación al elemento:

int operator[](size_t idx); // arr[2] = 10; no se compilará

¿Debería operator[] verificar los límites?

El estándar no lo requiere. El operator[] clásico (como en std::vector) NO realiza tales verificaciones. Para las verificaciones, los contenedores estándar introducen un método separado .at(), que lanza una excepción al salir del rango de indexación.

¿Puede operator[] ser un método constante?

No, si devuelves una referencia no constante. Sin embargo, es necesario sobrecargar operator[] tanto para objetos constantes como no constantes, para que el contenedor funcione de manera intuitiva y segura.

Errores comunes y anti-patrones

No implementar la versión constante del operador (lo que impide acceder a los elementos a través de una referencia const)
Devolver un valor en lugar de una referencia, rompiendo la semántica de la asignación
Dejar elementos no inicializados en el contenedor

Ejemplo de la vida real

Caso negativo

Un joven desarrollador implementó solo la versión no constante de operator[], que devolvía por valor. Como resultado, no se podía acceder al contenedor a través de una referencia const, y cualquier intento de escritura funcionaba de manera extraña: los valores no se guardaban.

Pros:

Se compila, mientras se usan solo objetos no constantes

Contras:

Se rompe la semántica esperada de C++
No se respeta la corrección const, no se admiten algoritmos estándar

Caso positivo

En el contenedor MyArray se implementaron ambas versiones de operator[], con un retorno correcto de referencias. Si es necesario, se agregó el método at() con verificación de límites.