The surprising codegen impact of noexcept
March 2, 2020
Would spamming the noexcept keyword make your code faster? Sometimes. But not always. Consider the following snippet of code: I intentionally do not define g in this translation unit since…
Blog
Concepts in Programming Languages, Part I: Judgements and Inference Rules
January 26, 2020
From a layman's perspective, the field of programming language research is full of jargon, greek letters, and weird symbols. On the one hand, Those common parlances make the programming language…
Const Correctness Issue of std::function
December 30, 2019
The const type qualifier is one of the jewels of the C++ language design. Surrounding by this feature, we devise the " const correctness" practice to prevent const objects from getting mutated…
Make Impossible State Unrepresentable, in C++
October 26, 2019
At CppCon 2019, I gave a lightning talk at called Make Impossible State Unrepresentable . Due to the nature of a 5 minutes lightning talk, it was handwavy, and I cut a lot of prepared contents to…
We are defining assignment operators wrong.
October 14, 2019
Update: Apparently there is a WG21 paper on this subject that goes in much more detailed than my post. I am surprised that I missed his CppCon talk on this topic and come into the silimar conclusion…