Tag Archive for: Template Metaprogramming

Posts

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…

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…

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.…

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…

Latest news

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, […]
Reflection in C++26: MetafunctionsSeptember 30, 2024 - 10:14 am
Reflection offers many metafunctions that run at compile time. The metafunctions are declared as consteval. consteval creates a so-called immediate function. Each invocation of an immediate function creates a compile-time constant. To say it more directly. A consteval (immediate) function is executed at compile-time. Read more about consteval and constinit in my previous post: Two […]