Int a = 5; a = a++ + ++a; a =? (2011)

Re:Int a = 5; a = a++ + ++a; a =? (2011) by el_pollo_diablo on Thursday May 14, 2026 @05:20PM (#48141406)

Type punning via unions is not UB in C in general, but it is in C++ IIRC.

I write "in general" because, as with other forms of memory reinterpretation (memcpy or copy through a character type), evaluating a trap representation triggers UB.

[ Parent | on HN ]

Re:Int a = 5; a = a++ + ++a; a =? (2011) by Chaosvex on Thursday May 14, 2026 @11:11PM (#48144119)

The short version is that it's fine in C++ as long as you only read the member that was last written to or a char type.

[ Parent | on HN ]

Re:Int a = 5; a = a++ + ++a; a =? (2011) by 1718627440 on Friday May 15, 2026 @08:51AM (#48147960)

And a slightly longer version is, that there are three types involved: the type of access, the effective type of the object[0], and the type of the variable. The type of the variable is only for the compiler to emit warnings, as long as the effective type and the type of access are equal, it isn't UB.

[0] the C meaning of an object, not the C++ one

[ Parent | on HN ]