¿Por qué el compilador no detecta fuera de límites en la inicialización de cadena constante?

Question

Leí esta pregunta y su respuesta en un libro. Pero no entendí la justificación del libro.

¿Va a estar compilando el siguiente código?

int main() 
{ 
    char str[5] = "fast enough"; 
    return 0; 
} 

Y la respuesta fue:

Yes.The compilador no detecta el error si límites de una matriz son superado.

No pude conseguirlo.

¿Alguien puede explicar esto?

Answer 1

En el estándar de C++, las matrices 8.5.2/2 personaje dice:

No se efectuarán más inicializadores que existen elementos de la matriz.

En el estándar C99, 6.7.8/2 inicialización dice:

Sin inicializador tratará de proporcionar un valor para un objeto no contenida dentro de la entidad ser inicializado

C90 6.5.7 Inicializadores dice similar.

Sin embargo, tenga en cuenta que para C (tanto C90 como C99) el carácter de terminación '\ 0' se colocará en la matriz si hay espacio. No es un error si el terminador no encaja (C99 6.7.8/14: "Caracteres sucesivos del literal de cadena de caracteres (incluido el carácter nulo de terminación si hay espacio o si el conjunto es de tamaño desconocido) inicializa los elementos del formación").

Por otro lado, el estándar de C++ tiene un ejemplo que indica que se debe diagnosticar un error si no hay espacio para el carácter de terminación.

en cualquiera de los casos, esto se debe diagnosticar como un error en todos los compiladores:

char str[5] = "fast enough"; 

compiladores Tal pre-ANSI no eran tan estrictos, pero cualquier compilador bastante moderna debe diagnosticar esto.

Answer 2

Su libro debe ser bastante viejo, porque gcc pone a cabo una advertencia, incluso sin -Wall encendido:

 
$ gcc c.c 
c.c: In function `main': 
c.c:6: warning: initializer-string for array of chars is too long 

Si actualizamos ligeramente el programa:

#include <stdio.h> 

int main(int argc, char **argv) 
{ 

     char str[5] = "1234567890"; 
     printf("%s\n", str); 
     return 0; 
} 

Podemos ver que gcc parece para truncar la cadena a la longitud que ha especificado; Soy asumiendo que es que es un '\0' donde str[6] estaría, porque de lo contrario deberíamos ver basura después del 5; pero tal vez gcc implícitamente hace str una matriz de longitud 6 y automáticamente pega el '\0' allí - No estoy seguro.

 
$ gcc c.c && ./a.exe 
c.c: In function `main': 
c.c:6: warning: initializer-string for array of chars is too long 
12345 

Answer 3

La comprobación vinculada a la matriz ocurre en tiempo de ejecución, no en tiempo de compilación. El compilador no tiene forma de hacer el análisis estático del código anterior que sería necesario para evitar el error.

ACTUALIZACIÓN: Aparentemente, la afirmación anterior es cierta para algunos compiladores y no para otros. Si su libro dice que compilará, debe estar refiriéndose a un compilador que no hace la verificación.

Answer 4

Porque "suficientemente rápido" simplemente un puntero a una cadena terminada nula. Es demasiado trabajo para el compilador averiguar si alguna vez la asignación a un char * o char [] va a ir más allá de los límites de la matriz.

Answer 5

Lo que está sucediendo es que estás tratando de inicializar una matriz de caracteres con más caracteres de los que la matriz tiene espacio. Aquí se explica cómo se divide:

char str[5]; 

Declara una matriz de caracteres con cinco caracteres.

char str[5] = "fast enough"; 

La segunda parte '= "suficientemente rápido";' luego intenta inicializar esa matriz con el valor "lo suficientemente rápido". Esto no funcionará, porque "lo suficientemente rápido" es más largo que la matriz.

Sin embargo, compilará. Los compiladores C y C++ generalmente no pueden realizar comprobaciones de límites en las matrices, y sobrepasar una matriz es una de las razones más comunes para las fallas de segmentación.[editar] Como señaló Mark Rushakoff, aparentemente los más nuevos lanzan advertencias, en algunos casos. [/ edit] Esto puede segfault cuando intentas ejecutarlo, más probablemente creo que la matriz simplemente se inicializará a "rápido".

Answer 6

La respuesta a la pregunta que ha citado es incorrecta. La respuesta correcta es "No. El código no compilará", asumiendo un compilador de C formalmente correcto (a diferencia de los caprichos de un compilador específico).

El lenguaje C no permite el uso de un literal de cadena excesivamente largo para inicializar una matriz de caracteres de un tamaño específico. La única flexibilidad permitida por el lenguaje aquí es el carácter de terminación \0. Si la matriz es demasiado corta para acomodar la terminación \0, la terminación \0 se elimina silenciosamente. Pero los caracteres de cadena literales reales no se pueden descartar. Si el literal es demasiado largo, es una violación de restricción y el compilador debe emitir un mensaje de diagnóstico.

char s1[5] = "abc"; /* OK */ 
char s2[5] = "abcd"; /* OK */ 
char s3[5] = "abcde"; /* OK, zero at the end is dropped (ERROR in C++) */ 
char s4[5] = "abcdef"; /* ERROR, initializer is too long (ERROR in C++ as well) */ 

Quien escribió su "libro" sabía de lo que estaban hablando (al menos sobre este tema específico). Lo que dicen en la respuesta es totalmente incorrecto.

Nota: El suministro de inicializadores de cadena excesivamente largos es ilegal en C89/90, C99 y C++. Sin embargo, C++ es aún más restrictivo en este sentido. C++ prohíbe colocar el carácter de terminación \0, mientras que C permite soltarlo, como se describe anteriormente.