SG8 - Concepts

Contact owners and managers

1–30 of 117

This is the C++ standardization committee's reflector for SG8. This group is for the discussion of "Concepts" and related ideas (axioms, properties, etc.) with the goal of adding them to a future version of the C++ standard. Near-term focus is on a convergence between the static if proposals and the parameter-type-constraints subset of concepts.

0 selected

Cleiton Santoia, … Richard Smith4

5/11/18

foo( concept-name [optional type-name] parameter-name )

On Fri, 11 May 2018 at 00:08, Roland Bock <rb...@eudoxos.de> wrote: On 2018-05-10 23:46, '

unread,

foo( concept-name [optional type-name] parameter-name )

On Fri, 11 May 2018 at 00:08, Roland Bock <rb...@eudoxos.de> wrote: On 2018-05-10 23:46, '

5/11/18

Andrzej Krzemieński, … Tom Honermann4

12/8/17

How to constrain on presence of rebind<>

W dniu wtorek, 18 lipca 2017 17:29:56 UTC+2 użytkownik Tom Honermann napisał: On 07/18/2017 05:49 AM,

unread,

How to constrain on presence of rebind<>

W dniu wtorek, 18 lipca 2017 17:29:56 UTC+2 użytkownik Tom Honermann napisał: On 07/18/2017 05:49 AM,

12/8/17

Arthur Cust, Casey Carter3

8/17/17

Extension to concepts: Abstract classes to be considered as concepts

Oh, I wouldn't think that Ranges TS would introduce such concept. Then yes, it would help not

unread,

Extension to concepts: Abstract classes to be considered as concepts

Oh, I wouldn't think that Ranges TS would introduce such concept. Then yes, it would help not

8/17/17

8/10/17

Re: Do you sell ad placements?

Hi Havier, We don't currently accept paid advertising, but we do freely blog about the following

unread,

Re: Do you sell ad placements?

Hi Havier, We don't currently accept paid advertising, but we do freely blog about the following

8/10/17

Tom Honermann, … Bjarne Stroustrup4

6/24/17

Semantics of constrained-type-specifiers in the return type of abbreviated functions

On 06/24/2017 10:54 AM, Bjarne Stroustrup wrote: On 6/24/2017 10:41 AM, Hubert Tong wrote: On Sat,

unread,

Semantics of constrained-type-specifiers in the return type of abbreviated functions

On 06/24/2017 10:54 AM, Bjarne Stroustrup wrote: On 6/24/2017 10:41 AM, Hubert Tong wrote: On Sat,

6/24/17

Vicente J. Botet Escriba, Andrew Sutton6

2/26/17

Can we define a concept for tuple-like types?

Le 26/02/2017 à 15:38, Andrew Sutton a écrit : While reading P0589R0, I had the impression that we

unread,

Can we define a concept for tuple-like types?

Le 26/02/2017 à 15:38, Andrew Sutton a écrit : While reading P0589R0, I had the impression that we

2/26/17

Andrzej Krzemieński, … Casey Carter14

2/23/17

Implicit constraints?

On Thursday, February 23, 2017 at 1:07:12 AM UTC-8, Andrzej Krzemieński wrote: It seams that this

unread,

Implicit constraints?

On Thursday, February 23, 2017 at 1:07:12 AM UTC-8, Andrzej Krzemieński wrote: It seams that this

2/23/17

12/1/16

Concept-lite compilation time?

Will concept-lite increase compilation time? Is it possible for compilers to do some optimization?

unread,

Concept-lite compilation time?

Will concept-lite increase compilation time? Is it possible for compilers to do some optimization?

12/1/16

11/16/16

C++ Syntax Possibilities

C++ Syntax Possibilities Introduction This note suggests some generalization and simplification of

unread,

C++ Syntax Possibilities

C++ Syntax Possibilities Introduction This note suggests some generalization and simplification of

11/16/16

Tschijnmo Tschau, Casey Carter3

10/7/16

