20
È sicuro inserire il puntatore NULL come parametro di strncmp se il terzo parametro è zero? Cioè invocazione come:È strNCmp (NULL, "foo", 0) ben definito?
strncmp(NULL, "foo", 0);
A
risposta
33
C standard dice che non si dovrebbe passare invalidi alla funzione di libreria, in generale.
Citando C11, capitolo §7.24.1, "convenzioni funzione di stringa", (sottolineatura mia)
Dove un argomento dichiarato
size_t nspecifica la lunghezza della matrice per una funzione ,npuò avere il valore zero su una chiamata a quella funzione. Se non diversamente specificato nella descrizione di una particolare funzione in questo sottopunto, gli argomenti del puntatore in tale chiamata devono ancora avere valori validi, come descritto in 7.1.4. In tale chiamata, una funzione che individua un carattere non trova alcuna occorrenza, una funzione che confronta due sequenze di caratteri restituisce zero e una funzione che copia i caratteri copia zero caratteri .
e non vedo alcuna menzione specifica (come eccezione al suddetto vincolo) nella funzione 7.24.4.4, strncmp().
Per aggiungere contesto per "puntatori non validi", citando §7.1.4/p1, L'utilizzo di funzioni di libreria
[...] Se un argomento a una funzione ha un valore non valido (ad esempio un valore fuori del dominio della funzione, o un puntatore all'esterno dello spazio indirizzo del programma, o un puntatore nullo, o un puntatore nella memoria non modificabili quando il corrispondente pa rameter non è const-qualificato) o un tipo (dopo la promozione) non previsto da una funzione con numero variabile di argomenti, il comportamento non è definito. [...]
e relativo NULL, citando §7.19, <stddef.h>
NULL
che si espande ad un puntatore nullo definita dall'implementazione costante; [...]
+0
Un puntatore nullo è un puntatore "non valido"? –
+9
sì, è (in questo contesto) 7.1.4/1 "Se un argomento di una funzione ha un valore non valido (ad esempio un valore esterno al dominio della funzione o un puntatore al di fuori dello spazio indirizzo del programma o un puntatore nullo, o un puntatore alla memoria non modificabile quando il parametro corrispondente non è const-qualificato) " –
+2
Nice find ...... –
8
Da the C strncmp documentation at cppreference.com:
Il comportamento è definita quando sia
lhsorhsè il puntatore nullo.
Basta leggere la documentazione.
+17
http://cppreference.com non è la "documentazione", è un Wiki pubblico scritto dagli appassionati . Dato il tag [tag: language-lawyer], non penso che dovremmo prendere in considerazione altro che lo standard del linguaggio per essere un riferimento autorevole per questa domanda. –
+3
@NateEldredge: Non ho detto che era autorevole, né "la" documentazione (è "la documentazione su cppreference.com"). Ma fare alcune ricerche di base sarebbe stato un buon inizio. Il PO avrebbe quindi potuto chiedere la conferma su ciò che avevano già visto dichiarato. Inserisci lo standard e l'eccellente risposta di Sourav. Considero che ci sia valore nel ricordare alle persone di leggere la documentazione. –
+1
Grazie per la risposta. In realtà ero interessato al tipo di risposta che Sourav ha fornito (con il tuo prezioso commento). Volevo trovare dei motivi contro righe di codice sospette come questa. – Marian
Problemi correlati
- 1. leggi (fd, NULL, 0); Che cosa fa? è ben definito?
- 2. Qual è la differenza tra "#if Foo - 0 == 0" e "#if definito (Foo) && Foo == 0"?
- 3. È * p ++ + = 2 ben definito?
- 4. `` x--> 0 && array [x] `comportamento ben definito in C++?
- 5. avviso ggplot2: impilamento non ben definito quando ymin! = 0
- 6. L'indice negativo per l'operatore [] è ben definito?
- 7. Questo comportamento del cast (char *) & x è ben definito?
- 8. perché scikitlearn afferma che il punteggio F1 non è ben definito con FN maggiore di 0?
- 9. C/C++ qual è il valore di ritorno di strncmp quando la dimensione è 0
- 10. Perché `null> = 0 && null <= 0` ma non` null == 0`?
- 11. Perché localStorage ["..."] non definito, ma localStorage.getItem ("...") è null?
- 12. strncmp in python
- 13. Perché typeof (Foo) restituisce mai null?
- 14. C++: il comportamento di distruzione del valore di ritorno ignorato è ben definito
- 15. 'goto * foo' dove foo non è un puntatore. Cos'è questo?
- 16. È ben definito il cast di xvalues su lvalue per passare alle funzioni?
- 17. MySQL Trasmetti NULL all'intero 0
- 18. Come trasformare null a 0
- 19. MySQL: NULL Typecasting a 0
- 20. Is std :: is_unsigned <bool> :: valore ben definito?
- 21. Math.min.apply restituisce 0 per null
- 22. Il comportamento della comunicazione MPI di un grado con se stesso è ben definito?
- 23. A = b || "Foo"; lamenta che "b" non è definito e non assegna a "foo". Cosa mi manca?
- 24. In Ruby, come posso controllare se il metodo "foo =()" è definito?
- 25. abstractmethod non è definito
- 26. Does size_t foo = 0; hai bisogno di un cast?
- 27. Il risultato delle operazioni bit a bit sui tipi di integrale firmato è ben definito?
- 28. Modo corretto per restituire stl map per riferimento/Questo comportamento è ben definito?
- 29. E 'ben definito/legale per il posizionamento-nuove più volte allo stesso indirizzo?
- 30. Il metodo openOrCreateDatabase (String, int, null) non è definito
Non è che il compilatore ottimizzerà l'intera istruzione? –
@SouravGhosh Forse ho semplificato troppo. Mi interessa il caso in cui tutti e tre i parametri sono variabili che ottengono quei valori in fase di esecuzione. – Marian
@SouravGhosh: È possibile che il compilatore lo sostituisca con una chiamata alle armi per i migliori di Westeros, a causa dell'UB :) –