Pourquoi la valeur de retour de la file d'attente: avant() valide après la file d'attente :: pop()

Question

Je suis nouveau à C++ et a couru dans la suite soi-disant bug, mais en quelque sorte mon programme fonctionne très .. Voici le code

#include<iostream> 
#include<queue> 
#include <string> 


int main() 
{ 
string s ("cat"); 
queue<string> _queue; 
_queue.push(s); 
string & s1 = _queue.front(); 
_queue.pop(); 
// at this time s1 should become invalid as pop called destructor on s 
std::cout << s1 << std::endl; 
return 0; 

} 

Cela fonctionne simplement, même si s1 est une référence à un objet invalide. Existe-t-il un moyen d'affirmer que s1 se réfère vraiment à un objet invalide?

Answer 1

Si vous tentez d'accéder à un objet détruit comme vous le faites dans votre code, le comportement n'est pas défini. Et non, il n'y a pas de moyen fourni par la langue pour effectuer une vérification de l'exécution de cette situation. Il est de votre entière responsabilité de vous assurer que de telles choses ne se produisent pas dans votre code. Le fait que "ça marche" dans votre expérience est juste un accident (avec un certain degré de déterminisme informatique typique, comme d'habitude). Quelque chose de complètement différent peut changer dans votre programme, et ce code ne fonctionnera plus.