¿Por qué una cadena vacía literal en una matriz multidimensional decae a un puntero nulo?

Quiero definir una matriz de cadenas C multidimensional, inicializada por varios literales de cadena. En C haría lo siguiente:

#include <stdio.h>

const char *strArr[2][1] = { {"foo"}, {""}};

int main(void) {
    printf("%p\t%p\n", strArr[0][0], strArr[1][0]);
    return 0;
}

Compilar gcc -std=c18 -pedantic test.cy ejecutar resultados en:

$ ./a.out 
0x55d95410f004  0x55d95410f008

Como espero, el literal de cadena vacío en strArr[1][0]decae a un puntero válido.

Sin embargo, cuando intento el mismo código en C ++ :

#include <cstdio>

const char *strArr[2][1] = { {"foo"}, {""}};

int main(void) {
    printf("%p\t%p\n", strArr[0][0], strArr[1][0]);
    return 0;
}

Compilar g++ -std=c++17 -pedantic test.cppy ejecutar resultados en:

$ ./a.out 
0x55c61494d004  (nil)

Aquí, el literal de cadena vacío se strArr[1][0]desintegra en un puntero nulo. ¿Por qué sucede esto en C ++?

En el estándar C ++ 17, veo lo siguiente en 5.13.5 párrafo 16 :

Los literales de cadena ordinarios y los literales de cadena UTF-8 también se denominan literales de cadena estrecha. Un literal de cadena estrecha tiene el tipo "matriz de n const char", donde n es el tamaño de la cadena como se define a continuación y tiene una duración de almacenamiento estático (6.7).

Esto parece indicar que un literal de cadena vacío, al ser un literal de cadena normal, debe tener una duración de almacenamiento estático. Entonces, ¿por qué una cadena vacía literal se descompone en un puntero nulo?

c++ pointers g++ language-lawyer c-strings Vilhelm Gray
fuente

¿Por qué usar una matriz de estilo C en primer lugar? ¿Por qué no std::array?

Jesper Juhl el

@super una cadena vacía tiene un carácter: el terminador. Cuando lo imprime, genera una nada válida.

Veleta

Esto es probablemente solo una regresión de GCC 9. Debes informarlo y ver lo que dicen.

Brian

g ++ hace esto, clang no: gcc.godbolt.org/z/XkZcVy Parece un error de g ++.

PSkocik

@KeithThompson La creación de la cuenta en el sitio de bugzilla de GCC está restringida, por lo que envié una solicitud por correo electrónico que espero cumplir mañana. Por ahora, he abierto un informe de error en Gentoo: bugs.gentoo.org/701364

Vilhelm Gray

¿Por qué una cadena vacía literal en una matriz multidimensional decae a un puntero nulo?

Respuestas: