: Standard C++

Home » Blog » Categories »

« Prev Next »

Type Safe C++ enum Extensions -- Alf Steinbach

By Blog Staff | Jun 28, 2023 07:36 AM | Tags: None

Is it possible to extend a value type in C++? Alf Steinbach describes how to extend enum values.

Type Safe C++ enum Extensions

by Alf Steinbach

From the article:

Consider if an enum like the following,
  enum class Suit{
  spades, hearts, diamonds, clubs };
could be extended like
  enum class Suit_with_joker extends Suit {
    joker };
where

Suit_with_joker has all the enumerators of Suit plus the joker enumerator; and

enumerators introduced in Suit_with_joker get integer values following those of Suit; and

any Suit value is also a Suit_with_joker value.

This would be an example of what I’ll call a value type extension.

The apparently backwards is-a relationship in the last point, where any value of the original type is-a value of the derived type, is characteristic of value type extensions.

C++20 totally lacks support for value type extensions, of enum types or other types.

CppCon 2022 Finding Whether a Number is a Power of 2 -- Ankur Satle

By Blog Staff | Jun 27, 2023 04:50 PM | Tags: None

Registration is now open for CppCon 2023! The conference starts on October 1 and will be held in person in Aurora, CO. To whet your appetite for this year’s conference, we’re posting videos of some of the top-rated talks from last year's conference. Here’s another CppCon talk video we hope you will enjoy – and why not register today for CppCon 2023!

Lightning Talk: Finding Whether a Number is a Power of 2

by Ankur Satle

Summary of the talk:

I asked this question on social media and got many diverse responses. I will present the various approaches and compare them. I will finish with the options C++20 provides with the bit header. https://en.cppreference.com/w/cpp/numeric/has_single_bit

CppCon 2022 Who is Looking for a C++ Job? -- Jens Weller

By Blog Staff | Jun 26, 2023 04:48 PM | Tags: None

Lightning Talk: Who is Looking for a C++ Job?

by Jens Weller

Summary of the talk:

A few insights on who has been applying for C++ jobs and visited the Meeting C++ online job fairs.

It’s Great That You Provide Operator Overloads, But It’s Also Nice to Have Names -- Raymond Chen

By Blog Staff | Jun 25, 2023 05:08 PM | Tags: None

Operator overloading. Looks great. Reduces verbosity. Until it doesn’t.

It’s Great That You Provide Operator Overloads, But It’s Also Nice to Have Names

by Raymond Chen

From the article:

Consider this overloaded function call operator:
struct StorageLoader
{
    template<DataType>
    DataType operator()(StorageOptions<DataType> const* options);
};
The idea is that you can use the function call operator on a StorageLoader object to load data from storage, using a StorageOptions to describe how you want it to be loaded.

CppCon 2022 Template Meta-Programming in C++ -- Kris Jusiak

By Blog Staff | Jun 23, 2023 04:42 PM | Tags: None

Lightning Talk: MP: Template Meta-Programming in C++

by Kris Jusiak

Summary of the talk:

In this lightning talk, Kris attempts to teach template meta-programming in 5 minutes with the use of C++20 and ranges.

Object Lifetime -- Ilya Doroshenko

By Blog Staff | Jun 22, 2023 07:23 AM | Tags: None

Today, we are going to talk about an object. Without further ado, let’s dive deeper!

Object Lifetime

by Ilya Doroshenko

From the article:

What is an object? According to the C++ standard, part 3.9.8 under the name of [basic.types]

 An object type is a (possibly cv-qualified) type that is not a function type, not a reference type, and not a void type.
Now is int i an object? Yes.

Is void* p an object? Still yes, because pointers are types themselves, they are not references.

As we said, references are not types, but what if we declare something like struct S{ int& ref;}; would that be an object type?

CppCon 2022 Back to Basics: Templates in C++ -- Nicolai Josuttis

By Blog Staff | Jun 21, 2023 01:34 PM | Tags: None

Back to Basics: Templates in C++

by Nicolai Josuttis

Summary of the talk:

Templates are among the most powerful features of C++, but they remain misunderstood and underutilized, even as the C++ language and development community have advanced. This talk shows when and how to use modern templates to build software that's cleaner, faster, more efficient, and easier to maintain. We will cover all basic aspects of templates you have to know when programming generic code in Modern C++

Dealing with Mutation: Guarded Suspension -- Rainer Grimm

By Blog Staff | Jun 20, 2023 10:35 AM | Tags: None

Guarded Suspension applies a unique strategy to deal with mutation. It signals when it is done with its modification.

Dealing with Mutation: Guarded Suspension

by Rainer Grimm

From the article:

The guarded suspension basic variant combines a lock and a precondition that must be satisfied. If the precondition is not fulfilled, that checking thread puts itself to sleep. The checking thread uses a lock to avoid a race condition that may result in a data race or a deadlock.

Various variants of the Guarded Suspension exist:

The waiting thread can passively be notified about the state change or actively ask for the state change. In short, I call this push versus pull principle.

The waiting can be done with or without a time boundary.

The notification can be sent to one or all waiting threads.

I present in this post only the rough idea. Let me start with the push principle.

You often synchronize threads with a condition variable or a future/promise pair. The condition variable or the promise sends the notification to the waiting thread. A promise has no notify_one or notify_all member function. Typically, a valueless set_value call is used to ...

CppCon 2022 The Lambda Calculus in C++ Lambdas -- David Stone

By Blog Staff | Jun 19, 2023 12:51 PM | Tags: None

Lightning Talk: The Lambda Calculus in C++ Lambdas

by David Stone

Summary of the talk:

The lambda calculus is a foundation of computation equivalent in power to Turing machines.

C++17’s Useful Features for Embedded Systems -- Çağlayan Dökme

By Blog Staff | Jun 16, 2023 10:26 AM | Tags: None

Recently, our team at Meteksan Defense is upgrading its development environment to use newer versions of many tools and programming languages. One of the more difficult transitions has been the upgrade of our C++11 code base to C++17 for our embedded applications.

In this article, I will be showing some features of C++17 that can also be helpful in the embedded world.

C++17’s Useful Features for Embedded Systems

by Çağlayan Dökme

From the article:

C++14 had smaller upgrades compared to the ones we saw when migrating to C++11 from C++03. Hence, there are only a few features in C++14 that you can use in an embedded system.

Binary Literals

If you are frequently dealing with bitwise operations and modifying registers, you will love these literals. Some compilers had extensions that support such literals, but now they have a place in the actual standard.
uint8_t a = 0b110; // == 6 
uint8_t b = 0b1111'1111; // == 255 
Constraint relaxed constexpr**

With C++14, the syntax you can use in a constexpr function is expanded. Check out this post on StackOverflow. The constexpr is beneficial in the embedded world since...

Binary Literals

Constraint relaxed constexpr**

Constraint relaxed *constexpr***