Tag Archives: advanced-c++

Reflection for aggregates

Posted on October 1, 2020 by Andrzej Krzemieński

An aggregate is an array or a class with no user-declared or inherited constructors, no private or protected direct non-static data members, no virtual functions, and no virtual, private, or protected base classes. Aggregates can be initialized in aggregate initialization, … Continue reading →

Posted in programming | Tagged , , | 1 Comment

Ordering by constraints

Posted on May 7, 2020 by Andrzej Krzemieński

In the previous post we have seen how constraint conjunction and disjunction works, and how a function template with constraints is a better match than a function template without constraints (provided that the constraints are satisfied) when determining the best … Continue reading →

Posted in programming | Tagged , , , | 8 Comments

Requires-clause — updated

Posted on April 13, 2020 by Andrzej Krzemieński

The previous post, “Requires-clause”, contained incorrect information about parentheses inside a requires-clause. Token || inside parentheses is still interpretted as a disjunction of two constraints. I apologize for misleading the readers. I also want to thank James Pfeffer for bringing … Continue reading →

Posted in programming | Tagged , , , | 2 Comments

Requires-clause

Posted on March 26, 2020 by Andrzej Krzemieński

Update. This post in its original form contained incorrect information about the meaning of parentheses inside requires-clauses in section Conjunction and Disjunction. The section has now been changed to correct this. The updated text is in blueish color. Even if … Continue reading →

Posted in programming | Tagged , , , | 15 Comments

Short-circuiting in meta-functions

Posted on December 23, 2019 by Andrzej Krzemieński

Short-circuiting in logical operations is a very useful and an often used feature: Should cond_a() evaluate to false, cond_b() is guaranteed not to be evaluated. This is useful for two reasons. One is performance: if cond_b() is an expensive operation … Continue reading →

Posted in programming | Tagged , , , | 4 Comments

Faces of undefined behavior

Posted on October 27, 2018 by Andrzej Krzemieński

I have been busy recently (doing C++-related stuff) and cannot find a spare time for preparing a decent blog post. I expect that to change in November. For the interim I am posting here my last year’s talk at code::dive: … Continue reading →

Posted in programming | Tagged , , , , , | 1 Comment

A friendly type predicate

Posted on December 20, 2017 by Andrzej Krzemieński

This is a sequel to the previous post on writing a custom type predicate. One of the readers on Reddit made a very insightful observation. The user has implemented a type that she intends to use with our library, call … Continue reading →

Posted in programming | Tagged , , , , , | 1 Comment

Your own type predicate

Posted on December 2, 2017 by Andrzej Krzemieński

In this post we will see how to define a type trait or a type predicate or a meta-function that would allow us to check at compile time whether a type exposes an interface that we need. That is, we … Continue reading →

Posted in programming | Tagged , , , , , , | 19 Comments

Compile-time string concatenation

Posted on June 28, 2017 by Andrzej Krzemieński

We will start with a bug, taken from real life. It spans across three files: Question: what happens when this program is executed?

Posted in programming | Tagged , , , , , | 35 Comments