Не бесплатно конечно же!

Темы которые мы прошли: циклы, массивы, двумерные массивы, указатели, указатели 2, вектор, функция, рекурсия, структуры, strings

ну... Б-г в помощь

Спасибо большое

Если что можно да, я и сюда буду скидывать задачки

Если сможете помочь

Нет, хватит везде об этом просить -- забаню

Нет

Какая из имплементаций права? У всех трёх разное мнение касательно корректности этого кода. MSVC считает, что всё хорошо. GCC не позволяет из тела лямбды вызвать нешаблонный operator(), но позволяет вызвать шаблонный (очевидно, это следствие того, как реализован оператор каста к указателю на функцию). Clang же не позволяет вызвать ни тот, ни другой

>> The type of a lambda-expression (which is also the type of the closure object) is a unique, unnamed non-union class type, called the closure type

>> The closure type for a lambda-expression has a public inline function call operator (for a non-generic lambda) or function call operator template (for a generic lambda)

>> An implementation may define the closure type differently from what is described below provided this does not alter the observable behavior of the program other than by changing
— ...

( http://eel.is/c++draft/expr.prim.lambda#closure-1 )

Ни в последнем процитированном пункте, ни во всём разделе, я не нашёл никаких исключений, касающихся name lookup для лямбд без захвата, т.е. поиск имён в лямбде должен соответствовать поиску имён внутри  unnamed non-union class type, а значит, можно предположить, что в следующем куске кода поведение при вызове f(3) и l(3) должно быть эквивалентно:

struct /* unnamed */ {
   template<typename Auto>
   constexpr int operator()(Auto n) const {
     if (n <= 1) return 1;
     else return n * operator()(n-1);    
   }
} f;

void foo() {
 constexpr auto l = [](auto n) -> int {
   if (n <= 1) return 1;
   else return n * operator()(n-1);
 };

 static_assert(l(3) == f(3));
};

При этом, кажется, при нешаблонном operator() и GCC, и MSVC оба могут быть правы, допускаю даже, что могут быть правы одновременно. Но я не вижу ни одного аргумента в пользу Clang, который не позволяет вызвать шаблонный operator() вообще


Быть может, у кого-то есть мысли на этот счёт?

В приведённых тобой цитатах нет ничего про то как оно должно работать изнутри лямбды

Они про поведение снаружи

В них не написано что этот код перекладывается в оператор как есть так что нужно искать еще

Вообще емнип эти строчки появились только в си++20 а до этого была шутка про деклтайп в лямбдах

На самом деле, написано:
The lambda-expression's compound-statement yields the function-body ([dcl.fct.def]) of the function call operator, but for purposes of name lookup, determining the type and value of this and transforming id-expressions referring to non-static class members into class member access expressions using (*this) ([class.mfct.non-static]), the compound-statement is considered in the context of the lambda-expression.

Но этот пункт вместе с примером вызывает ещё больше вопросов, да и относится, похоже, только к лямбде, объявленной внутри функции-члена другого класса

Что же касается лямбды без захвата — я ничего полезного не нашёл

А operator() точно не эквивалентен this->operator()?

Будет забавно если в стандарте как-то так

(Ну нет не должно быть)

В случае, когда лямбда определена в мембер функции другого класса, это действительно так, что подтверждается примером:
[Example 8:

struct S1 {
  int x, y;
  int operator()(int);
  void f() {
    [=]()->int {
      return operator()(this->x + y);   // equivalent to S1​::​operator()(this->x + (*this).y)
                                        // this has type S1*
    };
  }
};

— end example]

Однако, этот пример у меня только больше вопросов вызывает)

Не очень понятно значение слова yields, это вроде просто типа породить

struct S1 {
  int x, y;
  int operator()(int);
  void f() {
    [=]()->int {
      return operator()(this->x + y);   // equivalent to S1​::​operator()(this->x + (*this).y)
                                        // this has type S1*
    };
  }
};

Так у тебя ничего не referring наверное