C99

C99 ( C9X durante su desarrollo, formalmente ISO/IEC 9899:1999 ) es una versión anterior del estándar abierto del lenguaje de programación C. [ ^{1 ] Amplía} la versión anterior ( C90 ) con nuevas características para el lenguaje y la biblioteca estándar , y ayuda a las implementaciones a aprovechar mejor el hardware informático disponible, como la aritmética de punto flotante IEEE 754-1985 y la tecnología de compiladores. ^{[ 2 ]} La versión C11 del estándar del lenguaje de programación C, publicada en 2011, actualiza C99.

Tras la publicación del estándar oficial del lenguaje de programación C por parte de ANSI en 1989, que se convirtió en estándar internacional en 1990, la especificación del lenguaje C se mantuvo relativamente estática durante un tiempo, mientras que C++ continuó evolucionando, principalmente durante su propio proceso de estandarización. La Enmienda Normativa 1 creó un nuevo estándar para C en 1995, pero solo para corregir algunos detalles del estándar de 1989 y añadir un soporte más amplio para conjuntos de caracteres internacionales. El estándar se revisó nuevamente a finales de la década de 1990, lo que llevó a la publicación de ISO/IEC 9899:1999 en 1999, que fue adoptado como estándar ANSI en mayo de 2000. El lenguaje definido por esa versión del estándar se conoce comúnmente como "C99". El estándar internacional C es mantenido por el grupo de trabajo ISO/IEC JTC1/SC22 /WG14.

C99 es, en su mayor parte, compatible con versiones anteriores de C89, pero es más estricto en algunos aspectos. ^{[ 3 ]}

En particular, una declaración que carece de un especificador de tipo ya no se intasume implícitamente. El comité de estándares de C decidió que era más valioso que los compiladores diagnosticaran la omisión involuntaria del especificador de tipo que procesar silenciosamente el código heredado que dependía de la asunción implícita int. En la práctica, es probable que los compiladores muestren una advertencia, asuman el tipo inty continúen traduciendo el programa.

C99 introdujo varias características nuevas, muchas de las cuales ya se habían implementado como extensiones en varios compiladores: ^{[ 4 ]}

• funciones en línea
• Declaraciones y código intercalados: la declaración de variables ya no se limita al ámbito del archivo ni al inicio de una instrucción compuesta (bloque).
• varios tipos de datos nuevos , incluidos long long inttipos enteros extendidos opcionales, un tipo de datos booleano explícito ( _Bool), y tipos complejos ( _Complexespecificador de tipo) para representar números complejos
• matrices de longitud variable (aunque posteriormente relegadas en C11 a una característica condicional que las implementaciones no están obligadas a admitir)
• miembros de matriz flexibles
• soporte para comentarios de una sola línea que comienzan con //(como el de BCPL , C++ y Java )
• nuevas funciones de biblioteca, comosnprintf
• nuevos encabezados , como , , , y<stdbool.h><complex.h><tgmath.h><inttypes.h>
• funciones matemáticas (macro) genéricas de tipo, en <tgmath.h>, que seleccionan una función de la biblioteca matemática en función de , , o argumentos, etc.floatdoublelong double
• Soporte opcional para punto flotante IEEE 754-1985
• inicializadores designados. Por ejemplo, inicializar una estructura por nombres de campo: ^{[ 5 ]}structXp={.i=1,.j=2};
• literales compuestos. Por ejemplo, es posible construir estructuras en llamadas a funciones: ^{[ 6 ]}foo((structX){1,2})
• Compatibilidad con macros variádicas (macros con un número variable de argumentos)
• restrictLa calificación permite una optimización de código más agresiva, eliminando las ventajas de acceso a matrices en tiempo de compilación que FORTRAN tenía anteriormente sobre ANSI C ^{[ 7 ].}
• nombres de caracteres universales, que permiten que las variables de usuario contengan caracteres distintos del conjunto de caracteres estándar: \u0040secuencias hexadecimales de cuatro u ocho dígitos.\U0001f431
• palabra clave staticen índices de matriz en declaraciones de parámetros ^{[ 8 ]} : Por ejemplo, le indica al compilador que cada vez que se llama, el puntero pasado definitivamente no es nulo y apunta a una matriz de al menos 100 s. ^{[ 9 ] [ 10 ]}voidfoo(intbar[static100]);foo()barint

Algunas características de C99 fueron excluidas de C++ , en particular los arreglos de longitud variable. C++ ofrece estructuras de datos secuenciales para std::vector<T>propósitos similares.

Una característica principal de C99 es su soporte numérico, y en particular su soporte para el acceso a las características del hardware de punto flotante IEEE 754-1985 (también conocido como IEC  60559) presente en la gran mayoría de los procesadores modernos (definido en el "Anexo F: Aritmética de punto flotante IEC 60559"). Las plataformas que no disponen de hardware IEEE 754 también pueden implementarlo por software. ^{[ 2 ]} 

En plataformas con coma flotante IEEE  754:

