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