La biblioteca estándar de C o libc es la biblioteca estándar para el lenguaje de programación C , como se especifica en el estándar ISO C. [1] A partir del estándar ANSI C original , se desarrolló al mismo tiempo que la especificación POSIX de la biblioteca C , que es un superconjunto de esta. [2] [3] Dado que ANSI C fue adoptado por la Organización Internacional de Normalización , [4] la biblioteca estándar de C también se denomina biblioteca ISO C.
La biblioteca estándar de C proporciona macros , definiciones de tipos y funciones para tareas como manejo de cadenas , cálculos matemáticos, procesamiento de entrada/salida, gestión de memoria y varios otros servicios del sistema operativo .
La interfaz de programación de aplicaciones (API) de la biblioteca estándar de C se declara en una serie de archivos de encabezado . Cada archivo de encabezado contiene una o más declaraciones de funciones, definiciones de tipos de datos y macros.
Después de un largo período de estabilidad, se agregaron tres nuevos archivos de encabezado ( iso646.h, wchar.h, y ) con el Anexo Normativo 1 (NA1), una adición al Estándar C ratificado en 1995. Se agregaron seis archivos de encabezado más ( , , , , y ) con C99 , una revisión del Estándar C publicada en 1999, y cinco archivos más ( , , , y ) con C11 en 2011. En total, ahora hay 29 archivos de encabezado:wctype.hcomplex.hfenv.hinttypes.hstdbool.hstdint.htgmath.hstdalign.hstdatomic.hstdnoreturn.hthreads.huchar.h
Tres de los archivos de encabezado ( complex.h, stdatomic.h, y threads.h) son características condicionales que las implementaciones no están obligadas a soportar.
El estándar POSIX agregó varios encabezados C no estándar para funciones específicas de Unix. Muchos de ellos se han incorporado a otras arquitecturas. Algunos ejemplos son fcntl.hy unistd.h. Varios otros grupos están utilizando otros encabezados no estándar: la biblioteca C de GNU tiene alloca.hy OpenVMS tiene la va_count()función .
En los sistemas tipo Unix, la documentación autorizada de la API se proporciona en forma de páginas de manual . En la mayoría de los sistemas, las páginas de manual sobre las funciones de la biblioteca estándar se encuentran en la sección 3; la sección 7 puede contener algunas páginas más genéricas sobre conceptos subyacentes (por ejemplo, man 7 math_erroren Linux ).
Los sistemas tipo Unix suelen tener una biblioteca C en forma de biblioteca compartida , pero los archivos de encabezado (y la cadena de herramientas del compilador) pueden faltar en una instalación, por lo que el desarrollo en C puede no ser posible. La biblioteca C se considera parte del sistema operativo en sistemas tipo Unix; además de las funciones especificadas por el estándar C, incluye otras funciones que son parte de la API del sistema operativo, como las funciones especificadas en el estándar POSIX . Las funciones de la biblioteca C, incluidas las del estándar ISO C, son ampliamente utilizadas por los programas y se consideran no solo una implementación de algo en el lenguaje C, sino también parte de facto de la interfaz del sistema operativo. Los sistemas operativos tipo Unix generalmente no pueden funcionar si se borra la biblioteca C. Esto es cierto para las aplicaciones que están vinculadas dinámicamente en lugar de estáticamente. Además, el núcleo en sí (al menos en el caso de Linux) opera independientemente de cualquier biblioteca.
En Microsoft Windows, las bibliotecas dinámicas del sistema central ( DLL ) proporcionan una implementación de la biblioteca estándar de C para el compilador Microsoft Visual C++ v6.0; la biblioteca estándar de C para las versiones más nuevas del compilador Microsoft Visual C++ es proporcionada por cada compilador individualmente, así como por paquetes redistribuibles . Las aplicaciones compiladas escritas en C están enlazadas estáticamente con una biblioteca de C, o enlazadas a una versión dinámica de la biblioteca que se envía con estas aplicaciones, en lugar de depender de que estén presentes en los sistemas de destino. Las funciones en la biblioteca de C de un compilador no se consideran interfaces para Microsoft Windows.
Existen muchas implementaciones de bibliotecas C, que se incluyen con varios sistemas operativos y compiladores de C. Algunas de las implementaciones más populares son las siguientes:
Algunos compiladores (por ejemplo, GCC [7] ) proporcionan versiones integradas de muchas de las funciones de la biblioteca estándar de C; es decir, las implementaciones de las funciones se escriben en el archivo de objeto compilado y el programa llama a las versiones integradas en lugar de las funciones del archivo de objeto compartido de la biblioteca de C. Esto reduce la sobrecarga de llamadas a funciones, especialmente si las llamadas a funciones se reemplazan con variantes en línea , y permite otras formas de optimización (ya que el compilador conoce las características de flujo de control de las variantes integradas), pero puede causar confusión durante la depuración (por ejemplo, las versiones integradas no se pueden reemplazar con variantes instrumentadas ).
Sin embargo, las funciones incorporadas deben comportarse como funciones ordinarias de acuerdo con ISO C. La implicación principal es que el programa debe ser capaz de crear un puntero a estas funciones tomando su dirección e invocar la función por medio de ese puntero. Si dos punteros a la misma función se derivan en dos unidades de traducción diferentes en el programa, estos dos punteros deben compararse como iguales; es decir, la dirección se obtiene al resolver el nombre de la función, que tiene un enlace externo (a nivel de programa).
En FreeBSD [8] y glibc, [9] algunas funciones como sin() no están enlazadas de forma predeterminada y, en su lugar, se incluyen en la biblioteca matemática libm . Si se utiliza alguna de ellas, se debe proporcionar al enlazador la directiva -lm. POSIX requiere que el compilador c99 admita -lm, y que las funciones declaradas en los encabezados math.h, complex.h, y fenv.hestén disponibles para enlazar si -lmse especifica , pero no especifica si las funciones están enlazadas de forma predeterminada. [10] musl satisface este requisito poniendo todo en una única biblioteca libc y proporcionando una libm vacía. [11]
De acuerdo con el estándar C, la macro __STDC_HOSTED__se debe definir como 1 si la implementación está alojada. Una implementación alojada tiene todos los encabezados especificados por el estándar C. Una implementación también puede ser independiente , lo que significa que estos encabezados no estarán presentes. Si una implementación es independiente , se debe definir __STDC_HOSTED__como 0 .
Algunas funciones de la biblioteca estándar de C son conocidas por tener vulnerabilidades de desbordamiento de búfer y, en general, por fomentar una programación llena de errores desde su adopción. [a] Los elementos más criticados son:
strcpy()y strcat(), por falta de verificación de límites y posibles desbordamientos de búfer si los límites no se verifican manualmente;printf()Familia de rutinas que estropean la pila de ejecución cuando la cadena de formato no coincide con los argumentos proporcionados. Esta falla fundamental creó una clase completa de ataques: ataques de cadena de formato ;gets()y scanf()familia de rutinas de E/S, por falta de verificación de longitud de entrada (ya sea alguna o fácil).Excepto en el caso extremo de gets(), todas las vulnerabilidades de seguridad se pueden evitar introduciendo código auxiliar para realizar la gestión de memoria, comprobación de límites, comprobación de entrada, etc. Esto se suele hacer en forma de envoltorios que hacen que las funciones de la biblioteca estándar sean más seguras y fáciles de usar. Esto se remonta al libro The Practice of Programming de B. Kernighan y R. Pike, donde los autores suelen utilizar envoltorios que imprimen mensajes de error y cierran el programa si se produce un error.
El comité C de ISO publicó los informes técnicos TR 24731-1 [12] y está trabajando en el TR 24731-2 [13] para proponer la adopción de algunas funciones con comprobación de límites y asignación automática de búfer, correspondientemente. El primero ha recibido duras críticas y algunos elogios, [14] [15] el segundo ha recibido respuestas mixtas. A pesar de esto, el TR 24731-1 se ha implementado en la biblioteca estándar C de Microsoft y su compilador emite advertencias cuando se utilizan funciones antiguas "inseguras".
La strerror()rutina es criticada por no ser segura para los subprocesos y por ser vulnerable a las condiciones de carrera .
El manejo de errores de las funciones en la biblioteca estándar de C no es consistente y a veces resulta confuso. Según la página del manual de Linux math_error, "La situación actual (versión 2.8) bajo glibc es confusa. La mayoría de las funciones (pero no todas) generan excepciones en caso de errores. Algunas también establecen errno . Unas pocas funciones establecen errno , pero no generan una excepción. Unas pocas funciones no hacen ninguna de las dos cosas". [16]
El lenguaje C original no proporcionaba funciones integradas como operaciones de E/S, a diferencia de los lenguajes tradicionales como COBOL y Fortran . [ cita requerida ] Con el tiempo, las comunidades de usuarios de C compartieron ideas e implementaciones de lo que ahora se denomina bibliotecas estándar de C. Muchas de estas ideas se incorporaron eventualmente a la definición del lenguaje C estandarizado.
Tanto Unix como C fueron creados en los Laboratorios Bell de AT&T a finales de los años 60 y principios de los 70. Durante los años 70, el lenguaje C se hizo cada vez más popular. Muchas universidades y organizaciones comenzaron a crear sus propias variantes del lenguaje para sus propios proyectos. A principios de los años 80, los problemas de compatibilidad entre las diversas implementaciones de C se hicieron evidentes. En 1983, el Instituto Nacional Estadounidense de Estándares (ANSI) formó un comité para establecer una especificación estándar de C conocida como " ANSI C ". Este trabajo culminó en la creación del llamado estándar C89 en 1989. Parte del estándar resultante fue un conjunto de bibliotecas de software llamado biblioteca estándar ANSI C.
POSIX , así como SUS , especifican una serie de rutinas que deberían estar disponibles además de las de la biblioteca estándar básica de C. La especificación POSIX incluye archivos de encabezado para, entre otros usos, multi-threading , networking y expresiones regulares . Estos se implementan a menudo junto con la funcionalidad de la biblioteca estándar de C, con distintos grados de proximidad. Por ejemplo, glibc implementa funciones como forkwithin libc.so, pero antes de que NPTL se fusionara con glibc, constituía una biblioteca separada con su propio argumento de indicador de enlazador. A menudo, esta funcionalidad especificada por POSIX se considerará parte de la biblioteca; la biblioteca básica de C puede identificarse como la biblioteca ANSI o ISO de C.
BSD libc es un superconjunto de la biblioteca estándar POSIX compatible con las bibliotecas C incluidas en los sistemas operativos BSD, como FreeBSD , NetBSD , OpenBSD y macOS . BSD libc tiene algunas extensiones que no están definidas en el estándar original, muchas de las cuales aparecieron por primera vez en la versión 4.4BSD de 1994 (la primera que se desarrolló en gran medida después de que se publicara el primer estándar en 1989). Algunas de las extensiones de BSD libc son:
sys/tree.h – contiene una implementación de árbol rojo-negro y árbol de dispersión [17] [18]sys/queue.h – implementaciones de listas enlazadas , colas , cola de cola, etc. [19] [20]fgetln() – definido en stdio.h. Esto se puede utilizar para leer un archivo línea por línea. [21] [22] [23]fts.h – contiene algunas funciones para recorrer una jerarquía de archivos [24] [25]db.h – algunas funciones para conectarse a la base de datos Berkeley [26] [27]strlcat()y strlcpy() – alternativas seguras para strncat()y strncpy()[28] [29] [30] [31] [32]err.h – contiene algunas funciones para imprimir mensajes de error formateados [33] [34]vis.h – contiene la vis()función. Esta función se utiliza para mostrar caracteres no imprimibles en un formato visual. [35] [36] [37]Algunos lenguajes incluyen la funcionalidad de la biblioteca estándar de C en sus propias bibliotecas. La biblioteca puede ser adaptada para ajustarse mejor a la estructura del lenguaje, pero la semántica operacional se mantiene similar. El lenguaje C++ , por ejemplo, incluye la funcionalidad de la biblioteca estándar de C en el espacio de nombres std (por ejemplo, std::printf, std::atoi, std::feof), en archivos de encabezado con nombres similares a los de C ( cstdio, cmath, cstdlib, etc.). Otros lenguajes que adoptan enfoques similares son D , Perl , Ruby y la implementación principal de Python conocida como CPython . En Python 2, por ejemplo, los objetos de archivo integrados se definen como "implementados usando stdioel paquete de C", [38] de modo que se espera que las operaciones disponibles (abrir, leer, escribir, etc.) tengan el mismo comportamiento que las funciones de C correspondientes. Rust tiene una caja llamada libc que permite utilizar varias funciones de C, estructuras y otras definiciones de tipo. [39]
La biblioteca estándar de C es pequeña en comparación con las bibliotecas estándar de otros lenguajes. La biblioteca de C proporciona un conjunto básico de funciones matemáticas, manipulación de cadenas, conversiones de tipos y E/S basadas en archivos y consolas. No incluye un conjunto estándar de " tipos de contenedor " como la biblioteca de plantillas estándar de C++ , y mucho menos los kits de herramientas de interfaz gráfica de usuario (GUI) completos, las herramientas de red y la profusión de otras funciones que Java y .NET Framework proporcionan como estándar. La principal ventaja de la pequeña biblioteca estándar es que proporcionar un entorno ISO C funcional es mucho más fácil que con otros lenguajes y, en consecuencia, portar C a una nueva plataforma es comparativamente fácil.
gets()fue creado ya en 1988.