C++ Logo


Advanced search

Re: [std-proposals] Concept Overloading in C++

From: Giuseppe D'Angelo <giuseppe.dangelo_at_[hidden]>
Date: Wed, 20 Dec 2023 20:55:04 +0100
Il 20/12/23 13:27, Thiago Macieira via Std-Proposals ha scritto:
> On Tuesday, 19 December 2023 12:29:28 -03 Giuseppe D'Angelo via Std-Proposals
> wrote:
>> The Standard simply calls the second version of the concept `_with`.
> Alternatively, it could have called them "are_summable" because T and U are
> different entities.

I don't think it gives the same readability once one uses a terse
syntax, e.g.:

void f(std::equality_comparable_with<Foo> auto x)

My 2 c,

Giuseppe D'Angelo

Received on 2023-12-20 19:55:08