Pourquoi les opérations string :: append se comportent-elles étrangement?

Question

regarder le code simple suivant:

#include <iostream> 
#include <string> 
using namespace std; 

int main() 
{ 
    string s("1234567890"); 
    string::iterator i1 = s.begin(); 
    string::iterator i2 = s.begin(); 
    string s1, s2; 
    s1.append(i1, ++i1); 
    s2.append(++i2, s.end()); 

    cout << s1 << endl; 
    cout << s2 << endl; 
} 

ce que vous attendez-vous que la sortie soit?

voulez-vous, comme moi, attendent que ce soit:

1 
234567890 

mal! est:

234567890 

à-dire la première chaîne est vide. Les coutures qui préfixent l'opérateur d'incrémentation posent problème avec les itérateurs. ou ai-je oublié quelque chose?

Answer 1

Pas un bug.

L'ordre dans lequel les arguments de

s1.append(i1, ++i1); 

sont évalués ne sont pas spécifiées par la norme. Le compilateur est libre d'utiliser n'importe quel ordre qu'il choisit. Dans ce cas, il évalue le deuxième argument (++i1) avant le premier (i1) et vous spécifiez une plage null à copier.

Answer 2

Les implémentations C++ sont libres d'évaluer les arguments dans n'importe quel ordre. Dans ce cas, si ++ i1 est évalué en premier, vous obtiendrez une chaîne vide.

Answer 3

La norme C++ ne spécifie rien concernant l'ordre dans lequel les arguments de la fonction sont évalués, ce qui la rend dépendante de l'implémentation. C++ exige que les arguments d'une fonction soient complètement évalués (et tous les effets secondaires affichés) avant d'entrer dans la fonction, mais l'implémentation est libre d'évaluer les arguments dans n'importe quel ordre. les paramètres mêmes, résultant en une chaîne vide.

Plus d'informations sur ce comportement ici comp.compilers newsgroup

Answer 4

Il vous manque quelque chose: cela n'a vraiment rien à voir avec les itérateurs. L'ordre dans lequel les arguments d'une fonction sont évalués n'est pas spécifié. En tant que tel votre: append(i1, ++i1); dépendrait d'un comportement non spécifié, quel que soit le type de i1. Juste par exemple, donné quelque chose beaucoup plus simple comme:

void print(int a, int b) { 
    std::cout << a << " " << b << "\n"; 
} 

int main() { 
    int a =0; 
    print(a, ++a); 
    return 0; 
} 

Votre sortie pourrait parfaitement être raisonnablement « 0 1 » vous semblez attendre, mais il pourrait aussi parfaitement raisonnablement: « 1 1 ». Puisque ceci n'est pas spécifié, il peut changer d'une version du compilateur à l'autre, ou même avec le même compilateur quand vous changez de drapeaux, ou (en théorie) pourrait varier selon la phase de la lune ...