I’m at CppCon this week. It’s great. You should be here too. (If you are — come say hello in person! I hope you’re having fun so far.)

…

In our previous installment, I called the following (not-yet-valid C++2a) idiom a “poor man’s version” of member concepts:

…

I continue, very slowly, to work on my CppCon 2018 session “Concepts As She Is Spoke.” A while back, someone on the C++ Slack channel asked whether it was possible to have either “template concept parameters” or “member concepts” — that is, either

…

People say “always catch exceptions by const reference,” which I think is good advice. I’ve worked on at least one codebase that catches by non-const reference, presumably just because it’s shorter to type. This has never caused any problem for them in practice, as far as I know. But in theory, it’s a bad idea, because in C++ it is possible to construct a program where two different catch-blocks, executing concurrently, actually reference the exact same exception object. In that situation, any mutation to the exception object will cause a data race. The easiest way to prevent the race is to prevent mutation: to catch by const reference!

…

Following up on my previous post titled “The Yellowbird Mistake”…

…

This post is about Binary Homeworlds, the “space chess” game invented by John Cooper and popularized by (among others) Andy Looney. You can play Homeworlds online at SuperDuperGames. Sadly a full rules explanation is out of scope for this blog post, but maybe sometime. In this post I just want to talk about a specific tactical error that (sigh) I keep making.

…

I’ll just leave this here.

…

So I’ve finally started working on slides for my CppCon 2018 talk “Concepts As She Is Spoke.” (To see the original work to whose title this is an allusion, click through.) I intended to make it as bland and tutorial in nature as I can, but my natural tendency to find the hard problems keeps interfering. Let me take the 25 slides I just wrote and turn them into a blog post, so that I can qualmlessly delete these slides and start over.

…

Lately I’ve been reading George W. M. Reynolds’ The Mysteries of London (serialized 1844–1845). Or, mostly, speed-reading; it gives the general impression that the author was paid by the column-inch, and it’s not worth too much of one’s full attention. But every so often there’s a gem that makes the exercise pay off.

…

A simple force multiplier that should be in every C++11-and-later programmer’s toolbox:

template<class It>
struct iterator_range {
    It begin_, end_;
    constexpr It begin() const noexcept { return begin_; }
    constexpr It end() const noexcept { return end_; }
}; ...

In 2016, Andrzej Krzemieński pointed out that static_assert is great and all, but it doesn’t stop the cascade of error messages from something like this:

…

If you’re a C++ programmer and you want to customize the behavior of your class for a certain operation, you’ll have one of two experiences:

…

Today on Slack I noticed that some people still don’t know this one, so it should be shared more widely.

…

Pop quiz, hotshot.

struct M {
    M() = default;
    M(M&);
    M(const M&) = default;
};

Is M trivially move-constructible? …

Yesterday I blogged about a Clang patch I made that I claimed was an implementation of Herb Sutter’s proposal P0934R0 “A Modest Proposal: Fixing ADL” (February 2018). (You can find the patch here, or try it live on Godbolt as part of my experimental P1144 branch.)

When the post hit Reddit, commenter sphere991 pointed out that I had utterly missed about two-thirds of Herb’s proposal! …

Yesterday I made a Clang patch implementing Herb Sutter’s proposal P0934R0 “A Modest Proposal: Fixing ADL” (February 2018). You can find the patch here, or try it live on Godbolt as part of my experimental P1144 branch.

…

I’ve been talking about this one since 2014. The contents of “Auto.h” fit comfortably on a single slide:

…

#define FORCE_CONSTEXPR(expr) [&]() \
    { constexpr auto x = (expr); return x; }()

…

WG21’s Library Working Group is studying the wording for Marshall Clow’s P0805R2 “Comparing Containers.” The basic idea is that since C++ permits us to write

…

I spent most of today figuring out how to write the mathematics in my previous post on quantum circuits. It turned out to be way easier than I was making it.

…