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

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 Melden Danke
Gast 
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 Melden Danke
Gast 
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 Melden Danke 
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 Melden Danke
Moderator 
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 Melden Danke 
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 Melden Danke
Thread beobachten

Antwort schreiben

Eine eigene Frage? Dieser Thread ist über 9 Jahre alt. Stell sie in einem eigenen Thread – dort lesen mehr Leute mit, und sie wird öfter und schneller beantwortet.

Neuen Thread starten

Eine Lösung, Ergänzung oder Rückmeldung zu diesem Thread? Dann antworte hier.

Formatierung
  • [c]C-Code[/c]
  • [code]Code in anderen Sprachen, ASCII-Zeichnungen[/code]
  • [math]Formel in LaTeX-Syntax[/math]
  • [[Titel]] – Link zu einem Artikel
  • Verweis auf einen anderen Beitrag: Rechtsklick auf dessen Beitrags-ID (#8078628), „Adresse kopieren“, in den Text einfügen

Mehr zur Formatierung

Längeren Sourcecode als Anhang, nicht in den Text. JPG nur für Fotos und Scans; Zeichnungen und Screenshots als PNG oder GIF. Siehe Bildformate.

Dein Name und deine E-Mail-Adresse

Schon registriert? Anmelden

Wird nicht angezeigt. Wir schicken dir einen Link; sobald du damit bestätigst, erscheint dein Beitrag.

Mit dem Abschicken legst du einen kostenlosen Account an und erkennst die Nutzungsbedingungen und die Datenschutzerklärung an.