Blog

templatesTypeTraits

The Type-Traits Library: Type Comparisons

November 26, 2021

/

In my last post, "The Type-Traits Library: Type Checks" I introduced type checks at compile time with…

smaller

And the Winners for the Seven Vouchers for Fedor’s Book “The Art of Writing Efficient Programs” are

November 23, 2021

/

I'm happy to present the seven winners in this post including their answers. Strange Packt Behavior First,…

templatesTypeTraits

The Type-Traits Library: Type Checks

November 18, 2021

/

The type-traits library is part of C++11 and supports type checks, type comparisons, and type modifications…

TemplateMetaprogramming

Template Metaprogramming – Hybrid Programming

November 12, 2021

/

First of all, hybrid programming is not an official term. I created it to emphasize an exciting aspect…

smaller

Seven Voucher for Fedor G. Pikus Book “The Art of Writing Efficient Programs”

November 7, 2021

/

I'm happy to announce that I have to offer five vouchers for a digital and two vouchers for a printed…

TemplateMetaprogramming

Template Metaprogramming – How it Works

November 5, 2021

/

In my last post, "Template Metaprogramming - How it All Started", I wrote about the roots of template…

TemplateMetaprogramming

Template Metaprogramming – How it All Started

October 26, 2021

/

Metaprogramming is programming on programs. C++ applies metaprogramming at compile time. It started in…

AutomaticReturnType

Automatic Return Type (C++11/14/20)

October 21, 2021

/

I started my discussion about the "Automatic Return Type (C++98)" in my last post. Today, I'm faced…

AutomaticReturnType

Automatic Return Type (C++98)

October 15, 2021

/

Depending on the used C++ standard, there are different ways to return the correct return type of a function…

templates

Dependent Names

October 7, 2021

/

A dependent name is essentially a name that depends on a template parameter. A dependent name can be…

templates

The Special Friendship of Templates

September 29, 2021

/

A friend has unrestricted access to the members of a class. Consequently, friendship should be given…

templates

Visiting a std::variant with the Overload Pattern

September 23, 2021

/

Typically, you use the overload pattern for a std::variant. std::variant is a type-safe union. A std::variant…

Latest news

Small Safety Improvements in the C++ 26 Core LanguageSeptember 22, 2025 - 10:16 am
Safety is an important concern in C++26. Contracts are probably the most important feature for safety. But C++26 has much more to offer. Today, I would like to introduce three small but important improvements in C++26 that solve typical safety issues in C++. Disallow binding a returned reference to a temporary A safety issue can be […]
Contracts: Evaluation SemanticSeptember 8, 2025 - 9:49 am
After briefly presenting the details of contracts in my last article, “Contracts: A Deep Dive“, I would like to take a closer look at the very interesting Evaluation Semantic in today’s article. If a contract assertion occurs, one of the four evaluation semantics is applied: ignore, observe, enforce, or quick-enforce. The table provides an overview […]
Contracts: A Deep DiveAugust 25, 2025 - 9:35 am
I already introduced contracts in the article “Contracts in C++26”. In this article and the next ones, I will dive deeper into the details. In this article, I refer mainly to the excellent proposal “Contracts for C++”. Unfortunately, proposal P2900R14 exceeds 100 pages in length. I will therefore try to summarize the most important points […]
Data-Parallel Types: AlgorithmsAugust 11, 2025 - 8:45 am
The data-parallel types library has four special algorithms for SIMD vectors. The four special algorithms are min, max, minmax, and clamp. min, max, and minmax The two algorithms min and max have in common that they each accept two SIMD vectors and return a SIMD vector. This contains the element-wise minimum or maximum of the […]
Data-Parallel Types: ReductionJuly 28, 2025 - 10:10 am
In this article, I will discuss reduction and mask reduction for data-parallel types. Reduction A reduction reduces the SIMD vector to a single element. The library provides three functions for this purpose: reduce, hmin, and hmax.The following program shows how these functions are used. // reduction.cpp #include <array> #include <experimental/simd> #include <functional> #include <iostream> #include […]
Data-Parallel Types: simd_maskJuly 14, 2025 - 9:16 am
Thanks to simd_mask, conditional execution of operations on data-parallel types is possible. Unfortunately, in my last article, Data-Parallel Types – A First Example, I forgot to introduce one of the new library functions. I will make up for that in this article. Where Expression The new keyword where creates a so-called where expression. This allows […]