|
|
Veremos ahora más detalladamente algunos operadores que ya hemos mencionado, y algunos nuevos.
El operador de referencia (&) nos devuelve la dirección de memoria del operando.
Sintaxis:
&<expresión simple>
El operador de indirección (*) considera a su operando como una dirección y devuelve su contenido.
Sintaxis:
*<puntero>
Este operador tiene dos usos diferentes.
Sintaxis:
sizeof (<expresión>)
sizeof (nombre_de_tipo)
En ambos casos el resultado es una constante entera que da el tamaño en bytes del espacio de memoria usada por el operando, que es determinado por su tipo. El espacio reservado por cada tipo depende de la plataforma.
En el primer caso, el tipo del operando es determinado sin evaluar la expresión, y por lo tanto sin efectos secundarios. Si el operando es de tipo "char", el resultado es 1. Si el operando es el nombre de un array, el resultado será el tamaño total de ésta, y no el del tipo de cada elemento.
A pesar de su apariencia, sizeof() NO es una función, sino un OPERADOR.
Operador de selección (.). Permite acceder a variables o campos dentro de una estructura.
Sintaxis:
<variable de tipo estructura>.<nombre de variable>
Operador de selección de variables o campos para estructuras referenciadas con punteros. (->)
Sintaxis:
<variable de tipo puntero a estructura>-><nombre de variable>
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.
Veremos, sin embargo dos de las más usadas.
La directiva "#define", sirve para definir macros. Esto suministra un sistema para la sustitución de palabras, con y sin 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 hay algunas excepciones. Cada sustitución se conoce como una expansión de la macro, y la secuencia es llamada a menudo 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.h>
#define mult1(a,b) a*b
#define mult2(a,b) (a)*(b)
int main() {
// En este caso ambas macros funcionan bien:
cout << mult1(4,5) << endl;
cout << mult2(4,5) << endl;
// En este caso la primera macro no funciona bien, ¿por qué?:
cout << mult1(2+2,2+3) << endl;
cout << mult2(2+2,2+3) << endl;
}
¿Por qué falla la macro mult1 en el segundo caso?. 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 bien, ¿por qué?:
cout << 2+2*2+3 << endl;
cout << (2+2)*(2+3) << endl;
}
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.
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.
© Septiembre de 2.000 Salvador Pozo, salvador@c-con-clase.every1.net