Re: [boost] "Simple C++11 metaprogramming"

Subject: Re: [boost] "Simple C++11 metaprogramming"
From: Agustín K-ballo Bergé (kaballo86_at_[hidden])
Date: 2015-06-05 09:06:57

On 6/5/2015 9:42 AM, Peter Dimov wrote:
> Eric Niebler wrote:
>> > (This implements the specification in the latest C++17 draft.)
>>
>> I'm not so sure. If a user defines a specialization for
>> common_type<MyInt, int>, it won't get used when computing
> common_type<MyInt, int, int>.
>
> As it turns out, users are not allowed to specialize common_type, which
> is why the C++17 specification does not concern itself with such
> specializations.

Users are allowed to specialize `common_type`. There is a standing issue 
against SFINAE-friendly `common_type` by Eric and yours truly:

https://cplusplus.github.io/LWG/lwg-active.html#2465

Regards,
-- 
Agustín K-ballo Bergé.-
http://talesofcpp.fusionfenix.com