Discussion :

[Mat007]

Bonjour,

Je cherche la clause dans le standard (2003) qui dit que passer en argument à une fonction à nombre d'arguments variable un objet non-POD est un comportement indéfini.
En particulier je voudrais savoir si juste se servir d'une telle fonction pour le sizeof trick est aussi un comportement indéfini.

Je vois par exemple que dans le code de boost::type_traits::is_convertible ils ont l'air de considérer que c'est le cas, cf. par exemple le commentaire dans l'implémentation pour __GNUC__.
Je crois aussi me souvenir avoir vu des pieds et des mains (et un résultat pas très beau) dans l'implémentation de GoogleTest.

J'imagine que s'ils ont fait ça c'est pas pour le plaisir de se jouer la vie, mais je trouve ça bizarre...

MAT.

[JolyLoic]

5.2.2/7

Tel que je comprends la chose (mais je ne suis pas une référence à suivre pour ce genre de chose), c'est d'évaluer l'expression avec la fonction qui est un comportement indéterminé, chose que sizeof évite.

[Goten]

5.2.2 §7 :

[...]If the argument has a non-POD class type
(clause 9), the behavior is undefined.[...]

Et pour moi l'utiliser avec le sizeof trick c'est pas une UB parce que sizeof n'évalue pas l'expression. (c'est toute la beauté de sizeof :€ ).



edit : trop lent... mais je vois que Loic a la même interprétation que moi.

[Mat007]

Ok je vais continuer à utiliser ça alors !

Merci.

MAT.