Boost logo

Boost :

Subject: Re: [boost] [contract] toward N3351 concepts
From: Nathan Ridge (zeratul976_at_[hidden])
Date: 2012-10-08 21:34:53

> Or what mechanism should be used to allow types which fulfil axioms only
> partly? axiom_cast<double,TotallyOrdered> ?

I would prefer something like this - explicitly overriding axiom-checking
in the few cases where this would need to be done - over losing the
benefits of the compiler checking the axioms in cases where it can (which
are probably also few, but they exist).


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