On Wed, Apr 02, 2025 at 12:33:51AM +0300, Vladimir Grigoriev via Std-Discussion wrote:
>
> In the paragraph #3 of the section «7.5.5.1 Closure types» of the C++20 Standard there is written
>  
> «...The trailing requires-clause of the function call operator or operator template is the requires-clause of the lambda-declarator, if any.»
>  
> So can a non-generic lambda have  a trailing requires clause? And if the text of the quote is correct why is not there an example of such a lambda?

Sure, it just needs to be templated, e.g.

  template<bool B>
  void f()
  {
    [] () requires B { } ();
  }


There isn't an example for every feature in the standard as the
standard is not a tutorial. Anything surprising or non-obvious should
be highlighted by having an example in the standard.


Christof

-- 
https://cmeerw.org                             sip:cmeerw at cmeerw.org
mailto:cmeerw at cmeerw.org                   xmpp:cmeerw at cmeerw.org