Boost logo

Boost :

Subject: Re: [boost] [GSoC] [Boost.Hana] Formal review request
From: pfultz2 (pfultz2_at_[hidden])
Date: 2014-08-01 07:08:21

> FYI Concepts Lite isn't purely a type constraint system. It can also
> be used to type specialise in a much more general way than partial
> type specialisation and eliminate a great many std::enable_if<> or
> equivalents.

Since Concepts Lite provides native support of type traits and enable_if
it can use to try an improve overloading. Of course, this has the
of preventing specializations on the type traits(or `concept bool` as they
called in the proposal). However, conditional overloading is a very simple
to solve the overloading problem, and doesn't prevent specializations.

Also, with Concepts Lite you would still use an equivalent enable_if, it
just either be a `requires` clause or replacing the template or type

View this message in context:
Sent from the Boost - Dev mailing list archive at

Boost list run by bdawes at, gregod at, cpdaniel at, john at