En el lenguaje de programación C , los tipos de datos constituyen la semántica y características de almacenamiento de elementos de datos. Se expresan en la sintaxis del lenguaje en forma de declaraciones de ubicaciones de memoria o variables . Los tipos de datos también determinan los tipos de operaciones o métodos de procesamiento de elementos de datos.
El lenguaje C proporciona tipos aritméticos básicos, como tipos de números enteros y reales , y sintaxis para crear tipos de matrices y compuestos. Los encabezados de la biblioteca estándar C , que se utilizarán mediante directivas de inclusión , contienen definiciones de tipos de soporte que tienen propiedades adicionales, como proporcionar almacenamiento con un tamaño exacto, independientemente de la implementación del lenguaje en plataformas de hardware específicas. [1] [2]
El lenguaje C proporciona los cuatro especificadores de tipos aritméticos básicos char , int , float y double , y los modificadores signed , unsigned , short y long . La siguiente tabla enumera las combinaciones permitidas al especificar un gran conjunto de declaraciones específicas del tamaño de almacenamiento.
SCHAR_MIN == −128
y SCHAR_MAX == 127
) para un 8 -bit con signo . Desde C23, la única representación permitida es el complemento a dos, por lo tanto los valores varían desde al menos [−2 n −1 , 2 n −1 −1] . [5]%hhi
para salida numérica%hhu
para salida numéricaEl tamaño real de los tipos de números enteros varía según la implementación. El estándar solo requiere relaciones de tamaño entre los tipos de datos y tamaños mínimos para cada tipo de datos:
Los requisitos de la relación son que the long long
no sea menor que long , que no sea menor que int , que no sea menor que short . Como el tamaño de char es siempre el tipo de datos mínimo admitido, ningún otro tipo de datos (excepto los campos de bits ) puede ser más pequeño.
El tamaño mínimo para char es de 8 bits, el tamaño mínimo para short e int es de 16 bits, para long es de 32 bits y debe contener al menos 64 bits.long long
El tipo int debe ser el tipo de entero con el que el procesador de destino trabaja de manera más eficiente. Esto permite una gran flexibilidad: por ejemplo, todos los tipos pueden ser de 64 bits. Sin embargo, son populares varios esquemas diferentes de ancho de enteros (modelos de datos). Debido a que el modelo de datos define cómo se comunican los diferentes programas, se utiliza un modelo de datos uniforme dentro de una interfaz de aplicación de sistema operativo determinada. [9]
En la práctica, char suele tener un tamaño de 8 bits y short suele tener un tamaño de 16 bits (al igual que sus homólogos sin signo). Esto es válido para plataformas tan diversas como SunOS 4 Unix de la década de 1990, Microsoft MS-DOS , Linux moderno y Microchip MCC18 para microcontroladores PIC integrados de 8 bits . POSIX requiere que char tenga exactamente 8 bits de tamaño. [10] [11]
Varias reglas en el estándar C hacen que unsigned char
el tipo básico utilizado para matrices sea adecuado para almacenar objetos arbitrarios que no sean campos de bits: su falta de bits de relleno y representaciones trampa, la definición de representación de objetos , [7] y la posibilidad de alias. [12]
El tamaño real y el comportamiento de los tipos de punto flotante también varían según la implementación. El único requisito es que long double
no sea menor que double , que no sea menor que float . Por lo general, los formatos binarios de punto flotante IEEE 754 de 32 y 64 bits se utilizan para flotante y doble respectivamente.
El estándar C99 incluye nuevos tipos de punto flotante real float_t y double_t , definidos en . Corresponden a los tipos utilizados para los resultados intermedios de expresiones de punto flotante cuando FLT_EVAL_METHOD es 0, 1 o 2. Estos tipos pueden ser más anchos que .<math.h>
long double
C99 también agregó tipos complejosfloat _Complex
: , double _Complex
, long double _Complex
. C11 añadió tipos imaginarios (que fueron descritos en un anexo informativo de C99): float _Imaginary
, double _Imaginary
, long double _Imaginary
. Incluir el encabezado <complex.h>
permite acceder a todos estos tipos mediante el uso complejo e imaginario respectivamente.
C99 agregó un tipo booleano (verdadero/falso) _Bool
. Además, el <stdbool.h>
encabezado define bool
un alias conveniente para este tipo y también proporciona macros para true
y false
. _Bool
funciona de manera similar a un tipo entero normal, con una excepción: cualquier asignación a a _Bool
que no sea 0 (falso) se almacena como 1 (verdadero). Este comportamiento existe para evitar desbordamientos de enteros en conversiones de restricción implícita. Por ejemplo, en el siguiente código:
carácter sin firmar b = 256 ; si ( b ) { /* hacer algo */ }
La variable b
se evalúa como falsa si unsigned char
tiene un tamaño de 8 bits. Esto se debe a que el valor 256 no encaja en el tipo de datos, lo que hace que se utilicen los 8 bits inferiores, lo que da como resultado un valor cero. Sin embargo, cambiar el tipo hace que el código anterior se comporte normalmente:
_Bool b = 256 ; si ( b ) { /* hacer algo */ }
El tipo _Bool también garantiza que los valores verdaderos siempre se comparen entre sí:
_Bool a = 1 , b = 2 ; if ( a == b ) { /* este código se ejecutará */ }
Desde C23 , el lenguaje permite al programador definir números enteros que tienen un ancho de un número arbitrario de bits. Esos tipos se especifican como , donde N es una expresión constante entera que denota el número de bits, incluido el bit de signo para tipos con signo, representados en complemento a dos. El valor máximo de N lo proporciona y es al menos . Por lo tanto, el tipo (o ) toma valores de −2 a 1, mientras que toma valores de 0 a 3. El tipo también existe, siendo 0 o 1 y no tiene un tipo con signo equivalente. [13]_BitInt(N)
BITINT_MAXWIDTH
ULLONG_WIDTH
_BitInt(2)
signed _BitInt(2)
unsigned _BitInt(2)
unsigned _BitInt(1)
La especificación del lenguaje C incluye typedef sy para representar cantidades relacionadas con la memoria. Su tamaño se define según las capacidades aritméticas del procesador de destino, no las capacidades de memoria, como el espacio de direcciones disponible. Ambos tipos están definidos en el encabezado ( en C++).size_t
ptrdiff_t
<stddef.h>
cstddef
size_t
es un tipo entero sin signo que se utiliza para representar el tamaño de cualquier objeto (incluidas las matrices) en una implementación particular. El operador sizeof produce un valor del tipo . El tamaño máximo de se proporciona mediante , una macro constante que se define en el encabezado ( encabezado en C++). Se garantiza que tendrá al menos 16 bits de ancho. Además, POSIX incluye , que es un tipo entero con signo del mismo ancho que .size_t
size_t
SIZE_MAX
<stdint.h>
cstdint
size_t
ssize_t
size_t
ptrdiff_t
es un tipo entero con signo que se utiliza para representar la diferencia entre punteros. Se garantiza que será válido sólo contra punteros del mismo tipo; La resta de punteros que constan de diferentes tipos está definida por la implementación.
La información sobre las propiedades reales, como el tamaño, de los tipos aritméticos básicos, se proporciona a través de constantes macro en dos encabezados: <limits.h>
encabezado ( climits
encabezado en C++) define macros para tipos enteros y <float.h>
encabezado ( cfloat
encabezado en C++) define macros para tipos de punto flotante . Los valores reales dependen de la implementación.
CHAR_BIT
– tamaño del tipo char en bits, comúnmente conocido como tamaño de un byte (al menos 8 bits)SCHAR_MIN
, SHRT_MIN
, INT_MIN
, LONG_MIN
, LLONG_MIN
(C99) – valor mínimo posible de tipos de enteros con signo: char con signo, corto con signo, int con signo, largo con signo, largo con signoSCHAR_MAX
, SHRT_MAX
, INT_MAX
, LONG_MAX
, LLONG_MAX
(C99) – valor máximo posible de tipos de enteros con signo: char con signo, corto con signo, int con signo, largo con signo, largo con signoUCHAR_MAX
, USHRT_MAX
, UINT_MAX
, ULONG_MAX
, ULLONG_MAX
(C99) – valor máximo posible de tipos de enteros sin signo: char sin signo, corto sin signo, int sin signo, largo sin signo, largo sin signoCHAR_MIN
– valor mínimo posible de charCHAR_MAX
– valor máximo posible de charMB_LEN_MAX
– número máximo de bytes en un carácter multibyteBOOL_WIDTH
(C23) - ancho de bits de _Bool
, siempre 1CHAR_WIDTH
(C23) - ancho de bits de char
; CHAR_WIDTH
, UCHAR_WIDTH
y SCHAR_WIDTH
son iguales CHAR_BIT
por definiciónSCHAR_WIDTH
, SHRT_WIDTH
, INT_WIDTH
, LONG_WIDTH
, LLONG_WIDTH
(C23) - ancho de bits de signed char
, short
, int
, long
y long long
respectivamenteUCHAR_WIDTH
, USHRT_WIDTH
, UINT_WIDTH
, ULONG_WIDTH
, ULLONG_WIDTH
(C23) - ancho de bits de unsigned char
, unsigned short
, unsigned int
, unsigned long
y unsigned long long
respectivamenteFLT_MIN
, DBL_MIN
, LDBL_MIN
– valor positivo mínimo normalizado de float, double, long double respectivamenteFLT_TRUE_MIN
, DBL_TRUE_MIN
, LDBL_TRUE_MIN
(C11) – valor mínimo positivo de float, double, long double respectivamenteFLT_MAX
, DBL_MAX
, LDBL_MAX
– valor finito máximo de float, double, long double, respectivamenteFLT_ROUNDS
– modo de redondeo para operaciones de punto flotanteFLT_EVAL_METHOD
(C99) – método de evaluación de expresiones que involucran diferentes tipos de punto flotanteFLT_RADIX
– base del exponente en los tipos de punto flotanteFLT_DIG
, DBL_DIG
, LDBL_DIG
– número de dígitos decimales que se pueden representar sin perder precisión mediante float, double, long double, respectivamenteFLT_EPSILON
, DBL_EPSILON
, LDBL_EPSILON
– diferencia entre 1.0 y el siguiente valor representable de float, double, long double, respectivamenteFLT_MANT_DIG
, DBL_MANT_DIG
, LDBL_MANT_DIG
– número de FLT_RADIX
dígitos de base en el significado de punto flotante para los tipos float, double, long double, respectivamenteFLT_MIN_EXP
, DBL_MIN_EXP
, LDBL_MIN_EXP
– entero negativo mínimo tal que FLT_RADIX
elevado a una potencia uno menor que ese número es un flotante normalizado, doble, doble largo, respectivamenteFLT_MIN_10_EXP
, DBL_MIN_10_EXP
, LDBL_MIN_10_EXP
– entero negativo mínimo tal que 10 elevado a esa potencia es un flotante normalizado, doble, doble largo, respectivamenteFLT_MAX_EXP
, DBL_MAX_EXP
, LDBL_MAX_EXP
– entero positivo máximo tal que FLT_RADIX
elevado a una potencia uno menor que ese número es un flotante normalizado, doble, doble largo, respectivamenteFLT_MAX_10_EXP
, DBL_MAX_10_EXP
, LDBL_MAX_10_EXP
– entero positivo máximo tal que 10 elevado a esa potencia es un flotante normalizado, doble, doble largo, respectivamenteDECIMAL_DIG
(C99): número mínimo de dígitos decimales de modo que cualquier número del tipo de punto flotante más amplio admitido pueda representarse en decimal con una precisión de DECIMAL_DIG
dígitos y volver a leerse en el tipo de punto flotante original sin cambiar su valor. DECIMAL_DIG
es al menos 10.El estándar C99 incluye definiciones de varios tipos enteros nuevos para mejorar la portabilidad de los programas. [2] Los tipos enteros básicos ya disponibles se consideraron insuficientes, porque sus tamaños reales están definidos por la implementación y pueden variar entre diferentes sistemas. Los nuevos tipos son especialmente útiles en entornos integrados donde el hardware normalmente solo admite varios tipos y ese soporte varía entre diferentes entornos. Todos los tipos nuevos se definen en <inttypes.h>
el encabezado ( cinttypes
encabezado en C++) y también están disponibles en <stdint.h>
el encabezado ( cstdint
encabezado en C++). Los tipos se pueden agrupar en las siguientes categorías:
La siguiente tabla resume los tipos y la interfaz para adquirir los detalles de implementación ( n se refiere al número de bits):
El <inttypes.h>
encabezado ( cinttypes
en C++) proporciona características que mejoran la funcionalidad de los tipos definidos en el <stdint.h>
encabezado. Define macros para los especificadores de cadenas de formato printf y scanf correspondientes a los tipos definidos en <stdint.h>
y varias funciones para trabajar con los tipos intmax_t
y uintmax_t
. Este encabezado se agregó en C99 .
Las macros están en formato . Aquí {fmt} define el formato de salida y es uno de (decimal), (hexadecimal), (octal), (sin signo) y (entero). {tipo} define el tipo de argumento y es uno de , , , , donde corresponde al número de bits del argumento.PRI{fmt}{type}
d
x
o
u
i
n
FASTn
LEASTn
PTR
MAX
n
Las macros están en formato . Aquí {fmt} define el formato de salida y es uno de (decimal), (hexadecimal), (octal), (sin signo) y (entero). {tipo} define el tipo de argumento y es uno de , , , , donde corresponde al número de bits del argumento.SCN{fmt}{type}
d
x
o
u
i
n
FASTn
LEASTn
PTR
MAX
n
De manera similar a los tipos enteros de ancho fijo, ISO/IEC TS 18661 especifica tipos de punto flotante para intercambio IEEE 754 y formatos extendidos en binario y decimal:
_FloatN
para formatos de intercambio binario;_DecimalN
para formatos de intercambio decimal;_FloatNx
para formatos binarios extendidos;_DecimalNx
para formatos extendidos decimales.Las estructuras agregan el almacenamiento de múltiples elementos de datos, de tipos de datos potencialmente diferentes, en un bloque de memoria al que hace referencia una única variable. El siguiente ejemplo declara el tipo de datos struct birthday
que contiene el nombre y la fecha de nacimiento de una persona. La definición de la estructura va seguida de una declaración de la variable John
que asigna el almacenamiento necesario.
estructura cumpleaños { nombre char [ 20 ]; día entero ; mes entero ; año entero ; }; estructura cumpleaños John ;
El diseño de la memoria de una estructura es una cuestión de implementación del lenguaje para cada plataforma, con algunas restricciones. La dirección de memoria del primer miembro debe ser la misma que la dirección de la estructura misma. Las estructuras se pueden inicializar o asignar para usar literales compuestos. Una función puede devolver directamente una estructura, aunque esto no suele ser eficiente en tiempo de ejecución. Desde C99 , una estructura también puede terminar con un miembro de matriz flexible .
Una estructura que contiene un puntero a una estructura de su propio tipo se usa comúnmente para construir estructuras de datos vinculados :
nodo de estructura { int val ; nodo de estructura * siguiente ; };
Para cada tipo T
, excepto los tipos void y function, existen los tipos "matriz de N
elementos de tipo T
" . Una matriz es una colección de valores, todos del mismo tipo, almacenados de forma contigua en la memoria. Una matriz de tamaño N
está indexada por números enteros desde 0
hasta e inclusive N−1
. Aquí hay un breve ejemplo:
int gato [ 10 ]; // matriz de 10 elementos, cada uno de tipo int
Las matrices se pueden inicializar con un inicializador compuesto, pero no asignarse. Las matrices se pasan a funciones pasando un puntero al primer elemento. Las matrices multidimensionales se definen como "matriz de matriz..." y todas, excepto la dimensión más externa, deben tener un tamaño constante en tiempo de compilación:
int a [ 10 ][ 8 ]; // matriz de 10 elementos, cada uno de tipo 'matriz de 8 elementos int'
Cada tipo de datos T
tiene un punteroT
de tipo correspondiente . Un puntero es un tipo de datos que contiene la dirección de una ubicación de almacenamiento de una variable de un tipo particular. Se declaran con el *
declarador de tipo asterisco ( ) después del tipo de almacenamiento básico y antes del nombre de la variable. Los espacios en blanco antes o después del asterisco son opcionales.
carácter * cuadrado ; círculo largo * ; int * óvalo ;
También se pueden declarar punteros para tipos de datos de puntero, creando así múltiples punteros indirectos, como char ** e int *** , incluidos punteros a tipos de matriz. Estos últimos son menos comunes que una serie de punteros y su sintaxis puede resultar confusa:
carbón * ordenador personal [ 10 ]; // matriz de 10 elementos de 'puntero a char' char ( * pa )[ 10 ]; // puntero a una matriz de 10 elementos de caracteres
El elemento pc
requiere diez bloques de memoria del tamaño de un punterochar
(generalmente 40 u 80 bytes en plataformas comunes), pero el elemento pa
es solo un puntero (tamaño 4 u 8 bytes) y los datos a los que se refiere son una matriz de diez bytes. ( ).sizeof *pa == 10
Un tipo de unión es una construcción especial que permite el acceso al mismo bloque de memoria utilizando una selección de descripciones de tipos diferentes. Por ejemplo, se puede declarar una unión de tipos de datos para permitir leer los mismos datos ya sea como un número entero, un flotante o cualquier otro tipo declarado por el usuario:
unión { int i ; flotar f ; estructura { unsigned int u ; doble d ; } s ; } tu ;
El tamaño total de u
es el tamaño de u.s
– que resulta ser la suma de los tamaños de u.s.u
y u.s.d
– ya que s
es mayor que ambos i
y f
. Al asignar algo a , es posible que se conserven u.i
algunas partes de si es más pequeño que .u.f
u.i
u.f
Leer de un miembro del sindicato no es lo mismo que emitir, ya que el valor del miembro no se convierte, sino que simplemente se lee.
Los punteros de función permiten hacer referencia a funciones con una firma particular. Por ejemplo, para almacenar la dirección de la función estándar abs
en la variable my_int_f
:
int ( * my_int_f )( int ) = & abs ; // el operador & se puede omitir, pero deja claro que aquí se utiliza la "dirección de" abs
Los punteros a funciones se invocan por su nombre al igual que las llamadas a funciones normales. Los punteros de función están separados de los punteros y de los punteros nulos .
Los tipos antes mencionados se pueden caracterizar aún más mediante calificadores de tipo , lo que produce un tipo calificado . A partir de 2014 [actualizar]y C11 , hay cuatro calificadores de tipo en el estándar C: const
( C89 ), volatile
( C89 ), restrict
( C99 ) y _Atomic
( C11 ); este último tiene un nombre privado para evitar conflictos con los nombres de usuario, [14] pero el más atomic
Se puede utilizar un nombre normal si <stdatomic.h>
se incluye el encabezado. De estos, const
es, con diferencia, el más conocido y utilizado, aparece en la biblioteca estándar y se encuentra en cualquier uso significativo del lenguaje C, que debe satisfacer la corrección constante . Los otros calificadores se utilizan para programación de bajo nivel y, aunque se utilizan ampliamente allí, los programadores típicos rara vez los utilizan. [ cita necesaria ]