Pensar en C++ (Volumen 1) - Grupo ARCO

✐
✐
✐
“Volumen1” — 2012/1/12 — 13:52 — page 354 — #392
✐
Capítulo 12. Sobrecarga de operadores
Dog::PMF pmf = &Dog::run;
cout *pmf)(1) *, el compilador inmediatamente
lo revuelve y llama a operator() para el valor de retorno de operator->*,
pasándole los argumentos que le fueron pasados a operator->*. FunctionObject::operator()
toma los argumentos e desreferencia el puntero a
miembro «real» usando los punteros a objeto y a miembro almacenados.
Percátese de que lo que está ocurriendo aquí, justo como con operator->, se
inserta en la mitad de la llamada a operator->*. Esto permite realizar algunas
operaciones adicionales si se necesita.
El mecanismo operator->* implementado aquí solo trabaja para funciones
miembro que toman un argumento entero y devuelven otro entero. Esto es una limitación,
pero si intenta crear mecanismos sobrecargados para cada posibilidad diferente,
verá que es una tarea prohibitiva. Afortunadamente, el mecanismo de plantillas
de C++ (descrito el el ultimo capitulo de este libro, y en el volumen2) está
diseñado para manejar semejante problema.
12.3.5. Operadores que no puede sobrecargar
Hay cierta clase de operadores en el conjunto disponible que no pueden ser sobrecargados.
La razón general para esta restricción es la seguridad. Si estos operadores
fuesen sobrecargables, podría de algún modo arriesgar o romper los mecanismos de
seguridad, hacer las cosas mas difíciles o confundir las costumbres existentes.
1. El operador de selección de miembros operator.. Actualmente, el punto tiene
significado para cualquier miembro de una clase, pero si se pudiera sobrecargar,
no se podría acceder a miembros de la forma normal; en lugar de eso
debería usar un puntero y la flecha operator->.
2. La indirección de punteros a miembros operator.* por la misma razón que
operator..
3. No hay un operador de potencia. La elección más popular para éste era operator**
de Fortram, pero provoca casos de análisis gramatical difíciles. C tampoco
tiene un operador de potencia, así que C++ no parece tener necesidad de
uno porque siempre puede realizar una llamada a una función. Un operador de
potencia añadirá una notación adecuada, pero ninguna nueva funcionalidad a
cuenta de una mayor complejidad del compilador.
4. No hay operadores definidos por el usuario. Esto es, no puede crear nuevos
operadores que no existan ya. Una parte del problema es como determinar la
354
✐
✐
✐
✐