Re: [boost] [concept_check] convert Concept to trait?

Subject: Re: [boost] [concept_check] convert Concept to trait?
From: paul (pfultz2_at_[hidden])
Date: 2016-10-04 15:36:29

On Tue, 2016-10-04 at 10:55 -0400, Vinnie Falco wrote:
> 
> Are such things possible, or perhaps already in the library? My
> preliminary analysis suggests the answers to these questions are no
> and no. Has this point been brought up elsewhere, and if so where
> could I find it?

It's not really possible. Boost.ConceptCheck uses hard errors to check
concepts, and then tries to inject the concept name in to the error
message to make it clearer why it failed.

Alternatively, you can use the Tick library, which is being proposed
for Boost. It already has a trait for checking `ForwardIterator`, here:

https://github.com/pfultz2/Tick/blob/master/tick/traits/is_forward_iter
ator.h

Paul