Declarations using Concepts
One of my all-time favorite C++ talks is Ben Deane’s Using Types Effectively from CppCon 2016. I like it for a lot of reasons, but for the purposes of this post - I really like the game Ben plays (starting at around the 29m mark) where he gives a function signature of a total function template - just the signature, no names attached whatsoever - and asks you to name the function. This seems like a really difficult task, we often talk about how names are important, and here we have no names at all - no names for functions or for arguments.
And yet… here’s one example:
template <typename K, typename V> optional<V> f(map<K,V>, K);
Not only do we know what this function does, but we even know how to implement it. That’s the power we get from using types effectively.
I think it’s a worthwhile goal, in of itself, to try to write function declarations in a way to achieve this kind of clarity. Not only does the clarity tell the reader what the function does - but it even tells the implementer how to implement it!
But it turns out, even in C++20 with Concepts, it’s not really possible.
This post will go through several examples of functions that you just cannot declare in this kind of clear, effective way. The examples I’m taking are all from the function programming domain - I’m not choosing them because FP is particularly complex, I’m actually choosing them because they’re actually not complex but the tools we have at our disposal make them seem so.
What we want to do is to write a function template that takes:
vector<T>, for any
- a function that you can call with a
Tand, when you do, gives you back some type
U. From here on out, I’ll appropriate Haskell’s syntax here and say that we want a function like
T -> U.
and returns a
vector<U>. In Python, this function is called
map(). In C++, it’s the
transform() algorithm. How do we declare this in C++20?
Let me first start with a lot of non-solutions.
Many people will try to write the following. I have seen it dozens of times on StackOverflow. I have seen it in blogs about function programming. I have seen it in talks. I have seen it in a book. I think this is such a common thing to reach for because it just looks so obviously correct. What’s the easiest way to write a function
T -> U? This:
template <typename T, typename U> vector<U> fmap(function<U(T)>, vector<T>);
To really quickly explain why this is wrong: template deduction doesn’t allow for conversions. If I wanted to pass a function pointer or a lambda into this, that would fail, because that function pointer/lambda is not literally a
std::function. Hence deduction fails. Even if it did work, it’d also be very inefficient, since we’re imposing type erasure in a place where we don’t actually need it.
But on the other hand, there is something very nice about that right? We have this clear
U relationship up there, which we really want. It’s very clear where the types are coming from. I completely understand why so many people reach for this. Even, ahem, Ben in that talk.
std::function is out. But Concepts does give us a better way to constrain types, and Ranges gives us a concept that we can use here:
Invocable. This leads us to the next non-solution:
template <typename T, Invocable<T> F> auto fmap(F, vector<T>);
If you have not seem the partial-concept-id syntax yet, the above is just a very nice shorthand for:
template <typename T, typename F> requires Invocable<F, T> auto fmap(F, vector<T>);
This works, in the sense that it correctly and properly constrains our arguments. But… we’re just returning
auto. What does this function actually do? It could do anything. Don’t believe me? There are quite a lot of algorithms that take a range and a unary function (which is all we know about this callable). This could be
none_of()). This could be
for_each(). Or … The point is, we want our declarations to convey complete information about the function and this just doesn’t. This lack is part of why I am generally skeptical about
auto returns in many cases.
The next non-solution isn’t actually valid C++20 code yet, it is just a proposal. P1168 allows for using class template argument deduction in the return type. Which would allow:
template <typename T, Invocable<T> F> vector auto fmap(F, vector<T>);
This is better, but to me is still insufficient. What kind of
vector does it return? This could still be an algorithm like
filter() if it returned a
vector<T> (though presumably we’d actually use
T in that case). It could also be monadic
bind() if the function
F returned some
vector<U> (instead of
U) and the full function template did as well. It’s not as clear as it could be.
What’s the actual solution?
The best we can do in C++20, with Concepts, with Ranges, is:
template <typename T, Invocable<T> F> vector<invoke_result_t<F,T>> fmap(F, vector<T>);
This is kind of a mouthful, and isn’t really that clear. The ultimate problem is that Concepts are just predicates. A
concept takes a bunch of types (or values or templates) and just tells you yes or no (plus some other details for subsumption purposes). That’s it. In our example here, we want to have a function
T -> U. Concepts can give us the
T -> part. That’s just a check. But it cannot give us the
-> U part, that’s a more complex query. For that we need type traits - in this case
invoke_result. It’s pretty unsatisfying that we need two different tools to pick out the two different parts. And you just have to a priori know where to find these tools.
Even more so because
invoke_result is specified to be SFINAE-friendly, so the use of the concept behaves, in some sense, like a glorified comment. I might even write the above as:
template <typename T, typename F, typename U = invoke_result_t<F,T>> vector<U> fmap(F, vector<T>);
In some sense, that’s better than the concepts solution. Which seems wrong - concepts are supposed to be the way we constrain function templates.
Let’s go deeper.
fmap over a
Whenever we talk informally about algorithms taking ranges, we tend to say that it takes a
Ts and then does something with those
Ts. But we can’t say
Ts in the same way that we can’t say
T -> U. We can only say
How, then, do we generalize our
fmap() example above to take an arbitrary range of
Ts instead of specifically a
vector<T>? We could write this:
template <Range R, Invocable<iter_value_t<iterator_t<R>>> F> vector<invoke_result_t< F, iter_value_t<iterator_t<R>> >> fmap(F, R);
Though we’d probably want to pull out that commonality:
template <Range R, typename T = iter_value_t<iterator_t<R>>, Invocable<T> F> vector<invoke_result_t<F, T>> fmap(F, R);
Or, repeating what I did above:
template <Range R, typename T = iter_value_t<iterator_t<R>>, typename F, typename U = invoke_result_t<F, T>> vector<U> fmap(F, R);
This is very unsatisfying to me.
Let’s take a different algorithm. Monadic
bind() doesn’t have a direct analogue in the C++ standard library, and I’m not going to go into all the functional programming and category theory details behind it. Suffice it to say that we want a function that takes:
vector<T>, for any
- a function
T -> vector<U>
vector<U>. The two differences with
fmap() are that the function must return some kind of
vector (instead of anything) and that the return type is the return type of the callable (instead of being a
vector of its return type). In other words,
fmap taking a
vector<int> and a
int -> vector<double> returns a
bind() returns a
vector<double>. There’s that extra unwrapping step that happens (which in Haskell is called
Now we need two layers of constraints. Which is fine, Concepts can constrain very well:
template <typename T, template <typename...> class Z> concept Specializes = /* ... */; template <typename T, Invocable<T> F, typename U = invoke_result_t<F, T>> requires Specializes<U, vector> U bind(F, vector<T>);
which I think we can shorten to:
template <typename T, Invocable<T> F, Specializes<vector> U = invoke_result_t<F, T>> U bind(F, vector<T>);
Is that clear? Note that the fact that this function returns some kind of
vector is an extremely important part of its interface, but you cannot tell here because we’re returning
U. We could go a very circuitous route in order to really make it explicit - by returning
vector<typename U::value_type>. But I’m not sure that would be better.
sequence over a
Okay, one more. There’s a function in Haskell called
sequence(). In C++ terms, it takes a
vector<expected<T,E>> and returns a
expected<vector<T>, E>. That declaration in C++ is easy:
template <typename T, typename E> expected<vector<T>, E> sequence(vector<expected<T, E>>);
This is the kind of declaration that is very nice and clear. But what if we wanted an arbitrary range over
expecteds instead of specifically a
vector? Maybe this?
template <Range R, Specializes<expected> V = iter_value_t<iterator_t<R>>> expected< vector<typename V::value_type>, typename V::error_type > sequence(R);
Compare this declaration to the
vector declaration above it. This is a dramatic difference in clarity - much larger than the conceptual difference between the two algorithms really suggests.
So… what do we do?
What I think we really need is two things:
- Concepts need a way to expose their associated types
- We need a way to do template-style pattern matching within a template declaration
You can see in these examples that concepts often have more information associated with them than just a predicate.
Invocable is closely associated with the actual result of that invocation - you almost always really need that extra type.
Range is closely associated with the value type that this range is over - you almost always need that too. It would be great if we could express that relationship directly, so you don’t just need to magically know how you could get that information.
You can also see in these examples that it would be really helpful to do template-style pattern matching as part of the constraint process. The difference between the
Range version of
sequence(), for instance, is all about the difference between being able to pattern-match on
vector<expected<T,E>> versus having to very explicitly spell out what this means for the
I would love to see something like this:
template <typename T, Invocable<T> F /* whose result_type is U */> vector<U> fmap(F, vector<T>); template <Range R /* whose value_type is T */, Invocable<T> F /* whose result_type is U */> vector<U> fmap(F, R); template <typename T, Invocable<T> F /* whose result_type is vector<U> */> vector<U> bind(F, vector<T>); template <typename R /* whose value_type is expected<T,E> */> expected<vector<T>, E> sequence(R);
Compare these 4 declarations to the ones I presented earlier. These are dramatically clearer. We only need to know one thing: the concept. And we can directly express the constraints we want in code, in the way we think about them.
I don’t know how to get there syntactically. There are lots of pieces that you need:
- Concepts need to be able to declare associated types.
- Template declarations need an easy way to pull out those associated types.
- That pulling out process needs to be able to either introduce new names or use existing names somehow (hypothetically
Predicate<T>could be spelled
Boolean- and you need a way to differentiate between using the concept
Booleanand introducing a new name).
- And that pulling out process needs to itself be a kind of constraint that you can add
I have no good proposal for any of these. But I’m hoping that somebody reads this, agrees that this is a real problem, and comes up with one!
Let me know what you think of this article on twitter @BarryRevzin!