Caratteri letterali stringa che contengono '\ 0' - perché non sono gli stessi?

Question

Così ho fatto il seguente test:

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

E ora la domanda:

1) E 'garantito che a==b? So che sto confrontando gli indirizzi. Questo non è pensato per confrontare le stringhe, ma se letterali stringa identici sono memorizzati in una singola posizione di memoria

2) Perché non a==c? Il compilatore non dovrebbe essere in grado di vedere che si riferiscono alla stessa stringa?

3) È un ulteriore \0 aggiunto alla fine di c, anche se ne contiene già uno?

Non volevo chiedere a 3 domande diverse per questo perché sembrano in qualche modo correlati, mi dispiace per quello.

Nota: il tag è corretto, sono interessato al C++. (anche se si prega di specificare se il comportamento è diverso per C)

Answer 1

È garantito che a == b?

No. Ma è consentito dalla §2.14.5/12:

Se tutte le stringhe letterali sono distinte (cioè, vengono memorizzate in oggetti sovrapposti) è definito dall'implementazione. L'effetto del tentativo di modificare una stringa letterale non è definito.

E come si può vedere da questa ultima frase usando char* invece di char const* è una ricetta di guai (e il vostro compilatore dovrebbe essere di rigetto; assicuratevi di avere avvertimenti abilitati e livelli elevati di conformità selezionati).

Perché non a == c? Il compilatore non dovrebbe essere in grado di vedere che si riferiscono alla stessa stringa?

No, non è necessario che si riferiscano allo stesso array di caratteri. Uno ha cinque elementi, gli altri sei. Un'implementazione potrebbe memorizzare i due in memoria sovrapposta, ma non è necessario.

È un \ 0 aggiunto alla fine di c, anche se ne contiene già uno?

Sì.

Answer 2

1 - assolutamente no. a potrebbe == b se il compilatore sceglie di condividere la stessa stringa statica.

2 - perché non si riferiscono alla stessa stringa

3 - sì.

Il comportamento non è diverso tra C e C++ eccetto che i compilatori C++ devono rifiutare l'assegnazione a non-const char *.

Answer 3

Il problema qui è che stai mescolando i concetti di puntatore ed equivalenza testuale.

Quando dici a == b o a == c stai chiedendo se i puntatori coinvolti puntano allo stesso indirizzo fisico. Il test non ha nulla a che fare con il contenuto testuale dei puntatori.

Per ottenere testuale di equivalenza si dovrebbe usare strcmp

Answer 4

1) E 'garantito che a == b?

Non lo è. Nota che stai confrontando gli indirizzi e potrebbero puntare a posizioni diverse. La maggior parte dei compilatori intelligenti piegherebbe questa costante letterale duplicata, quindi i puntatori potrebbero essere uguali, ma di nuovo non è garantito dallo standard.

2) Perché non a == c? Il compilatore non dovrebbe essere in grado di vedere che si riferiscono alla stessa stringa?

Si sta tentando di confrontare i puntatori, che indicano diverse posizioni di memoria. Anche se stai confrontando il contenuto di tali indicatori, sono ancora disuguali (vedi la prossima domanda).

3) è un extra \ 0 aggiunto alla fine del c, anche se contiene già uno?

Sì, c'è.

Answer 5

Se si eseguono confronti tra puntatori di a! = B, b! = C e c! = A. A meno che il compilatore non sia abbastanza intelligente da notare che le prime due stringhe sono le stesse.

Se si esegue uno strcmp (str, str), tutte le stringhe torneranno come corrispondenze.

Non sono sicuro che il compilatore aggiungerà una terminazione null addizionale a c, ma suppongo che lo farebbe.

Answer 6

Prima nota che questo dovrebbe essere const char * in quanto è ciò che decadono i letterali delle stringhe.

1. Entrambi creare array inizializzate con 't' 'e' 's' 't' folowed da un '\ 0' (lunghezza = 5). Il confronto per l'uguaglianza ti dirà solo se entrambi iniziano con lo stesso puntatore, non se hanno lo stesso contenuto (sebbene logicamente, le due idee si susseguono l'un l'altra).
2. A non è uguale a C perché si applicano le stesse regole, a = 't' 'e' 's' 't' '\ 0' e b = 't' 'e' 's' 't' ' \ 0 '' \ 0 '
3. Sì, il compilatore lo fa sempre e non dovresti farlo in modo esplicito se stai creando una stringa come questa. Se hai comunque creato un array e lo hai compilato manualmente, devi assicurarti di aggiungere il valore \ 0.

Si noti che per il mio # 3, const char [] = "Ciao Mondo" sarebbe anche ottenere automaticamente il \ 0, alla fine, mi è stato refferring a riempire manualmente la matrice, non avendo il lavoro del compilatore fuori.

Answer 7

Come è stato detto poche volte in altre risposte, si stanno confrontando i puntatori.Tuttavia, vorrei aggiungere che strcmp(b,c) dovrebbe essere vero, perché smette di controllare il primo \0.