Re: [boost] [type_traits] Rewrite and dependency free version

Subject: Re: [boost] [type_traits] Rewrite and dependency free version
From: Ion Gaztañaga (igaztanaga_at_[hidden])
Date: 2015-01-20 12:22:16

El 20/01/2015 a las 14:14, John Maddock escribió:

> Then:
>
> do_something(trait1<T>(), trait2<T>());
>
> The problem here is that the final catch all case can not be found
> unless trait2 actually inherits from mpl::bool_ rather than being merely
> convertible to it.

MPL bool should be constructible from any type that has a constant named 
"value", as Peter proposed. I think that's a good solution to maintain 
backwards compatibility, to invert the dependency between type traits 
and mpl.

Best,

Ion