On Thu, 5 Oct 2023 at 10:55, Aaron Gray via Std-Discussion <std-discussion@lists.isocpp.org> wrote:

On Tue, 3 Oct 2023 at 21:59, Thiago Macieira <thiago@macieira.org> wrote:
>
> On Tuesday, 3 October 2023 12:06:47 PDT Aaron Gray wrote:
> > Hi Thiago,
> >
> > What would you use instead for my use case which is memorization of a
> > pair of types or type variables used for comparison and subtyping
> > predicates for a type system.
>
> Create your own type. There's never a good reason to use std::pair.

Why, what is your logic in its redundancy please ?

I think he meant creating a new struct or something like that, so that it has a unique type and the fields have readable names. Not that one should create a pair clone.

Specializing on your own type won't clash with other code, unless the full type name itself clashes with the code.

Yongwei Wu
URL: http://wyw.dcweb.cn/