Pourquoi ideone.com fait cela?

Question

J'ai récemment essaye d'exécuter ce code dans ideone.com ...

#include <iostream> 
#include <string> 

using namespace std; 

int getVal(string name) 
{ 
    if (name == "Devashish") return 0; 
    return 1; 
} 

int main() 
{ 
    cout << 5/getVal("Devashish"); 
    return 0; 
} 

Il est intéressant, ce code n'a pas jeté une exception et imprimé 5 en sortie. Le code est intentionnellement écrit pour produire une exception. Voici le lien ideone vers la compilation réussie et l'exécution du code bogué: http://ideone.com/ogDzDU

Lorsque j'ai essayé d'exécuter le même code sur Visual Studio, j'ai reçu une exception (ce qui était attendu). Juste curieux. Pourquoi idéone s'est comporté ainsi? Est-ce un bug dans leurs compilateurs ou un autre programme?

Answer 1

La division par zéro dans un programme C++ a un comportement strictement indéfini.

Cela signifie que personne ne peut dire comment votre programme va se comporter. Il pourrait déclencher une exception, mais il n'y a aucune garantie que ce sera le cas. Il pourrait aussi bien fonctionner et vous laisser perplexe, comme vous êtes maintenant.

C'est la nature de UB. Vous ne devriez certainement pas avoir UB dans votre code, car alors seulement vous pouvez raisonner à ce sujet. Mais en laissant le comportement indéfini, le standard C++ donne aux implémentations de grandes opportunités d'optimisation. Ils n'ont pas besoin d'ajouter constamment des contrôles qui soulèvent des exceptions lorsque nous en tant que programmeurs bousiller.