literales de cadena que contienen '\ 0' - por qué no son lo mismo?

Question

así lo hice la siguiente prueba:

char* a = "test"; 
char* b = "test"; 
char* c = "test\0"; 

Y ahora las preguntas:

1) ¿Es garantizado que a==b? Sé que estoy comparando direcciones. Esto no pretende comparar las cadenas, sino si se almacenan literales idénticos en una sola ubicación de memoria

2) ¿Por qué no a==c? ¿No debería el compilador ver que se están refiriendo a la misma cadena?

3) ¿Hay un \0 adicional al final de c, a pesar de que ya contiene uno?

no quería que pedir 3 preguntas diferentes para este, ya que parecen relacionados de alguna manera, lo siento 'combate que.

Nota: La etiqueta es correcta, estoy interesado en C++. (Aunque por favor, especifique si el comportamiento es diferente de C)

Answer 1

personal ¿Se garantiza que a == b?

No. Pero es permitido por §2.14.5/12:

Si todos los literales de cadena son distintos (es decir, que se almacenan en los objetos que no se superponen) es definido por la implementación. El efecto de intentar modificar un literal de cadena no está definido.

y como se puede ver a partir de esta última frase usando en lugar de char*char const* es una receta para problemas (y su compilador debe rechazarla; asegúrese de que tiene habilitadas las advertencias y los altos niveles de conformidad seleccionados).

¿Por qué no a == c? ¿No debería el compilador ver que se están refiriendo a la misma cadena?

No, no es necesario que se refieran a la misma matriz de caracteres. Uno tiene cinco elementos, los otros seis. Una implementación podría almacenar los dos en el almacenamiento superpuesto, pero eso no es obligatorio.

¿Hay un \ 0 agregado al final de c, a pesar de que ya contiene uno?

Sí.

Answer 2

1 - absolutamente no. a might == b aunque si el compilador elige compartir la misma cadena estática.

2 - debido a que no se refieren a la misma cadena

3 - sí.

El comportamiento no es diferente entre C y C++ aquí, excepto que los compiladores de C++ debe rechazar la asignación de carbón no constante *.

Answer 3

El problema aquí es que está mezclando los conceptos de puntero y equivalencia textual.

Cuando dice a == b o a == c pregunta si los punteros implicados apuntan a la misma dirección física. La prueba no tiene nada que ver con el contenido textual de los punteros.

Para obtener la equivalencia textual se debe utilizar strcmp

Answer 4

1) ¿Se garantizó que a == b?

No lo es. Tenga en cuenta que está comparando direcciones y que podrían estar apuntando a diferentes ubicaciones. La mayoría de los compiladores inteligentes doblarán esta constante literal duplicada, por lo que los punteros pueden comparar igual, pero nuevamente no está garantizado por el estándar.

2) ¿Por qué no a == c? ¿No debería el compilador ver que se están refiriendo a la misma cadena?

Está tratando de comparar punteros, apuntan a diferentes ubicaciones de memoria. Incluso si comparas el contenido de esos indicadores, siguen siendo desiguales (consulta la siguiente pregunta).

3) ¿Hay un \ 0 añadido al final de c, a pesar de que ya contiene uno?

Sí, la hay.

Answer 5

Si usted está haciendo comparaciones puntero que una! = B, b! = C, y c! = A. A menos que el compilador sea lo suficientemente inteligente como para notar que sus dos primeras cadenas son iguales.

Si lo hace un strcmp (str, str) entonces todas sus cadenas volverán como coincidencias.

no estoy seguro de si el compilador añadirá una terminación nula adicional a C, pero yo supongo que lo haría.

Answer 6

en primer lugar que este debe ser const char * ya que es lo literales de cadena a la caries.

1. Ambos crean matrices inicializadas con 't' 'e' 's' 't' seguido de '\ 0' (longitud = 5). Comparando por la igualdad solo le dirá si ambos comienzan con el mismo puntero, no si tienen los mismos contenidos (aunque lógicamente, las dos ideas se suceden).
2. A no es igual a C porque se aplican las mismas reglas, a = 't' 'e' 's' 't' '\ 0' y b = 't' 'e' 's' 't' ' \ 0 '' \ 0 '
3. Sí, el compilador siempre lo hace y no debería funcionar explícitamente si está creando una cadena como esta. Sin embargo, si embaló una matriz y la llenó manualmente, debe asegurarse de agregar la \ 0.

Tenga en cuenta que para mi # 3, const char [] = "Hello World" también obtendría automáticamente el \ 0 al final, me refirió a llenar manualmente la matriz, sin que el compilador la resolviera.

Answer 7

Como se ha dicho algunas veces en otras respuestas, está comparando punteros.Sin embargo, agregaría que strcmp(b,c) debería ser cierto, porque deja de verificarse en el primer \0.