C++ Logo


Advanced search

Subject: Re: requires-clause, pack expansion and constraints-ordering
From: tobi_at_[hidden]
Date: 2021-03-29 04:46:08

@Lénárd: thanks for pointing that out.

I’m neither a language-lawyer for English nor for C++, but what is then the purpose of http://eel.is/c++draft/temp.variadic#6:


For the purpose of determining whether a pack satisfies a rule regarding entities other than packs, the pack is considered to be the entity that would result from an instantiation of the pattern in which it appears.


In my understanding this means: consider the fold-expression as-if it was expanded in the current context. And that would mean, we have the question, whether an expanded fold-expression is still a fold-expression, or the expanded expression?



STD-DISCUSSION list run by std-discussion-owner@lists.isocpp.org

Older Archives on Google Groups