Archive for category: Templates

PolicyAndTraits

Type Erasure

April 7, 2022

/

Type erasure based on templates is a pretty sophisticated technique. It bridges dynamic polymorphism…

A std::advance Implementation with C++98, C++17, and C++20

March 31, 2022

/

In my last post, I presented a possible std::advance implementation based on tag dispatching. One of…

PolicyAndTraits

Software Design with Traits and Tag Dispatching

March 21, 2022

/

Tag Dispatching enables it to choose a function based on the type characteristics. This decision takes…

PolicyAndTraits

Policy

March 13, 2022

/

Thanks to templates, there are new ways of software design. Policies and traits are two commonly used…

ExpressionTemplates

Avoiding Temporaries with Expression Templates

March 8, 2022

/

Expression templates are typically used in linear algebra and are "structures representing a computation…

StaticDynamic

Mixins

March 2, 2022

/

In my previous post "More about Dynamic and Static Polymorphism", I used the Curiously Recurring…

StaticDynamic

More about Dynamic and Static Polymorphism

February 25, 2022

/

In my last post, "Dynamic and Static Polymorphism", I introduced dynamic polymorphism. Today, I continue…

StaticDynamic

Dynamic and Static Polymorphism

February 18, 2022

/

Polymorphism is the property that different types support the same interface. In C++, we distinguish…

constexprIf

constexpr if

February 7, 2022

/

In today's post, I want to introduce an exciting C++17 feature: constexpr if. constexpr if enables it…

constexpr

constexpr and consteval Functions in C++20

February 4, 2022

/

With C++20, constexpr became way more powerful. Additionally, we have consteval functions in C++20…

Latest news

std::executionNovember 18, 2024 - 9:03 am
std::execution, previously known as executors or Senders/Receivers, provides “a Standard C++ framework for managing asynchronous execution on generic execution resources“. (P2300R10) Side Note Change of plans. My original plan was to present the C++26 library after the core language. However, the implementation status of the library is not good enough. Therefore, I decided to continue […]
C++26 Core Language: Small ImprovementsNovember 4, 2024 - 8:34 am
There are more small improvements in the C++26 language, which you should know. static_assert extension First, here’s the syntax of static_assert in C++11: static_assert(compile time predicate, unevaluated string) With C++26, the string can be a user-defined type having the following properties: static_assert can now be used with a format string. Here’s a nice example from […]
Placeholders and Extended Character SetOctober 28, 2024 - 10:19 am
Placeholders are a nice way to highlight variables that are no longer needed. Additionally, the character set of C++26 will be extended. Placeholders Structured bindings are a C++17 feature that allows you to bind multiple variables to the elements of a structured object. The following program demonstrates using tuples and structured bindings to return and […]
Contracts in C++26October 21, 2024 - 9:54 am
Contracts allow you to specify preconditions, postconditions, and invariants for functions. Contracts should already be part of C++20 but were removed in the standard meeting in Cologne. Here is what Herb Sutter said about contracts on Sutter’s Mill: “contracts is the most impactful feature of C++20 so far, and arguably the most impactful feature we […]
Reflection in C++26: Determine the LayoutOctober 14, 2024 - 9:42 am
Thanks to reflection, you can determine the layout of types. My examples are based on the reflection proposal P2996R5. Class Layout The following program determines the class layout of a few members. // classLayout.cpp #include <experimental/meta> #include <iostream> #include <utility> #include <vector> #include <array> struct member_descriptor { std::size_t offset; std::size_t size; bool operator==(member_descriptor const&) const […]
Reflection in C++26: Metafunctions for Enums and ClassesOctober 7, 2024 - 1:53 pm
Today, I continue my journey through reflection in C++26 and play with enums and classes. The names of the metafunctions to access an Enum or a Class member are often identical. Access the Members of an Enum The following program is based on one by Daveed Vandevoorde. Daveed is one of the fathers of reflection, […]