Articles & Books

C++ coroutines: Constructible awaitable or function returning awaitable?--Raymond Chen

The series continue.

C++ coroutines: Constructible awaitable or function returning awaitable?

By Raymond Chen

From the article:

Last time, we learned how to create simple awaitable objects by creating a structure that implements the await_suspend method (and relies on suspend_always to do the coroutine paperwork for us). We can then construct the awaitable object and then co_await on it...

Constexpr FizzBuzz – An Exercise in Compile-Time Calculations--Arne Mertz

The things you can do at compile time!

Constexpr FizzBuzz – An Exercise in Compile-Time Calculations

by Arne Mertz

From the article:

Recently, I have given a workshop about language features introduced in C++14 and C++17. Since a major part of those features includes constexpr things, I gave my trainees the task to port “FizzBuzz” to compile time. Here is a possible approach to that kind of problem...

Overload 154 is now available

ACCU’s Overload journal of December 2019 is out. It contains the following C++ related articles.

Overload 154 is now available

From the journal:

Inside-Out.
Sometimes things appear to be inside out. Frances Buontempo considers when a shift of perspective can make things seem better.

Trip Reports: Meeting C++ 2019 and Embedded C++ 2019.
Deciding which conferences to attend is difficult, and we can’t go to them all. Svitlana Lubenska, Hans Vredeveld and Benedikt Mandelkow give us a flavour of what we may have missed.

Non-Recursive Compile Time Sort.
Compile time sorting usually uses recursion. Norman Wilson shows how C++14 features make this easier.

Quick Modular Calculations (Part 1).
Compilers are good at optimising modular calculations. Can we they do better? Cassio Neri shows they can.

Afterwood.
We are aware of the film Get Carter. Chris Oldwood asks if it should be called Acquire Carter instead.

Generators and the Sweet Syntactic Sugar of Coroutines--Adi Shavit

A very detailed and interesting article, a must read!

Generators and the Sweet Syntactic Sugar of Coroutines

by Adi Shavit

From the article:

“Coroutines make it trivial to define your own ranges.”
— Eric Niebler, Lead author of the C++ Ranges proposal (edited for drama)

Hmmm… is that so?
But wait, what are coroutines?

From Boost.Coroutine2: A coroutine (coined by Melvin Conway in 1958!) is a function that can suspend execution to be resumed later. It allows suspending and resuming execution at certain locations and preserves the local state of execution and allows re-entering the subroutine more than once. In contrast to threads, which are pre-emptive, coroutine switches are cooperative: the programmer controls when a switch will happen. The kernel is not involved in the coroutine switches.

This sounds just like what we want!

Don’t Make Your Interfaces *Deceptively* Simple--Jonathan Boccara

A good thing to think about.

Don’t Make Your Interfaces *Deceptively* Simple

by Jonathan Boccara

From the article:

Just because we can provide an interface doesn’t mean that we should.

At least this is one of the takeaways that I got from from Howard Hinnant’s opening keynote at Meeting C++ 2019.

In this impressive keynote, Howard made a presentation about <chrono> and the host of features it brings in C++20. But beyond showing us how to use <chrono>, Howard explained some of the design rationale of this library.

Those are precious lessons of design, especially coming from someone who had a substantial impact on the design of the standard library. I believe we can apply those practices to our own code when designing interfaces.

So, just because we can provide an interface doesn’t mean that we should. To illustrate what this means in practice, let’s go over two examples in the C++ standard library...

C++ coroutines: Getting started with awaitable objects--Raymond Chen

So many possibilities!

C++ coroutines: Getting started with awaitable objects

by Raymond Chen

From the article:

Coroutines were added to C++20, and Lewis Baker has a nice introduction to them.

  • Coroutine theory.
  • Understanding operator co_await.
  • Understanding the promise type.

But I’m going to write another one, taking a more practical approach: The least you need to know to accomplish various coroutine tasks...

C++20: Concepts, the Details--Rainer Grimm

The series continue.

C++20: Concepts, the Details

by Rainer Grimm

From the article:

In my last post C++20: Two Extremes and the Rescue with Concepts, I gave the first motivation for concepts. Concepts put semantic constraints on template parameters. Today, I present different use-cases for concepts in a compact form...