URL: https://linuxfr.org/forums/programmation-c/posts/bizarrerie-operateur-ternaire
Title: Bizarrerie opérateur ternaire (?:)
Authors: Claude SIMON
Date: 2020年06月10日T20:49:23+02:00
License: CC By-SA
Tags: c++, opérateur_ternaire et destructeur
Score: 2
Je suis tombé sur un comportement concernant l'opérateur ternaire C++ (`?:`) qui (me) semble bizarre. Il est peut-être tout à fait normal, compte tenu que trois compilateurs différents ont le même comportement, mais je ne trouve pas d'explication satisfaisante.
Il porte sur le passage, en tant que paramètres d'un opérateur ternaire, d'un objet déjà instancié, et de l'instanciation à la volée d'un objet du même type. Le destructeur de l'objet déjà instancié est appelé à priori sans que cela ai lieu d'être.
Voici le source d'un programme mettant ce comportement en exergue :
```C++
#include <iostream>
class my_class {
protected:
 char c_;
public:
 my_class(char c) {
 c_ = c;
 std::cout << "Ctor: " << c_ << std::endl << std::flush; } ~my_class() { std::cout << "Dtor: " << c_ << std::endl << std::flush; } }; #define M(e)\ std::cout << std::endl << "true ? " << #e << std::endl << std::flush;\ (true ? e) int main() { my_class A('A'), B('B'); M(A : B); M( A : my_class('C') ); M( my_class('D') : A ); M( my_class('E') : my_class('F') ); std::cout << std::endl << "End" << std::endl << std::flush; } ``` Voici le résultat de ce programme. On y voit les paramètres de l'opérateur ternaire, et les éventuels appels aux constructeurs et/ou aux destructeurs. Le texte ***en gras et italique*** est de mon fait, pour signaler là où je vois un problème.> Ctor: A> Ctor: B>> true ? A : B>> true ? A : my_class('C')> Dtor: A ***--> Pourquoi le destructeur de l'objet `A` est-il appelé ?***>> true ? my_class('D') : A> Ctor: D> Dtor: D>> true ? my_class('E') : my_class('F')> Ctor: E> Dtor: E>> End> Dtor: B> Dtor: A
Si vous voulez constater ce comportement de visu, il suffit de suivre ce lien : https://repl.it/@AtlasTK/C-bug
</div><div class="naked_ctrl">
<form action="/index.cgi/contrast" method="get" name="gate">
<p><a href="http://altstyle.alfasado.net">AltStyle</a> によって変換されたページ <a href="httpS://linuxfr.org/forums/programmation-c/posts/bizarrerie-operateur-ternaire.md">(-&gt;オリジナル)</a>
/ <label>アドレス: <input type="text" name="naked_post_url" value="httpS://linuxfr.org/forums/programmation-c/posts/bizarrerie-operateur-ternaire.md" size="22" /></label> <label>モード: <select name="naked_post_mode">
<option value="default">デフォルト</option>
<option value="speech">音声ブラウザ</option>
<option value="ruby">ルビ付き</option>
<option value="contrast" selected="selected">配色反転</option>
<option value="larger-text">文字拡大</option>
<option value="mobile">モバイル</option>
</select>
<input type="submit" value="表示" />
</p>
</form>
</div>