1
Operadores II: Más operadores
Veremos ahora más detalladamente algunos operadores que ya hemos mencionado, y algunos nuevos.
Operadores de Referencia (&) e Indirección (*)
El operador de referencia (&) nos devuelve la dirección de memoria del operando.
Sintaxis:
| &<expresión simple> |
Por ejemplo:
|
int *punt;
int x = 10;
|
El operador de indirección (*) considera a su operando como una dirección y devuelve su contenido.
Sintaxis:
| *<puntero> |
Ejemplo:
|
int *punt;
int x;
x = *punt;
|
Operadores . y ->
Operador de selección (.). Permite acceder a objetos o campos dentro de una estructura.
Sintaxis:
| <variable_estructura>.<nombre_de_variable> |
Operador de selección de objetos o campos para estructuras referenciadas con punteros. (->)
Sintaxis:
| <puntero_a_estructura>-><nombre_de_variable> |
Ejemplo:
|
struct punto {
int x;
int y;
};
punto p1;
punto *p2;
p1.x = 10;
p1.y = 20;
p2->x = 30;
p2->y = 40; |
Operador de preprocesador
El operador "#" sirve para dar órdenes o directivas al compilador. La mayor parte de las directivas del preprocesador se verán en capítulos posteriores.
El preprocesador es un programa auxiliar, que forma parte del compilador, y que procesa el fichero fuente antes de que sea compilado. En realidad se limita a seguir las órdenes expresadas en forma de directivas del preprocesador, modificando el programa fuente antes de que sea compilado.
Veremos, sin embargo dos de las más usadas.
Directiva define
La directiva define, sirve para definir macros. Cada macro es una especie de fórmula para la sustitución de texto dentro del fichero fuente, y puede usar, opcionalmente parámetros.
Sintaxis:
| #define <identificador_de_macro> <secuencia> |
El preprocesador sustituirá cada ocurrencia del <identificador_de_macro> en el fichero fuente, por la <secuencia>, (aunque con algunas excepciones). Cada sustitución se denomina "expansión de la macro", y la secuencia se suele conocer como "cuerpo de la macro".
Si la secuencia no existe, el <identificador_de_macro> será eliminado cada vez que aparezca en el fichero fuente.
Después de cada expansión individual, se vuelve a examinar el texto expandido a la búsqueda de nuevas macros, que serán expandidas a su vez. Esto permite la posibilidad de hacer macros anidadas. Si la nueva expansión tiene la forma de una directiva de preprocesador, no será reconocida como tal.
Existen otras restricciones a la expansión de macros:
-Las ocurrencias de macros dentro de literales, cadenas, constantes alfanuméricas o comentarios no serán expandidas.
-Una macro no será expandida durante su propia expansión, así #define A A, no será expandida indefinidamente.
Ejemplo:
| #define suma(a,b) ((a)+(b)) |
Los paréntesis en el cuerpo de la macro son necesarios para que funcione correctamente en todos los casos, lo veremos mucho mejor con otro ejemplo:
|
#include <iostream>
using namespace std;
#define mult1(a,b) a*b
#define mult2(a,b) ((a)*(b))
int main() {
// En este caso ambas macros funcionan bien: (1)
cout << mult1(4,5) << endl;
cout << mult2(4,5) << endl;
// En este caso la primera macro no funciona, ¿por qué?: (2)
cout << mult1(2+2,2+3) << endl;
cout << mult2(2+2,2+3) << endl;
return 0;
}
|
¿Por qué falla la macro mult1 en el segundo caso?. Para averiguarlo, veamos cómo trabaja el preprocesador.
Cuando el preprocesador encuentra una macro la expande, el código expandido sería:
|
int main() {
// En este caso ambas macros funcionan bien:
cout << 4*5 << endl;
cout << ((4)*(5)) << endl;
// En este caso la primera macro no funciona, ¿por qué?:
cout << 2+2*2+3 << endl;
cout << ((2+2)*(2+3)) << endl;
return 0;
} |
Al evaluar "2+2*2+3" se asocian los operandos dos a dos de izquierda a derecha, pero la multiplicación tiene prioridad sobre la suma, así que el compilador resuelve 2+4+3 = 9. Al evaluar "((2+2)*(2+3))" los paréntesis rompen la prioridad de la multiplicación, el compilador resuelve 4*5 = 20.
Directiva include
La directiva include, como ya hemos visto, sirve para insertar ficheros externos dentro de nuestro fichero de código fuente. Estos ficheros son conocidos como ficheros incluidos, ficheros de cabecera o "headers".
Sintaxis:
|
#include <nombre de fichero cabecera>
#include "nombre de fichero de cabecera"
#include identificador_de_macro |
El preprocesador elimina la línea include y la sustituye por el fichero especificado. El tercer caso halla el nombre del fichero como resultado de aplicar la macro.
La diferencia entre escribir el nombre del fichero entre "<>" o """", está en el algoritmo usado para encontrar los ficheros a incluir. En el primer caso el preprocesador buscará en los directorios "include" definidos en el compilador. En el segundo, se buscará primero en el directorio actual, es decir, en el que se encuentre el fichero fuente, si el fichero no existe en ese directorio, se trabajará como el primer caso. Si se proporciona el camino como parte del nombre de fichero, sólo se buscará es ese directorio.
El tercer caso es "raro", no he encontrado ningún ejemplo que lo use, y yo no he recurrido nunca a él. Pero el caso es que se puede usar, por ejemplo:
|
#define FICHERO "trabajo.h"
#include FICHERO
int main()
{
...
} |
Es un ejemplo simple, pero en el capítulo 23 veremos más directivas del preprocesador, y verás el modo en que se puede definir FICHERO de forma condicional, de modo que el fichero a incluir puede depender de variables de entorno, de la plataforma, etc.
Por supuesto la macro puede ser una fórmula, y el nombre del fichero puede crearse usando esa fórmula.
Comentarios