Czy pakiet parametrów może być przechwytywany niejawnie w ramach lambd C++ 11?

Question

Czy ktoś wie, czy następujące niejawna wychwytywanie „TS” jest dobrze wykształcona:

template<class ... Ts> void bar(Ts ... ts) { } 

template<class ... Ts> int foo(Ts ... ts) { 
    auto L = [=]() { 
     bar(ts...); 
    }; 
    L(); 
    return 0; 
} 
int g = foo(1, 2, 3); 

Czy średnia jasno stwierdzić, że nigdzie nie powinno być dobrze uformowane?

Answer 1

14.5.3/6:

konkretyzacją z dodatku, który nie jest wyrazem sizeof... tworzy listę E1, E2, ..., EN, gdzie N to liczba elementów w parametry rozszerzenia paczki. Każda Ei jest generowana przez utworzenie wystąpienia wzorca i zastąpienie każdego parametru rozwijania paczki przez jego element i. Wszystkie Ei stają się elementami na liście zamykającej.

Niezależnie od tego, czy masz prawo do wyraźnie przechwycić paczkę (możesz, używając [ts ...]), ogólna zasada ekspansji spowoduje zdobyciu każdego elementu listy.

Answer 2

myślę, że to dobrze uformowane, nie znalazłem prosty oświadczenie (sformułowanie czasami brakuje w jasności/ilustracji dla niektórych sytuacjach), ale myślę, że można wywnioskować:

§5.1.2/23 :

przechwytywanie następnie przez elipsy jest Dodatek (14.5.3). [Przykład:

 template<class... Args> 
     void f(Args... args) { 
     auto lm = [&, args...] { return g(args...); }; 
     lm(); 
     } 

- przykład end]

• Przechwytywanie następnie przez elipsy implikuje args w lambda wychwytu jest przykładem przechwytywanie (w tym przypadku jawne), a godnym uwagi faktem jest to, że args jest paczką parametrów identyfikator. Ten krótki akapit ma wyłącznie za zadanie opisanie, jak przechwytywania lambda zatrzymuje się, co pokazuje, że pakiety parametrów mogą być przechwytywane, nawet jeśli ich celem nie jest , pozwalając im na przechwycenie do .

§5.1.2/12.

jednostka zostaje schwytany jeśli to jest zrobione wyraźnie lub dorozumiany [...]

§3/3:

jednostka jest wartość Przedmiotem odniesienie, funkcja wyliczający, typ członkiem klasy, szablon, szablon specjalizacji, nazw, parametr opakowanie, lub to.

Od tego zakładam parametrów paczki są podmioty, które mogą być uchwycone jawnie lub niejawnie, a więc stosuje się takie same zasady jak w przypadku zmiennych Chwytając zwykłych, z wyjątkiem, że opakowania parametrów zostanie odpowiednio rozszerzona.

Domyślam się, że twoje pytanie (i ta sama argumentacja) może być równie dobrze zastosowane do zmiennych referencyjnych, na przykład (It is unspecified whether or not a reference requires storage. §8.3.2/4). Wygląda na to, że jesteś zainteresowany, kiedy masz pozwolenie na odwołanie się do zestawu parametrów o identyfikatorze wewnątrz lambda.

Możesz myśleć tak samo o zmiennych referencyjnych w zakresie zewnętrznym, ponieważ możesz mieć do nich dostęp, ale nie możesz nawet uzyskać dostępu do identyfikatora oryginalnej zmiennej.

Są tak eteryczne jak paczki parametrów.