Da dove vengono i punti di sequenza?

Question

So che scrivere qualcosa di simile

++a = a++; 

è non solo illeggibile, ma viola anche i punti di C/C++ di sequenza.

Da dove vengono queste limitazioni? Come si possono vedere questi "problemi" prima di trovarli come bug?

Answer 1

Fondamentalmente c'è un punto di sequenza C++ 03 tra ogni istruzione. Per ulteriori informazioni vedere lo SO C++ FAQ. Per ulteriori informazioni consultare lo standard C++ e tenere presente che nel C++ 11 i punti di sequenza standard sono stati sostituiti con sequenziati prima dello e in sequenza dopo le relazioni.

Per evitare problemi, non cercare di essere troppo intelligente per fare molto in ogni espressione.

Non provare a eseguire il lavoro del compilatore: lasciatelo al compilatore. Il tuo compito è quello di scrivere codice che altri umani possano facilmente comprendere, ad esempio codice chiaro. Aggiornamenti multipli e l'uso inutile di operatori con effetti collaterali non è compatibile con quello.

Suggerimento: cospargere const quasi ovunque possibile.

Ciò limita le possibili modifiche di stato che un lettore deve prendere in considerazione.

Answer 2

How can one see those 'problems' before finding them as bugs?

Compilare il programma con il livello più rigido e attivare le impostazioni per tutti gli avvisi da segnalare come errori. La maggior parte dei compilatori tradizionali sottolinea gli errori di comportamento non definito a causa dei punti di sequenza.

con GCC è possibile utilizzare:

-Wsequence-point 

che devono segnalare problemi punto sequenza. Notare che è abilitato di default se si utilizza -Wall.

Naturalmente, il modo migliore è provare e scrivere codice più leggibile che eviti il ​​punto di sequenza mis-adventures.

Answer 3

Vengono dallo standard C o C++, che elenca efficacemente sequence points. In alcuni casi semplici, il compilatore potrebbe essere in grado di avvertirti che stai invocando un comportamento non definito, ma non nel caso generale.

Tuttavia, in genere si viola sempre i requisiti del punto di sequenza solo se si scrive codice "interessante" come il proprio esempio. Lo standard di lingua potrebbe imporre particolari restrizioni al codice come questo (che è ciò che fanno linguaggi come Java), ma non c'è un grande vantaggio e il potenziale svantaggio di impedire determinati tipi di ottimizzazione.

---

_{1. La terminologia è leggermente cambiata in C++ 11, ma il principio è ancora in gran parte lo stesso, penso.}