FLT_EVAL_METHOD == 2tiende a limitar el riesgo de errores de redondeo que afectan a expresiones numéricamente inestables (véase la justificación del diseño de IEEE  754 ) y es el método predeterminado diseñado para el hardware x87 , pero produce un comportamiento poco intuitivo para el usuario desprevenido; ^{[ 11 ]}FLT_EVAL_METHOD == 1 fue el método de evaluación predeterminado utilizado originalmente en K&R  C , que promovió todos los floats a double en las expresiones; y FLT_EVAL_METHOD == 0también se usa comúnmente y especifica una "evaluación al tipo" estricta de los operandos. (Para gcc , es el predeterminado en x86 de 32 bits, y es el predeterminado en x86-64 de 64 bits, pero se puede especificar en x86-64 con la opción -mfpmath=387). Antes de C99, los compiladores podían redondear los resultados intermedios de forma inconsistente, especialmente cuando se utilizaba hardware de punto flotante x87 , lo que daba lugar a un comportamiento específico del compilador; ^{[ 12 ]} tales inconsistencias no están permitidas en los compiladores que cumplen con C99 (anexo F).FLT_EVAL_METHOD == 2 FLT_EVAL_METHOD == 0 FLT_EVAL_METHOD == 2

#incluir <assert.h>#incluir <fenv.h>#include <float.h>#include <math.h>#include <stdio.h>#include <stdbool.h>#include <tgmath.h>double compute_fn ( double z ) { // [1]#pragma STDC FENV_ACCESS ON // [2]assert ( FLT_EVAL_METHOD == 2 ); // [3]si ( isnan ( z )) { // [4]puts ( "z no es un número" );}si ( isinf ( z )) {puts ( "z es infinito" );}long double r = 7.0 - 3.0 / ( z - 2.0 - 1.0 / ( z - 7.0 + 10.0 / ( z - 2.0 - 2.0 / ( z - 3.0 )))); // [5, 6]feclearexcept ( FE_DIVBYZERO ); // [7]bool raised = fetestexcept ( FE_OVERFLOW ); // [8]si ( se elevó ) {puts ( "Desbordamiento inesperado." );}devolver r ;}int main ( void ) {#ifndef __STDC_IEC_559__puts ( "Advertencia: __STDC_IEC_559__ no está definido. El punto flotante IEEE 754 no es totalmente compatible." ); // [9]#finsi#pragma STDC FENV_ACCESS ON#ifdef PRUEBA_ESTABILIDAD_NUMÉRICA_UPfesetround ( FE_UPWARD ); // [10]#elif TEST_NUMERIC_STABILITY_DOWNfesetround ( FE_DOWNWARD );#finsiprintf ( "%.7g \n " , compute_fn ( 3.0 ));printf ( "%.7g \n " , cálculo_fn ( NAN ));devolver 0 ;}

__STDC_VERSION__Se define una macro estándar con un valor 199901Lpara indicar que hay soporte para C99. Al igual que con la __STDC__macro para C90, __STDC_VERSION__se puede usar para escribir código que se compilará de manera diferente para los compiladores C90 y C99, como en este ejemplo que garantiza que inlineesté disponible en ambos casos (reemplazándolo con staticen C90 para evitar errores del enlazador).

#if __STDC_VERSION__ >= 199901L /* "inline" es una palabra clave */ #else # define inline static #endif

La mayoría de los compiladores de C ofrecen soporte para al menos algunas de las características introducidas en C99.

Históricamente, Microsoft ha tardado en implementar nuevas características de C en sus herramientas Visual C++ , centrándose principalmente en dar soporte a los desarrollos de los estándares de C++. ^{[ 15 ]} Sin embargo, con la introducción de Visual C++ 2013, Microsoft implementó un subconjunto limitado de C99, que se amplió en Visual C++ 2015. ^{[ 16 ]}

Desde la ratificación del estándar C de 1999, el grupo de trabajo de estándares preparó informes técnicos que especifican una mejor compatibilidad con el procesamiento integrado, tipos de datos de caracteres adicionales ( compatibilidad con Unicode ) y funciones de biblioteca con comprobación de límites mejorada . Se sigue trabajando en informes técnicos que abordan la coma flotante decimal, funciones matemáticas especiales adicionales y funciones adicionales de asignación dinámica de memoria . Los comités de estándares de C y C++ han estado colaborando en las especificaciones para la programación multihilo .

La siguiente revisión del estándar C, C11 , fue ratificada en 2011. ^{[ 44 ]} El comité de estándares C adoptó directrices que limitaban la adopción de nuevas características que no hubieran sido probadas por implementaciones existentes. Se dedicó mucho esfuerzo al desarrollo de un modelo de memoria , con el fin de clarificar los puntos de secuencia y dar soporte a la programación multihilo .

• Compatibilidad de C y C++
• Informe técnico de C++ 1
• IEEE 754 , para una discusión más detallada sobre el uso de IEEE 754

• N1256 (borrador final del estándar C99 más TC1, TC2, TC3); WG14; 2007. ( Versiones HTML y ASCII )
• ISO/IEC 9899:1999 (norma oficial C99); ISO ; 1999.
• Fundamentación del C99 ; WG14; 2003.
• Cheng, Harry (1 de marzo de 2002). "C99 y computación numérica" . Dr. Dobb's Journal .
• Seebach, Peter (24 de marzo de 2004). "Desarrollo de código abierto usando C99" . developerWorks . IBM .

• Documentos del Grupo de Trabajo 14 (GT14) del Lenguaje C
• Carta C9X - WG14
• Novedades en C9X
• Características de C99