Was bedeutet <: and :> bei der Deklaration eines Lambda?

Question

Ich habe über folgende Lambda-Syntax gestolpert, die ich nicht verstehe:

#include <iostream> 

template<typename Callback> 
void do_it(Callback callback) { 
     callback(); 
} 

template<typename T> 
void p() { 
     std::cout << __PRETTY_FUNCTION__ << std::endl; 
} 

int main() { 
     auto a = <:&:> { }; 
     p<decltype(a)>(); 
     do_it(<:&:> { std::cout << "Hello" << std::endl; }); //this 
} 

Programm erzeugt über einen Ausgang:

void p() [with T = main()::__lambda0] 
Hello 

Können Sie uns erklären, was bedeutet <:&:> {/* ... */}? Ist es möglich, auf diese Weise ein Lambda zu deklarieren, das ein Argument annimmt?

Answer 1

<: und :> sind digraphs. Sie werden in [ bzw. ] übersetzt. So entspricht Ihr Code:

auto a = [&] { }; 
do_it([&] { std::cout << "Hello" << std::endl; }); 

So ist es nur ein Lambda, das alles durch Bezugnahme erfasst.

ein Lambda zu deklarieren, die wie folgt ein Argument nimmt, fügen Sie einfach eine Parameterliste nach der Capture-Gruppe:

auto a = <:&:> (AType) { }; 

---

Wenn Sie möchten, wer Ihren Code liest, dich zu hassen, können Sie ein verwenden Mischung aus Digraphe und trigraphs wo immer möglich:

auto a = <:&??)??<%>; 
//  ^same as [&]{}