Manipulation de chaînes en C, syntaxiquement correcte, mais ne fonctionne pas avec MacOS ou freeBSD

Question

OK pour Linux 32/64 Windows 32/64 compilé avec GCC, DOS et OS2 avec compilateur MS sur Mac OS o BSD compilé avec GCC, aller à la boucle infinie

char *b,p[]={'0','1','2','3','4','5','6','7','8','9','\0'}; 
for (b=p;(*(b++)=*b);); 
printf("p=%s\n",p); 

// result: 
// 123456789 

// Test for MacOS or BSD 
unsigned char Test=0x0F; 
for (b=p;((*(b++)=*b) && --Test);); 
if (!Test) printf("Error\n"); 


// OK for Mac OS or FreeBSD 
for (b=p;(*b);b++) *b=*(b+1); 
printf("p=%s\n",p); 

// result: 
// 123456789 

ok, maintenant il fonctionne, mais la question reste, pourquoi il ne fonctionne pas si la syntaxe est correcte?

Answer 1

Le problème est que cette expression est non séquencée:

*(b++)=*b 

Essentiellement, la valeur en cours de modification est accessible à plus d'une fois sans point de séquence entre les deux. Cela signifie que le comportement est indéfini.

Votre autre expression est libre de comportement non défini, car la modification se produit dans l'en-tête de la boucle:

*b=*(b+1) 

syntaxe