[v3] plus<void>

Marc Glisse marc.glisse@inria.fr
Wed Sep 25 10:15:00 GMT 2013


(removed gcc-patches)

On Wed, 25 Sep 2013, Jonathan Wakely wrote:

>> (too bad we don't have noexcept(auto) here)
>> (too bad we can't use decltype(auto) for the return type, as that would
>> disable sfinae, it is a bad sign when the standard turns its nose up at its
>> own dog food...)
>
> Yeah, I think the idea is that concepts will make SFINAE a thing of
> the past, but we're not there yet.

I think that's one of those magical properties that people associate 
with future features that are still rather vague, modules and concepts 
being 2 of the worst. If we end up having to add a line:
requires(well_formed(std::forward<_Tp>(__x) + std::forward<_Up>(__y)))
we won't have made the code smaller.

-- 
Marc Glisse



More information about the Libstdc++ mailing list