Может ли любое выражение лямбда быть выражено как (шаблонная) структура

Question

Я ищу контрпример для опровержения утверждения о том, что любое лямбда-выражение может быть выражено как (шаблонная) структура. Другими словами, можно написать компилятор источника-источника, который должен поднять каждое выражение лямбда из любой области действия и выразить его как шаблонный класс функторов.

Например, насколько конечный пользователь касается, следующие два эквивалентны:

auto foo(int parm){ 
    ... 
    auto f = [x,&y](int z) {..}; 
    .. 
    return foo(parm); 
} 

может быть выражен как

template<class X, class Y> 
struct Closure { 
    X x; Y y; 
    auto operator()(int z) {..}; 
}; 
auto foo(int parm) { 
    ... 
    auto f = Closure<decltype(x), decltype(y)&>{x,y}; 
    ... 
    return f(parm); 
} 

Может это преобразование всегда можно сделать? Если нет, есть ли пример, который может это продемонстрировать. Благодаря!

Answer 1

Тип замыкания лямбда-типа класса с перегруженным operator() ([expr.prim.lambda]/3). Преобразование, которое вы описываете , составляет, выполняемое каждый раз, когда речь идет о выражении лямбда - по реализации.

Answer 2

Структура и закрытие лямбда не совсем эквивалентны, так как захваченные переменные не обязательно должны быть в самой структуре. Эта часть определяется реализацией.