Estoy usando gcc 4.9.1/Mingw y compilando el código con:
gcc test.c -otest.exe -std=c11 -pedantic-errors -Wall -Wextra
Este código da un diagnóstico:
int main (void) { char a[5] = {'h','e','l','l','o','\0'}; }error: exceso de elementos en el inicializador de matriz char a[5]
Sin embargo, este código no produce una advertencia:
int main (void) { char b[5] = "hello"; }Pensé que las dos formas eran 100% equivalentes. ¿Hay alguna razón o sutileza en el estándar C, etc., por la que este último no debería dar una advertencia?
¿O es un error del compilador? Sé que el estándar C permite inicializadores en exceso, a diferencia de C ++, por lo que formalmente no creo que se requiera gcc para dar un diagnóstico. Pero esperaría que el compilador brinde advertencias de manera consistente.
Mientras:
char a[5] = {'h','e','l','l','o','\0'};es inválido.
(C11, 6.7.9p2) "Ningún inicializador intentará proporcionar un valor para un objeto que no esté contenido dentro de la entidad que se está inicializando".
Este:
char b[5] = "hello";está explícitamente permitido por C (énfasis mío):
(C11, 6.7.9p14) "Una matriz de tipo de carácter se puede inicializar mediante una cadena de caracteres literal o una cadena UTF−8 literal, opcionalmente encerrada entre llaves. Los bytes sucesivos de la cadena literal ( incluido el carácter nulo de terminación si hay espacio o si la matriz es de tamaño desconocido) inicialice los elementos de la matriz".
Pero
char b[5] = "hello!";es inválido.
Es una peculiaridad extraña en el estándar C. En el pasado, la gente ocasionalmente usaba cadenas de longitud fija, no terminadas en nulo. (Un ejemplo fueron los nombres de archivo de 14 caracteres en V7 Unix). Entonces, para permitir que esos programas antiguos continúen compilando, es legal inicializar una matriz de caracteres de tamaño char con una constante de cadena que termina eliminando el '\0' , como acabas de observar.
Estoy de acuerdo en que es sorprendente que el inicializador {'h','e','l','l','o','\0'} advirtiera mientras que el "hello" no. Pero estas son dos formas muy diferentes, y resulta que las reglas para ellas son diferentes. Cuando le da un tamaño a su matriz y usa la forma {} , debe haber espacio para todos sus inicializadores, punto. Pero cuando das un tamaño y usas la forma "" , hay una excepción especial para ese caso y solo ese caso.
(Tampoco es legal en C++ para ninguna de las formas).
En
char b[5] = "hello"; \0 no se agrega a la cadena porque la matriz b tiene un tamaño de 5 . Esto es válido. El compilador piensa en ello como
char b[5] = {'h','e','l','l','o'}; Aquí b es una matriz de char s. Pero no se puede usar en un lugar donde se suponga un literal de cadena. Por ejemplo, no puede usar b en printf con el especificador %s o la función de familia str .