This post present a type trait to detect narrowing conversions as defined in the c++ standard. The basic idea is explained and then workarounds for bugs in GCC, Clang and MSVC are presented.

This is a quick note on the rules concerning the extension the lifetime of temporaries when bound to a reference. The main rule is introduced, the three exceptions presented and an example is given.

In this post we review the rules concerning the order of evaluation of expressions in c++14 and c++17. The sequenced-before partial order binary relation is introduced and copious references to the standard are given. Sequenced-before graphs are then introduced and used to determine the well-definedness (or undefinedness) of example expressions.