C++ Logo

STD-DISCUSSION

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?

Cheers

Tobias





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

Older Archives on Google Groups