Complex requirements on constructed types in requires-expression

Thank you so much for your suggestion! I have already modified my concepts into the form of requires

unread,

Complex requirements on constructed types in requires-expression

Thank you so much for your suggestion! I have already modified my concepts into the form of requires

10/7/16

9/29/16

Separate Compilation for Templates and Run Time Generics

Template Compilation and Mapping of Capabilities In some previous postings here, I suggested that

unread,

Separate Compilation for Templates and Run Time Generics

Template Compilation and Mapping of Capabilities In some previous postings here, I suggested that

9/29/16

Bruno Manganelli, Andrew Sutton2

9/27/16

Abbreviated function templates

That latter should be allowed. On Tue, Sep 27, 2016 at 7:27 AM Bruno Manganelli <bruno.manga95@

unread,

Abbreviated function templates

That latter should be allowed. On Tue, Sep 27, 2016 at 7:27 AM Bruno Manganelli <bruno.manga95@

9/27/16

chedy, … Andrew Sutton6

9/20/16

if constexpr doesn't play well with Function Concepts

A requires-expression (the thing requires followed by parens or braces) is concerned with valid

unread,

if constexpr doesn't play well with Function Concepts

A requires-expression (the thing requires followed by parens or braces) is concerned with valid

9/20/16

Tom Honermann, … Bjarne Stroustrup15

9/20/16

Refining Concepts: Separate checking, part 1, relaxing constraints

Maybe this tutorial material from Andrew Sutton will be of help: https://accu.org/index.php/journals/

unread,

Refining Concepts: Separate checking, part 1, relaxing constraints

Maybe this tutorial material from Andrew Sutton will be of help: https://accu.org/index.php/journals/

9/20/16

9/19/16

Run Time Generic Interfaces

A previous note discusses how concentration on implementation issues has led to some increases in

unread,

Run Time Generic Interfaces

A previous note discusses how concentration on implementation issues has led to some increases in

9/19/16

9/19/16

Concepts as Interface Specfications

The attached note is very general. It was previously posted on the C++ Future Proposals forum, but

unread,

Concepts as Interface Specfications

The attached note is very general. It was previously posted on the C++ Future Proposals forum, but

9/19/16

Andrzej Krzemieński, … Anton Bikineev18

9/14/16

constrained member functions versus explicit class instantiations

W dniu środa, 14 września 2016 18:43:51 UTC+2 użytkownik Casey Carter napisał: On Wednesday,

unread,

constrained member functions versus explicit class instantiations

W dniu środa, 14 września 2016 18:43:51 UTC+2 użytkownik Casey Carter napisał: On Wednesday,

9/14/16

7/18/16

Refining Concepts: Improving Error Messages

I finally got around to posting another follow up discussing one of the technical concerns described

unread,

Refining Concepts: Improving Error Messages

I finally got around to posting another follow up discussing one of the technical concerns described

7/18/16

lucdanton, … Casey Carter9

6/28/16

SFINAE/requires-friendly decomposition declarations aka structured bindings

On Tuesday, June 28, 2016 at 12:44:35 PM UTC-7, Andrew Sutton wrote: Right, we can get decomposition

unread,

SFINAE/requires-friendly decomposition declarations aka structured bindings

On Tuesday, June 28, 2016 at 12:44:35 PM UTC-7, Andrew Sutton wrote: Right, we can get decomposition

6/28/16

Anton Bikineev, … Tom Honermann6

6/15/16

Using contrained-type-specifier as a type of constrained variable

On 6/15/2016 12:03 PM, Andrew Sutton wrote: I have wanted to do something like this as well, but I

unread,

Using contrained-type-specifier as a type of constrained variable

On 6/15/2016 12:03 PM, Andrew Sutton wrote: I have wanted to do something like this as well, but I

6/15/16

Anton Bikineev, … Tom Honermann10

6/9/16

Can I use constrained-type-specifier in a body of abbreviated function template?

