Dado el hecho de que las variables locales dentro de una función en C se empujan a la pila una vez que se llama a la función (después de empujar las variables que se pasan a la función), ¿hay algún límite para la cantidad de dichas variables antes de que se desborde el búfer de la pila? ¿O ese límite solo está dado por la cantidad de RAM que tiene un host determinado?
Intenté probar esto creando un archivo .C de 4,6 gb con una sola función que tiene 25000 * 13 variables declaradas e inicializadas en 0. Dicha función se llama dentro de main()
pero se compiló bien (con -O0) y no se estrelló.
Por ejemplo según el Estándar C (5.2.4.1 Límites de traducción)
1 La implementación deberá poder traducir y ejecutar al menos un programa que contenga al menos una instancia de cada uno de los siguientes límites:
— 4095 identificadores externos en una unidad de traducción
— 511 identificadores con alcance de bloque declarados en un bloque
El tamaño de pila predeterminado para el subproceso principal es 8 MiB en macOS (de la página de manual de ld
), 2 MiB en Linux (según el interruptor --stack
aquí ) y 1 MiB en Windows (según esta página ). Los subprocesos adicionales creados dentro del programa pueden tener pilas más pequeñas. (Nota: las diversas fuentes citadas usan "MB" o "Mb"; las he interpretado en contexto para significar 1,048,576 bytes = 1 MiB).
Se puede solicitar un tamaño de pila diferente al vincular el programa a un archivo ejecutable.
Las funciones usan el espacio de la pila para varias cosas, incluido el paso de argumentos, el establecimiento de marcos de pila para lanzar excepciones, a veces la depuración de información y el espacio de trabajo temporal, por lo que no existe una correlación directa entre la cantidad de memoria utilizada para la pila y la cantidad de variables que Puede ser definido.
Como no preguntas sobre los requisitos mínimos escribiré sobre el estándar C
Los compiladores conformes modernos hoy en día no establecen ningún límite (Microsoft no cuenta porque no es conforme). Está limitado por los recursos informáticos disponibles.
Otra parte de la cadena de herramientas (enlazador, objeto y limitaciones de archivos ejecutables, etc.) podría poner algunos límites adicionales, pero los compiladores principales modernos generalmente no tienen ninguno.