C++ Token-Suppe: Was macht dieses gebilde?

Wilhelm M. #5061079
Lesenswert?
• ▲
▼ 
Dr. Sommer schrieb:
> Den Leser verwirren. Sonst absolut gar nichts.

1
template <typename=void> struct _ {};


Hier wird ein Klassentemplate mit dem Namen "_" definiert.

1
auto l = [_=_<>{}](){};


Hier wird l mit einer anonyme Funktion initialisiert, die durch die 
lambda-expression auf der rechten Seite des (ersten von links) "=" 
erzeugt wird.
In den [] ist das Capture: dort wird eine Instanz von "_" erzeugt und in 
das capture "_" kopiert. Die Parameterliste () der lambda-expression und 
der Körper {} sind leer.
Antwort Zitieren Bearbeiten Löschen Beitrag melden
Tom Gast #5061097
Lesenswert?
• ▲
▼ 
Wenn man alles umbenennt, wird es einfacher:
1
template <typename=void>

2
struct MyStruct

3
{

4
    // empty

5
};

6


7
auto my_lambda = [ foo=MyStruct<>{} ](void)

8
{

9
    // do nothing with foo here

10
};


Dass der Name eines Templates ohne die <> noch im Namensraum zur 
Verfügung steht, war mir bisher nicht klar: vector<int> vector ist 
anscheinend völlig legal und wahrscheinlich der feuchte Traum der Fans 
der ungarischen Notation.

Wenn man den return type des lambda angibt, kann man noch ein paar 
verwirrende Zeichen mehr unterbringen:
1
auto l = [_=_<>{}]()->_<>{return _;}();
Antwort Zitieren Bearbeiten Löschen Beitrag melden
T.roll Gast #5061173
Lesenswert?
• ▲
▼ 
Wenn wir schon bei Codefolter sind:

1
 #define _ F-->00||F-OO--;

2
 int F=00,OO=00;main(){F_OO();printf("%1.3f\n",4.*-F/OO/OO);}F_OO()

3
 {

4
             _-_-_-_

5
        _-_-_-_-_-_-_-_-_

6
     _-_-_-_-_-_-_-_-_-_-_-_

7
   _-_-_-_-_-_-_-_-_-_-_-_-_-_

8
  _-_-_-_-_-_-_-_-_-_-_-_-_-_-_

9
  _-_-_-_-_-_-_-_-_-_-_-_-_-_-_

10
 _-_-_-_-_-_-_-_-_-_-_-_-_-_-_-_

11
 _-_-_-_-_-_-_-_-_-_-_-_-_-_-_-_

12
 _-_-_-_-_-_-_-_-_-_-_-_-_-_-_-_

13
 _-_-_-_-_-_-_-_-_-_-_-_-_-_-_-_

14
  _-_-_-_-_-_-_-_-_-_-_-_-_-_-_

15
  _-_-_-_-_-_-_-_-_-_-_-_-_-_-_

16
   _-_-_-_-_-_-_-_-_-_-_-_-_-_

17
     _-_-_-_-_-_-_-_-_-_-_-_

18
         _-_-_-_-_-_-_-_

19
             _-_-_-_

20
 }


https://de.wikipedia.org/wiki/International_Obfuscated_C_Code_Contest
oder wie Wahnsinnigen von Perl:
https://de.wikipedia.org/wiki/Obfuscated_Perl_Contest
Antwort Zitieren Bearbeiten Löschen Beitrag melden
Wilhelm M. #5061248
Lesenswert?
• ▲
▼ 
Torsten R. schrieb:
> Wilhelm M. schrieb:
>> Frage: welchen Typ hat l?
>
> _<> (_<void>)

Leider kein Hauptgewinn ...

Wobei ich mir nicht sicher bin, was Du meinst, denn das, was Du 
geschrieben hast, ist kein Typ. Oder meintest Du _<> (*)(_<>), das wäre 
ein Funktionszeiger,
mit einem Parameter Typ _<> und Rückgabetyp _<>?

Und falls Du den Typ der lambda-expression meinst: den kann man nicht 
angeben.

Ok, der Typ von l ist: _<>

Auf der rechten Seite steht eine lambda-expression, die liefert ein 
Funktionsobjekt, das wird sofort aufgerufen, das liefert ein Objekt des 
Typs  _<> und damit wird l initialisiert und bekommt durch Typinferenz 
denselben Typ.
Antwort Zitieren Bearbeiten Löschen Beitrag melden
Yalu X. Moderator #5061259
Lesenswert?
• ▲
▼ 
Wilhelm M. schrieb:
> Torsten R. schrieb:
>> Wilhelm M. schrieb:
>>> Frage: welchen Typ hat l?
>>
>> _<> (_<void>)
>
> Leider kein Hauptgewinn ...
>
> Wobei ich mir nicht sicher bin, was Du meinst

Er meinte schon das Richtige. Das Klammerpaar gehört nicht zur
Typbezeichnung, sondern ist zu lesen als "oder alternativ". Also

  _<>

oder alternativ

  _<void>

Beides ist richtig.

Bei solchen Dingen lobe ich mir aber Haskell, wo man im interaktiven
Modus den Typ einer Variable einfach mit

  :t <Variablenname>

anzeigen lassen kann :)
Antwort Zitieren Bearbeiten Löschen Beitrag melden
Wilhelm M. #5061291
Lesenswert?
• ▲
▼ 
Yalu X. schrieb:
> Wilhelm M. schrieb:
>> Gut, dass Du weißt, was andere Leute meinen ...
>
> Naja, das war in diesem Fall ja wirklich nicht schwer zu verstehen, vor
> allem dann, wenn man die beiden Lösungen des Rätsels schon kennt.

Zwei Lösungen für ein Rätsel?

> Man
> kann sich natürlich auch alle Mühe geben, andere nicht zu verstehen :)

Das war nicht meine Intention: aber so wie er das oben geschrieben hat, 
kann man m.E. nicht erkennen, dass das eine Alternative sein sollte. Vor 
allem habe ich ja auch geschrieben, wie ich das interpretiert habe ...
Antwort Zitieren Bearbeiten Löschen Beitrag melden
Thread beobachten

Antwort schreiben

Bitte melde dich an, um einen Beitrag zu schreiben.

Bestehender Account

oder

Mit Google-Account einloggen

Noch kein Account?

Die Registrierung ist kostenlos und dauert nur eine Minute.

Jetzt registrieren