[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