Archive for category: Blog

optical illusion 311130 1280

Types-, Non-Types, and Templates as Template Parameters

February 27, 2019

/

I assume you saw the additional keywords typename or template used before a name in a template. Me too.…

santa claus 2927962 1280

Templates: Misconceptions and Surprises

February 22, 2019

/

I often teach the basics of templates. Templates are special. Therefore, I encounter many misconceptions…

animal 1821737 1280

C++ Core Guidelines: Surprise included with the Specialisation of Function Templates

February 15, 2019

/

Today, I finish the C++ core guidelines rules to templates with a big surprise for many C++ developers.…

maki 3295891 1280

C++ Core Guidelines: Other Template Rules

February 8, 2019

/

Today, I write about the few remaining rules to templates. Because a collective name is missing, they…

constexpr

C++ Core Guidelines: Programming at Compile Time with constexpr

February 1, 2019

/

My mini-series about programming at compile time started with template metaprogramming, continued with…

TypeTraits

C++ Core Guidelines: Programming at Compile Time with Type-Traits (The Second)

January 24, 2019

/

The type-traits library supports type checks, type comparisons, and type modifications at compile time.…

TypeTraits

C++ Core Guidelines: Programming at Compile Time with the Type-Traits

January 17, 2019

/

My journey through programming at compile time began in the last posts with template metaprogramming.…

Overview

C++ Core Guidelines: Programming at Compile Time

January 10, 2019

/

Today, I will continue my introduction to programming at compile time. The last post started with template…

dinosaur 966869 1280

C++ Core Guidelines: Rules for Template Metaprogramming

January 3, 2019

/

Yes, you read it correctly. Today, I write about template metaprogramming, programming with types and…

cppDepend

CppDepend – A Review

December 30, 2018

/

In my concurrency class, I use more than 60 programs. Most of the programs consist of a single source…

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 […]