On 6/9/2016 11:14 AM, Andrew Sutton wrote: void foo(some_concept<int> a, some_concept<int

unread,

Can I use constrained-type-specifier in a body of abbreviated function template?

On 6/9/2016 11:14 AM, Andrew Sutton wrote: void foo(some_concept<int> a, some_concept<int

6/9/16

ejsvifq mabmip, … Vicente J. Botet Escriba7

6/2/16

Is this forwardable correct? It compiles success on my gcc

Le 01/06/2016 à 23:40, ejsvifq mabmip a écrit : I have a better version. template<typename T,

unread,

Is this forwardable correct? It compiles success on my gcc

Le 01/06/2016 à 23:40, ejsvifq mabmip a écrit : I have a better version. template<typename T,

6/2/16

Anton Bikineev, Ryan Burn3

6/2/16

Using constraint variables in requirement-parameter-list as type requirements

Ryan, Thanks for reponse, much appreciated. четверг, 2 июня 2016 г., 4:48:45 UTC+3 пользователь Ryan

unread,

Using constraint variables in requirement-parameter-list as type requirements

Ryan, Thanks for reponse, much appreciated. четверг, 2 июня 2016 г., 4:48:45 UTC+3 пользователь Ryan

6/2/16

Sergey Strukov, … Matt Calabrese7

5/24/16

concepts and incomplete types

On Mon, May 23, 2016 at 11:36 PM, Ville Voutilainen <ville.vo...@gmail.com> wrote: On 24

unread,

concepts and incomplete types

On Mon, May 23, 2016 at 11:36 PM, Ville Voutilainen <ville.vo...@gmail.com> wrote: On 24

5/24/16

Sergey Strukov, … Casey Carter5

5/18/16

Recursive concept usgae

Also seems to work well if the disjunction is eliminated in the definition of TestInt: template <

unread,

Recursive concept usgae

Also seems to work well if the disjunction is eliminated in the definition of TestInt: template <

5/18/16

5/16/16

Variadic concepts as non-pack constrained template parameter specifiers

I went ahead and filed a bug against gcc for this: - Bug 71141 - [concepts] Example variadic concept

unread,

Variadic concepts as non-pack constrained template parameter specifiers

I went ahead and filed a bug against gcc for this: - Bug 71141 - [concepts] Example variadic concept

5/16/16

3/31/16

GCC 6.0 Concepts

Hello Everyone, Is there any documentation for the Concepts feature as implemented in GCC 6.0? I

unread,

GCC 6.0 Concepts

Hello Everyone, Is there any documentation for the Concepts feature as implemented in GCC 6.0? I

3/31/16

Andrzej Krzemieński, Andrew Sutton3

3/23/16

Using Concepts Lite

W dniu środa, 23 marca 2016 13:32:34 UTC+1 użytkownik Andrew Sutton napisał: > template <

unread,

Using Concepts Lite

W dniu środa, 23 marca 2016 13:32:34 UTC+1 użytkownik Andrew Sutton napisał: > template <

3/23/16

Bryce Glover, … Andy Prowl7

3/14/16

Re: Run-Time Concepts

Andy Prowl <andy....@gmail.com>: Mar 08 04:19AM -0800 My draft is not a proposal yet. Perhaps

unread,

Re: Run-Time Concepts

Andy Prowl <andy....@gmail.com>: Mar 08 04:19AM -0800 My draft is not a proposal yet. Perhaps

3/14/16

Faisalv, … John Spicer49

2/27/16

Is there really no path forward for definition checking of templates?

On Feb 27, 2016, at 2:30 PM, Bjarne Stroustrup <bja...@stroustrup.com> wrote: On 2/27/2016 1:46

unread,

Is there really no path forward for definition checking of templates?

On Feb 27, 2016, at 2:30 PM, Bjarne Stroustrup <bja...@stroustrup.com> wrote: On 2/27/2016 1:46

2/27/16

Search

Clear search

Close search

Google apps

Main menu