Discussion :

[vandamme]

Supposons que j'écrive ma propre exception qui dérive de std::exception et que je redéfinisse la fonction what() pour lui faire afficher un message particulier :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
const char* what() const throw()
{
return "Mon exception";
}

Puisque cette fonction retourne un objet const char* alloué sur la pile, je voulais savoir à l'utilisation si la zone pointée par le pointeur retourné par what() sera toujours valide ?
Par exemple est - ce que

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

e.what()

pointe toujours sur une zone de mémoire valide sachant que l'on est sorti du scope de la fonction what() ?
Apparement, ça marche mais j'ai quand même un doute ...

[Luc Hermitte]

Je soupçonne (à vérifier), que la valdité du pointeur renvoyé par what() est liée directement à la portée de l'objet exception.

[Alp]

C'est ce qui parait hélas le plus logique.
vandamme > ça donne quoi ?

[vandamme]

Non, apparemment, même en dehors de la portée de l'objet exception, la zone pointée est toujours valide.
Je ne comprends pas bien pourquoi ....

[Luc Hermitte]

Parce que l'emplacement mémoire correspondant :
- provient d'une zone statique de constantes ?
- n'a pas encore été écrasée par d'autres allocations ? (c'est pas comme si les dandling pointers se repéraient au premier accès après libération)

[vandamme]

Est ce que ça veut dire (dans les 2 cas) que ce type de code est à éviter ?

[loufoque]

Tu renvoies un pointeur vers une chaîne littérale, qui est allouée dans une zone statique en lecture seule.
Ton code est donc parfaitement valide.