[SG10] No __cpp_concepts in the C++20 draft

John Spicer jhs at edg.com
Fri Mar 1 22:26:10 CET 2019


[ Dropping core reflector ]

Do you have a recommendation?

John.

> On Mar 1, 2019, at 12:03 PM, Hubert Tong <hubert.reinterpretcast at gmail.com> wrote:
> 
> I'm still hoping for some SG10 guidance on whether we want to query on what -> Concept does separately from whether Concept auto is available. There is also static_assert(C<T>) in the mix somewhere.
> 
> -- HT
> 
> On Fri, Mar 1, 2019 at 8:45 AM John Spicer <jhs at edg.com <mailto:jhs at edg.com>> wrote:
> That seems appropriate to me (copying the core reflector).
> 
> John.
> 
> > On Mar 1, 2019, at 7:21 AM, Jonathan Wakely <cxx at kayari.org <mailto:cxx at kayari.org>> wrote:
> > 
> > The working draft doesn't specify a __cpp_concepts macro. I want to know if I need to say "concept bool" or just "concept", so I expected to be able to do:
> > 
> > #if __cpp_concepts
> > template<typename T>
> >   concept
> > #if __cpp_concepts <= 201507
> >   bool
> > #endif
> >   Foo = ...;
> > #endif
> > 
> > Should this be handled by a core issue?
> > 
> > _______________________________________________
> > Features mailing list
> > Features at isocpp.open-std.org <mailto:Features at isocpp.open-std.org>
> > http://www.open-std.org/mailman/listinfo/features <http://www.open-std.org/mailman/listinfo/features>
> 
> _______________________________________________
> Features mailing list
> Features at isocpp.open-std.org <mailto:Features at isocpp.open-std.org>
> http://www.open-std.org/mailman/listinfo/features <http://www.open-std.org/mailman/listinfo/features>

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.open-std.org/pipermail/features/attachments/20190301/c10c23a0/attachment.html 


More information about the Features mailing list